ash-project / crux
Library for boolean satisfiability solving and expression manipulation.
ash-project/crux tiene un índice de salud de 81 sobre 100, lo que lo sitúa en la banda Excelente. Su puntuación más alta es Sustainability & Governance (81/100) y la más baja, AI Readiness (32/100). Se actualizó por última vez hace 14 días. 2 personas concentran la mayor parte del trabajo reciente.
Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala estandarizada de 1 a 100. El resultado global parte de su media ponderada, calibrada contra la distribución del registro público para que las bandas tengan significado percentil; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe un límite «En riesgo» de 34.
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
El resultado global ponderado 69 se calibra a 81 en la escala publicada del índice (calibración del registro 2026-08-02).
Titularidad
Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.
Ecosistemas de paquetes
| Registro | Paquete | Versión | Descargas / mes | Versiones | Última publicación |
|---|---|---|---|---|---|
| Hex | crux | 0.1.4 | 71.581 | 5 | hace 14 días |
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
Actividad de desarrollo
Cómo se puntúa
| 28.8/36 | Recencia de push — último push hace 14 días |
| 9.7/36 | Cadencia de commits — 14/52 semanas con commits |
| 14.8/18 | Volumen de commits — 44 commits en el último año |
| 9/10 | OpenSSF Scorecard: Maintained — 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
Datos de entrada utilizados
| commits_last_year | 44 |
| human_commit_share | — |
| days_since_last_push | 14 |
| active_weeks_last_year | 14 |
Disciplina de publicación
Cómo se puntúa
| 27/27 | Publica versiones — 4 versiones publicadas |
| 36/36 | Recencia de las versiones — última versión hace 14 días |
| 19.8/27 | Cadencia de publicación — una versión cada ~86,7 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — sin datos |
Datos de entrada utilizados
| releases_count | 4 |
| latest_release_tag | v0.1.4 |
| releases_from_tags | no |
| days_since_latest_release | 14 |
| mean_days_between_releases | 86,7 |
Comunidad y Adopción
¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?
Popularidad y adopción
Cómo se puntúa
| 17.5/60 | Estrellas — 13 estrellas |
| 2.5/25 | Forks — 3 forks |
| 1.7/15 | Observadores — 3 observadores |
Datos de entrada utilizados
| forks | 3 |
| stars | 13 |
| watchers | 3 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Salud de la comunidad
Cómo se puntúa
| 22.5/22.5 | README |
| 16.9/22.5 | Licencia — archivo de licencia presente, no es una licencia reconocida |
| 18/18 | Guía CONTRIBUTING |
| 13.5/13.5 | Código de conducta |
| 0/7.2 | Plantilla de issues |
| 6.3/6.3 | Plantilla de PR |
Datos de entrada utilizados
| has_readme | sí |
| has_license | no |
| readme_badges | — |
| has_contributing | sí |
| has_issue_template | no |
| has_code_of_conduct | sí |
| readme_badge_services | — |
| has_pull_request_template | sí |
Adopción en el ecosistema (descargas)
Cómo se puntúa
| 64.7/80 | Descargas mensuales — 71.581 descargas/mes en hex |
| 0/20 | Dependientes en el registro — no lo informa este ecosistema |
Datos de entrada utilizados
| packages | crux |
| dependents | — |
| ecosystems | hex |
| total_downloads | 406.042 |
| monthly_downloads | 71.581 |
| unverified_packages_excluded | — |
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
Resiliencia de mantenedores (factor bus)
Cómo se puntúa
| 25.2/54 | Factor bus — la mitad de los commits recae en 2 contribuyente(s) |
| 14.3/22.5 | Distribución de commits — el principal contribuyente firma el 36% de los commits |
| 6.8/13.5 | Amplitud de contribuyentes — 5 contribuyentes |
| 10/10 | OpenSSF Scorecard: Contributors — project has 11 contributing companies or organizations |
Datos de entrada utilizados
| bus_factor | 2 |
| contributors_sampled | 5 |
| top_contributor_share | 0,364 |
Capacidad de respuesta a issues y PR
Cómo se puntúa
| 42/42 | Resolución de issues — 100% de issues cerradas |
| 27.9/30 | Aceptación de PR — 26/28 PR decididos fusionados |
| 0/13 | Newcomer PR acceptance — ningún PR de un contribuyente primerizo decidido en 30 d |
| 4.5/15 | OpenSSF Scorecard: Code-Review — Found 3/9 approved changesets -- score normalized to 3 |
Datos de entrada utilizados
| merged_prs | 26 |
| open_issues | 0 |
| closed_issues | 4 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 2 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Propiedad y custodia
Cómo se puntúa
| 30/30 | Respaldo de la propiedad — propiedad de una organización |
| 0/20 | Dominio verificado — el estado de dominio verificado no se leyó para esta organización |
| 18.6/25 | Alcance del propietario — 384 seguidores de ash-project |
| 25/25 | Trayectoria — 61 repos públicos, cuenta de ~6 años |
Datos de entrada utilizados
| followers | 384 |
| owner_type | Organization |
| is_verified | — |
| owner_login | ash-project |
| public_repos | 61 |
| account_age_days | 2416 |
Mantenimiento de paquetes
Cómo se puntúa
| 25/25 | Publicado y resoluble — 1 paquete(s) en hex |
| 35/35 | Recencia de publicación — última publicación hace 14 días |
| 20/20 | Historial de versiones — 5 versiones en el registro |
| 20/20 | No obsoleto — activo, ni obsoleto ni retirado |
Datos de entrada utilizados
| packages | crux |
| ecosystems | hex |
| any_deprecated | no |
| min_days_since_publish | 14 |
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
Prácticas de ingeniería
Cómo se puntúa
| 24/24 | Flujos de trabajo de CI — 2 flujo(s) de trabajo |
| 24/24 | Pruebas presentes |
| 0/16 | Configuración de linter |
| 0/9.6 | Hooks de pre-commit |
| 0/6.4 | .editorconfig |
| 14/20 | OpenSSF Scorecard: CI-Tests — 15 out of 19 merged PRs checked by a CI test -- score normalized to 7 |
Datos de entrada utilizados
| has_ci | sí |
| has_tests | sí |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentación
Cómo se puntúa
| 30/30 | README |
| 0/25 | Directorio de documentación |
| 15/15 | Sitio de documentación / página del proyecto — https://hex.pm/packages/crux |
| 10/10 | Descripción del repositorio |
| 10/10 | Topics — 2 topics |
| 0/10 | Wiki |
Datos de entrada utilizados
| topics | elixir, sat-solver |
| has_wiki | no |
| homepage | https://hex.pm/packages/crux |
| docs_site | https://hex.pm/packages/crux |
| has_readme | sí |
| has_docs_dir | no |
| has_description | sí |
Seguridad
¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?
Postura de seguridad
Cómo se puntúa
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 1.8/2.5 | CI-Tests — 15 out of 19 merged PRs checked by a CI test -- score normalized to 7 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 2.2/7.5 | Code-Review — Found 3/9 approved changesets -- score normalized to 3 |
| 2.5/2.5 | Contributors — project has 11 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 2.5/2.5 | Licencia — license file detected |
| 6.8/7.5 | Maintained — 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
| 0/5 | Packaging — sin datos |
| 2.5/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5 |
| 4.5/5 | SAST — SAST tool is not run on all commits -- score normalized to 9 |
| 5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — sin datos |
| 7.5/7.5 | Token-Permissions — GitHub workflow tokens follow principle of least privilege |
| 0/7.5 | Vulnerabilities — 11 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 7,1 |
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Tiene un peso deliberadamente pequeño (4%): las herramientas para agentes son una señal real de mantenimiento, pero un repositorio sin ninguna puede alcanzar igualmente 100/100.
Contexto y guía para agentes
Cómo se puntúa
| 0/45 | Instrucciones para agentes — sin CLAUDE.md / AGENTS.md / reglas de editor |
| 0/15 | Documentación legible por máquinas (llms.txt) |
| 0/40 | Historial de commits legible — sin datos |
Datos de entrada utilizados
| has_llms_txt | no |
| llms_txt_url | — |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Cómo se puntúa
| 0/18 | Arranque con un solo comando |
| 22/22 | Pruebas automatizadas |
| 0/11 | Configuración de lint / formato |
| 0/11 | Verificación estática de tipos |
| 10/10 | Entorno reproducible — lockfile |
| 0/10 | Práctica demostrada con agentes — sin datos |
| 5/8 | Mantenimiento automatizado — automatización de dependencias configurada, no observada en los commits muestreados |
| 5/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5 |
Datos de entrada utilizados
| has_nix | no |
| has_tests | sí |
| lockfiles | mix.lock |
| has_dockerfile | no |
| typed_language | no |
| bootstrap_files | — |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Legibilidad del código para modelos
Cómo se puntúa
| 0/45 | Código verificable por tipos — Elixir sin configuración de verificación de tipos |
| 55/55 | Tamaños de archivo manejables — 0/44 archivos fuente de más de 60 KB |
Datos de entrada utilizados
| primary_language | Elixir |
| largest_source_bytes | 28.514 |
| source_files_sampled | 44 |
| oversized_source_files | 0 |
Datos clave
Más detalle
OpenSSF Scorecard 7.1 / 10
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 7 | CI-Tests | 15 out of 19 merged PRs checked by a CI test -- score normalized to 7 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 3 | Code-Review | Found 3/9 approved changesets -- score normalized to 3 |
| 10 | Contributors | project has 11 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 10 | License | license file detected |
| 9 | Maintained | 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
| n/d | Packaging | packaging workflow not detected |
| 5 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 5 |
| 9 | SAST | SAST tool is not run on all commits -- score normalized to 9 |
| 10 | Security-Policy | security policy file detected |
| n/d | Signed-Releases | no releases found |
| 10 | Token-Permissions | GitHub workflow tokens follow principle of least privilege |
| 0 | Vulnerabilities | 11 existing vulnerabilities detected |
Dependencias directas 3
| Registro | Paquete | Restricción de versión | Manifiesto |
|---|---|---|---|
| Hex | picosat_elixir | ~> 0.2 | mix.exs |
| Hex | simple_sat | ~> 0.1 and >= 0.1.1 | mix.exs |
| Hex | stream_data | ~> 1.0 | mix.exs |
Todas las dependencias 45
Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 3 paquetes directos y 42 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.
| Registro | Paquete | Versión | Relación |
|---|---|---|---|
| Hex | picosat_elixir | 0.2.3 | directa |
| Hex | simple_sat | 0.1.4 | directa |
| Hex | stream_data | 1.3.0 | directa |
| Hex | bunt | 1.0.0 | indirecta |
| Hex | credo | 1.7.19 | indirecta |
| Hex | decimal | 3.1.1 | indirecta |
| Hex | dialyxir | 1.4.7 | indirecta |
| Hex | doctest_formatter | 0.4.1 | indirecta |
| Hex | doctor | 0.23.0 | indirecta |
| Hex | earmark_parser | 1.4.45 | indirecta |
| Hex | elixir_make | 0.9.0 | indirecta |
| Hex | erlex | 0.2.8 | indirecta |
| Hex | ex_ast | 0.11.2 | indirecta |
| Hex | ex_check | 0.16.0 | indirecta |
| Hex | ex_doc | 0.40.3 | indirecta |
| Hex | file_system | 1.1.1 | indirecta |
| Hex | finch | 0.22.0 | indirecta |
| Hex | git_cli | 0.3.0 | indirecta |
| Hex | git_ops | 2.10.0 | indirecta |
| Hex | glob_ex | 0.1.11 | indirecta |
| Hex | hpax | 1.0.3 | indirecta |
| Hex | igniter | 0.8.0 | indirecta |
| Hex | jason | 1.4.5 | indirecta |
| Hex | makeup | 1.2.2 | indirecta |
| Hex | makeup_elixir | 1.0.1 | indirecta |
| Hex | makeup_erlang | 1.1.0 | indirecta |
| Hex | mime | 2.0.7 | indirecta |
| Hex | mint | 1.8.0 | indirecta |
| Hex | mix_audit | 2.1.5 | indirecta |
| Hex | mix_test_watch | 1.4.0 | indirecta |
| Hex | nimble_options | 1.1.1 | indirecta |
| Hex | nimble_parsec | 1.4.2 | indirecta |
| Hex | nimble_pool | 1.1.0 | indirecta |
| Hex | owl | 0.13.0 | indirecta |
| Hex | req | 0.5.17 | indirecta |
| Hex | rewrite | 1.3.0 | indirecta |
| Hex | sobelow | 0.14.1 | indirecta |
| Hex | sourceror | 1.12.0 | indirecta |
| Hex | spitfire | 0.3.11 | indirecta |
| Hex | styler | 1.11.0 | indirecta |
| Hex | telemetry | 1.4.2 | indirecta |
| Hex | text_diff | 0.1.0 | indirecta |
| Hex | usage_rules | 1.2.6 | indirecta |
| Hex | yamerl | 0.10.0 | indirecta |
| Hex | yaml_elixir | 2.12.1 | indirecta |
Informe JSON sin procesar legible por máquina
Comentarios
¿Algo no cuadra en este informe, o hay ideas que compartir? Mediciones erróneas, herramientas no detectadas, ideas, preguntas: todo es bienvenido. Cada mensaje se lee y recibe respuesta.
Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v2.10.0, esquema v0.11.0 — metodología completa · wiki de métricas.
Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas — Hex.