Registro públicoCrítico
Informe de salud del softwareesquema 0.13.0 · métricas 1.13.0 · 2026-07-18 15:41 UTC
runtimeverification / pyk
Python tools for the K Framework
runtimeverification/pyk tiene un índice de salud de 18 sobre 100, lo que lo sitúa en la banda Crítico. Su puntuación más alta es Sustainability & Governance (76/100) y la más baja, Vitality (20/100). El repositorio está archivado, por lo que no cabe esperar más mantenimiento.
18
global / 100Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala de 1 a 100. El resultado global parte de su media; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe el límite 49 (En riesgo). Preparación para IA queda fuera.
18
Excelente85-100Ejemplar; cumple prácticamente todos los criterios evaluados
Bueno70-84Saludable; carencias menores
Moderado50-69Aceptable con carencias notables; se recomienda revisión
En riesgo30-49Debilidades significativas; su adopción exige cautela
Crítico1-29Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
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.
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
Titularidad
Runtime Verification Inc.Organización
275 seguidores226 repositorios públicosdesde mar 2013
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 | Etiquetas |
|---|---|---|---|---|---|---|
| PyPI | pykapunta a otro repositorio; no se puntúa | 0.3.2 | - | 7 | hace 3862 días | kubernetescontainersappops |
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
20
Actividad de desarrollo
1Crítico
Alerta de abandono
Ha llegado trabajo y nadie se ha ocupado de él
archivado en GitHub por quienes lo mantienenCalificación general: techo Crítico
El silencio por sí solo nunca es el hallazgo: una biblioteca pequeña y terminada puede no necesitar commits durante años. Esta alerta exige ambas cosas: mucho tiempo sin un commit humano y obligaciones que el proyecto visiblemente no atiende. Los commits automatizados no cuentan como mantenimiento.
Cómo se evalúa el abandonoCómo se puntúa
| 0/36 | Recencia de push — último push hace 814 días |
| 0/36 | Cadencia de commits — 0/52 semanas con commits |
| 0/18 | Volumen de commits — 0 commits en el último año |
| 0/10 | OpenSSF Scorecard: Maintained — project is archived |
Datos de entrada utilizados
| commits_last_year | 0 |
| human_commit_share | — |
| days_since_last_push | 814 |
| active_weeks_last_year | 0 |
Disciplina de publicación
48En riesgo
Cómo se puntúa
| 16.2/27 | Publica versiones — 100 etiquetas de versión (sin releases de GitHub) |
| 0/36 | Recencia de las versiones — última versión hace 830 días |
| 27/27 | Cadencia de publicación — una versión cada ~0,5 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — sin datos |
Datos de entrada utilizados
| releases_count | 100 |
| latest_release_tag | v0.1.779 |
| releases_from_tags | sí |
| days_since_latest_release | 830 |
| mean_days_between_releases | 0,5 |
Excluidos de la puntuación (sin datos o no aplicable): OpenSSF Scorecard: Signed-Releases. Los pesos restantes se han renormalizado.
Comunidad y Adopción
¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?
35
Popularidad y adopción
22Crítico
Cómo se puntúa
| 17.5/60 | Estrellas — 13 estrellas |
| 0/25 | Forks — 2 forks |
| 4.7/15 | Observadores — 8 observadores |
Datos de entrada utilizados
| forks | 2 |
| stars | 13 |
| watchers | 8 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Salud de la comunidad
50Moderado
Cómo se puntúa
| 22.5/22.5 | README |
| 22.5/22.5 | Licencia — licencia reconocida (BSD-3-Clause) |
| 0/18 | Guía CONTRIBUTING |
| 0/13.5 | Código de conducta |
| 0/7.2 | Plantilla de issues |
| 0/6.3 | Plantilla de PR |
Datos de entrada utilizados
| has_readme | sí |
| has_license | sí |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
76
Resiliencia de mantenedores (factor bus)
63Moderado
Cómo se puntúa
| 25.2/54 | Factor bus — la mitad de los commits recae en 2 contribuyente(s) |
| 14.7/22.5 | Distribución de commits — el principal contribuyente firma el 34% de los commits |
| 13.5/13.5 | Amplitud de contribuyentes — 24 contribuyentes |
| 10/10 | OpenSSF Scorecard: Contributors — project has 10 contributing companies or organizations |
Datos de entrada utilizados
| bus_factor | 2 |
| contributors_sampled | 24 |
| top_contributor_share | 0,345 |
Capacidad de respuesta a issues y PR
96Excelente
Cómo se puntúa
| 46.8/46.8 | Resolución de issues — 100% de issues cerradas |
| 35.3/38.3 | Aceptación de PR — 786/851 PR decididos fusionados |
| 13.5/15 | OpenSSF Scorecard: Code-Review — Found 29/30 approved changesets -- score normalized to 9 |
Datos de entrada utilizados
| merged_prs | 786 |
| open_issues | 0 |
| closed_issues | 151 |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 65 |
Propiedad y custodia
72Bueno
Cómo se puntúa
| 30/30 | Respaldo de la propiedad — propiedad de una organización |
| 0/20 | Dominio verificado |
| 17.5/25 | Alcance del propietario — 275 seguidores de runtimeverification |
| 25/25 | Trayectoria — 226 repos públicos, cuenta de ~13 años |
Datos de entrada utilizados
| followers | 275 |
| owner_type | Organization |
| is_verified | — |
| owner_login | runtimeverification |
| public_repos | 226 |
| account_age_days | 4887 |
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
54
Prácticas de ingeniería
40En riesgo
Cómo se puntúa
| 0/24 | Flujos de trabajo de CI |
| 24/24 | Pruebas presentes |
| 16/16 | Configuración de linter — .flake8 |
| 0/9.6 | Hooks de pre-commit |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — 0 out of 29 merged PRs checked by a CI test -- score normalized to 0 |
Datos de entrada utilizados
| has_ci | no |
| has_tests | sí |
| has_editorconfig | no |
| has_linter_config | sí |
| has_precommit_config | no |
Documentación
75Bueno
Cómo se puntúa
| 30/30 | README |
| 25/25 | Directorio de documentación |
| 0/15 | Sitio de documentación / página del proyecto |
| 10/10 | Descripción del repositorio |
| 0/10 | Topics |
| 10/10 | Wiki |
Datos de entrada utilizados
| topics | — |
| has_wiki | sí |
| homepage | — |
| has_readme | sí |
| has_docs_dir | sí |
| 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?
32
Postura de seguridad
32En riesgo
Cómo se puntúa
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 3.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 0/2.5 | CI-Tests — 0 out of 29 merged PRs checked by a CI test -- score normalized to 0 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 6.8/7.5 | Code-Review — Found 29/30 approved changesets -- score normalized to 9 |
| 2.5/2.5 | Contributors — project has 10 contributing companies or organizations |
| 0/10 | Dangerous-Workflow — sin datos |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Licencia — license file detected |
| 0/7.5 | Maintained — project is archived |
| 0/5 | Packaging — sin datos |
| 1/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 2 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — sin datos |
| 0/7.5 | Token-Permissions — sin datos |
| 0/7.5 | Vulnerabilities — 28 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 14 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 4 |
| scorecard_aggregate | 3,2 |
Excluidos de la puntuación (sin datos o no aplicable): dangerous_workflow, packaging, signed_releases, token_permissions. Los pesos restantes se han renormalizado.
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Es una insignia independiente y experimental — peso 0,0, de modo que se presenta por separado y no afecta a la puntuación de salud global.
57
Contexto y guía para agentes
1Crítico
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 |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Excluidos de la puntuación (sin datos o no aplicable): Historial de commits legible. Los pesos restantes se han renormalizado.
Cómo se puntúa
| 18/18 | Arranque con un solo comando — Makefile, regression-new/Makefile, regression-new/amb-rew/Makefile, regression-new/append/Makefile, regression-new/array-haskell/Makefile, regression-new/bad-bytes-literal/Makefile, regression-new/bad-flags/Makefile, regression-new/bison-glr-bug/Makefile, regression-new/bison-parser-library/Makefile, regression-new/bit-range-llvm/Makefile, regression-new/boundary-cells-opt/Makefile, regression-new/boundary-cells-opt/bc-none/Makefile, regression-new/bracket-priority/Makefile, regression-new/bytes-coverage/Makefile, regression-new/bytes-haskell/Makefile, regression-new/bytes-literal/Makefile, regression-new/bytes-llvm/Makefile, regression-new/bytes-memset/Makefile, regression-new/cast-kitem/Makefile, regression-new/cast/Makefile, regression-new/cell-bag-sort-llvm/Makefile, regression-new/cell-sort-haskell/Makefile, regression-new/cell_map/Makefile, regression-new/checkClaimError/Makefile, regression-new/checkWarns/Makefile, regression-new/checks/Makefile, regression-new/concrete-function-cache/Makefile, regression-new/concrete-function/Makefile, regression-new/concrete-haskell/Makefile, regression-new/configuration-composition/Makefile, regression-new/configuration-formatting/Makefile, regression-new/constant-folding/Makefile, regression-new/context-alias-2/Makefile, regression-new/context-alias-3/Makefile, regression-new/context-alias/Makefile, regression-new/context-cell/Makefile, regression-new/context-labels/Makefile, regression-new/coverage/Makefile, regression-new/domains-lemmas-no-smt/Makefile, regression-new/domains-lemmas-smt/Makefile, regression-new/doubleinj/Makefile, regression-new/equals-formatting/Makefile, regression-new/equals-pattern/Makefile, regression-new/excludedModuleAtts/Makefile, regression-new/excludedModuleAtts/haskell/Makefile, regression-new/excludedModuleAtts/llvm/Makefile, regression-new/exit-code-no-gen-top/Makefile, regression-new/f32-mul/Makefile, regression-new/fatalWarnings/Makefile, regression-new/ffi-llvm/Makefile, regression-new/float-id/Makefile, regression-new/fresh1/Makefile, regression-new/fresh2/Makefile, regression-new/fresh3/Makefile, regression-new/fun-llvm/Makefile, regression-new/glr/Makefile, regression-new/glr2/Makefile, regression-new/glr3/Makefile, regression-new/glr4/Makefile, regression-new/group/Makefile, regression-new/help/Makefile, regression-new/imp++-llvm/Makefile, regression-new/imp-haskell/Makefile, regression-new/imp-json/Makefile, regression-new/imp-kore/Makefile, regression-new/imp-llvm/Makefile, regression-new/int-llvm/Makefile, regression-new/io-llvm/Makefile, regression-new/issue-1088/Makefile, regression-new/issue-1090/Makefile, regression-new/issue-1098/Makefile, regression-new/issue-1145/Makefile, regression-new/issue-1169/Makefile, regression-new/issue-1175/Makefile, regression-new/issue-1184/Makefile, regression-new/issue-1186/Makefile, regression-new/issue-1193/Makefile, regression-new/issue-1263/Makefile, regression-new/issue-1273/Makefile, regression-new/issue-1372/Makefile, regression-new/issue-1384/Makefile, regression-new/issue-1388/Makefile, regression-new/issue-1436/Makefile, regression-new/issue-1472-unboundVars/Makefile, regression-new/issue-1489-claimLoc/Makefile, regression-new/issue-1528/Makefile, regression-new/issue-1545-func-in-simplification/Makefile, regression-new/issue-1572/Makefile, regression-new/issue-1573/Makefile, regression-new/issue-1602/Makefile, regression-new/issue-1633/Makefile, regression-new/issue-1676-koreBytes/Makefile, regression-new/issue-1682-korePrettyPrint/Makefile, regression-new/issue-1683-cfgVarsWarns/Makefile, regression-new/issue-1760/Makefile, regression-new/issue-1789-rhsOr/Makefile, regression-new/issue-1789-rhsOr/haskell/Makefile, regression-new/issue-1789-rhsOr/llvm/Makefile, regression-new/issue-1844-noPGM/Makefile, regression-new/issue-1844-noPGM/haskell/Makefile, regression-new/issue-1844-noPGM/llvm/Makefile, regression-new/issue-1879-kproveTrans/Makefile, regression-new/issue-1879-kproveTrans/haskell/Makefile, regression-new/issue-1952/Makefile, regression-new/issue-2075-2/Makefile, regression-new/issue-2075/Makefile, regression-new/issue-2114/Makefile, regression-new/issue-2142-markConcrete/Makefile, regression-new/issue-2146-duplicateModules/Makefile, regression-new/issue-2174-kprovexParseError/Makefile, regression-new/issue-2273/Makefile, regression-new/issue-2287-simpl-rules-in-kprovex/Makefile, regression-new/issue-2315-id-quotes/Makefile, regression-new/issue-2321-kprovexCrash/Makefile, regression-new/issue-2356-koreDecode/Makefile, regression-new/issue-2812-kprove-filter-claims/Makefile, regression-new/issue-2812-kprove-filter-claims/claims/Makefile, regression-new/issue-2812-kprove-filter-claims/exclude/Makefile, regression-new/issue-2812-kprove-filter-claims/trusted/Makefile, regression-new/issue-2909-allow-anywhere-haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/check/Makefile, regression-new/issue-2909-allow-anywhere-haskell/haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/llvm/Makefile, regression-new/issue-3035-antileft/Makefile, regression-new/issue-3035-antileft/haskell/Makefile, regression-new/issue-3035-antileft/llvm/Makefile, regression-new/issue-313/Makefile, regression-new/issue-3385/Makefile, regression-new/issue-3446/Makefile, regression-new/issue-3450-kprove-fresh/Makefile, regression-new/issue-3520-freshConfig/Makefile, regression-new/issue-3604-counterCell/Makefile, regression-new/issue-3647-debugTokens/Makefile, regression-new/issue-3672-debugParse/Makefile, regression-new/issue-3996-unary-symbol-list/Makefile, regression-new/issue-425/Makefile, regression-new/issue-582/Makefile, regression-new/issue-946/Makefile, regression-new/issue-999/Makefile, regression-new/ite-bug/Makefile, regression-new/itp/Makefile, regression-new/itp/nat-assoc/Makefile, regression-new/itp/nth-ancestor/Makefile, regression-new/json-input/Makefile, regression-new/kast-bison-bytes/Makefile, regression-new/kast-bison/Makefile, regression-new/kast-default-output/Makefile, regression-new/kast-input/Makefile, regression-new/kast-kore-input/Makefile, regression-new/kast-rule/Makefile, regression-new/kdep-options/Makefile, regression-new/kdep-options/remake-depend/Makefile, regression-new/kdep-options/simple/Makefile, regression-new/kompiled-directory/Makefile, regression-new/kompiled-directory/default/Makefile, regression-new/kompiled-directory/nested/Makefile, regression-new/kore-brackets/Makefile, regression-new/kore-issue-2253/Makefile, regression-new/kprove-append/Makefile, regression-new/kprove-branchingAllowed/Makefile, regression-new/kprove-error-status/Makefile, regression-new/kprove-haskell/Makefile, regression-new/kprove-java/Makefile, regression-new/kprove-macro-exp-productions/Makefile, regression-new/kprove-macro-exp/Makefile, regression-new/kprove-markdown/Makefile, regression-new/kprove-smt-lemma/Makefile, regression-new/kprove-smt-lemma/haskell/Makefile, regression-new/kprove-var-equals/Makefile, regression-new/krun-deserialize/Makefile, regression-new/let-priority/Makefile, regression-new/let-test/Makefile, regression-new/list-in-bug/Makefile, regression-new/llvm-kompile-type/Makefile, regression-new/llvm-krun/Makefile, regression-new/llvm-string2base/Makefile, regression-new/locations/Makefile, regression-new/locations2/Makefile, regression-new/locations3/Makefile, regression-new/lub/Makefile, regression-new/lub2/Makefile, regression-new/macro_vars-productions/Makefile, regression-new/macro_vars/Makefile, regression-new/map-symbolic-tests-haskell/Makefile, regression-new/markdownSelectors/Makefile, regression-new/minimization-issue/Makefile, regression-new/mint-llvm/Makefile, regression-new/mutable-bytes/Makefile, regression-new/mutable-bytes/default/Makefile, regression-new/mutable-bytes/mutable/Makefile, regression-new/no-dup-rules/Makefile, regression-new/no-pattern/Makefile, regression-new/nomain/Makefile, regression-new/non-executable/Makefile, regression-new/non-executable/haskell/Makefile, regression-new/non-executable/llvm/Makefile, regression-new/non-executable/rewrite-check/Makefile, regression-new/nonexhaustive/Makefile, regression-new/or-haskell/Makefile, regression-new/or-llvm/Makefile, regression-new/overload/Makefile, regression-new/owise-haskell/Makefile, regression-new/parse-c/Makefile, regression-new/parseNonPgm/Makefile, regression-new/pattern-macro-productions/Makefile, regression-new/pattern-macro/Makefile, regression-new/pedanticAttributes/Makefile, regression-new/pl-tutorial/1_k/1_lambda/Makefile, regression-new/pl-tutorial/1_k/1_lambda/lesson_8/Makefile, regression-new/pl-tutorial/1_k/2_imp/Makefile, regression-new/pl-tutorial/1_k/2_imp/lesson_4/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/lesson_5/Makefile, regression-new/pl-tutorial/1_k/4_imp++/Makefile, regression-new/pl-tutorial/1_k/4_imp++/lesson_7/Makefile, regression-new/pl-tutorial/1_k/5_types/Makefile, regression-new/pl-tutorial/1_k/5_types/lesson_6/Makefile, regression-new/pl-tutorial/1_k/Makefile, regression-new/pl-tutorial/2_languages/1_simple/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/1_static/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/2_dynamic/Makefile, regression-new/pl-tutorial/2_languages/1_simple/Makefile, regression-new/pl-tutorial/2_languages/2_kool/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/1_dynamic/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/2_static/Makefile, regression-new/pl-tutorial/2_languages/2_kool/Makefile, regression-new/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/Makefile, regression-new/pl-tutorial/2_languages/3_fun/Makefile, regression-new/pl-tutorial/2_languages/Makefile, regression-new/pl-tutorial/Makefile, regression-new/poly-kitem/Makefile, regression-new/poly-sort/Makefile, regression-new/poly-unparsing/Makefile, regression-new/prelude-warnings/Makefile, regression-new/profile/Makefile, regression-new/proof-instrumentation/Makefile, regression-new/proof-tests/Makefile, regression-new/proof-tests/deposit/Makefile, regression-new/proof-tests/deposit/spec/Makefile, regression-new/proof-tests/deposit/test/Makefile, regression-new/quadratic-poly-unparsing/Makefile, regression-new/rand/Makefile, regression-new/rangemap-tests-llvm/Makefile, regression-new/rat/Makefile, regression-new/rat/defined/Makefile, regression-new/rat/defined/haskell/Makefile, regression-new/rat/defined/llvm/Makefile, regression-new/rat/undefined/Makefile, regression-new/rat/undefined/haskell/Makefile, regression-new/record-llvm/Makefile, regression-new/search-bound/Makefile, regression-new/seqstrict-predicate/Makefile, regression-new/set-symbolic-tests/Makefile, regression-new/set_unification/Makefile, regression-new/simp-haskell/Makefile, regression-new/spec-rule-application/Makefile, regression-new/star-multiplicity/Makefile, regression-new/string_escape/Makefile, regression-new/stringbuffer-llvm/Makefile, regression-new/synonym/Makefile, regression-new/trace/Makefile, regression-new/unification-lemmas/Makefile, regression-new/unification-lemmas2/Makefile, regression-new/union/Makefile, regression-new/unparseKORE/Makefile, regression-new/useless/Makefile, regression-new/werrorCategory/Makefile, regression-new/withConfig-llvm/Makefile, regression-new/withConfig/Makefile, regression-new/withConfig2/Makefile |
| 22/22 | Pruebas automatizadas |
| 11/11 | Configuración de lint / formato — .flake8 |
| 11/11 | Verificación estática de tipos — src/pyk/py.typed |
| 10/10 | Entorno reproducible — Dockerfile, Nix, lockfile |
| 0/10 | Práctica demostrada con agentes — sin datos |
| 0/8 | Mantenimiento automatizado — sin datos |
| 2/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 2 |
Datos de entrada utilizados
| has_nix | sí |
| has_tests | sí |
| lockfiles | poetry.lock |
| has_dockerfile | sí |
| typed_language | no |
| bootstrap_files | Makefile, regression-new/Makefile, regression-new/amb-rew/Makefile, regression-new/append/Makefile, regression-new/array-haskell/Makefile, regression-new/bad-bytes-literal/Makefile, regression-new/bad-flags/Makefile, regression-new/bison-glr-bug/Makefile, regression-new/bison-parser-library/Makefile, regression-new/bit-range-llvm/Makefile, regression-new/boundary-cells-opt/Makefile, regression-new/boundary-cells-opt/bc-none/Makefile, regression-new/bracket-priority/Makefile, regression-new/bytes-coverage/Makefile, regression-new/bytes-haskell/Makefile, regression-new/bytes-literal/Makefile, regression-new/bytes-llvm/Makefile, regression-new/bytes-memset/Makefile, regression-new/cast-kitem/Makefile, regression-new/cast/Makefile, regression-new/cell-bag-sort-llvm/Makefile, regression-new/cell-sort-haskell/Makefile, regression-new/cell_map/Makefile, regression-new/checkClaimError/Makefile, regression-new/checkWarns/Makefile, regression-new/checks/Makefile, regression-new/concrete-function-cache/Makefile, regression-new/concrete-function/Makefile, regression-new/concrete-haskell/Makefile, regression-new/configuration-composition/Makefile, regression-new/configuration-formatting/Makefile, regression-new/constant-folding/Makefile, regression-new/context-alias-2/Makefile, regression-new/context-alias-3/Makefile, regression-new/context-alias/Makefile, regression-new/context-cell/Makefile, regression-new/context-labels/Makefile, regression-new/coverage/Makefile, regression-new/domains-lemmas-no-smt/Makefile, regression-new/domains-lemmas-smt/Makefile, regression-new/doubleinj/Makefile, regression-new/equals-formatting/Makefile, regression-new/equals-pattern/Makefile, regression-new/excludedModuleAtts/Makefile, regression-new/excludedModuleAtts/haskell/Makefile, regression-new/excludedModuleAtts/llvm/Makefile, regression-new/exit-code-no-gen-top/Makefile, regression-new/f32-mul/Makefile, regression-new/fatalWarnings/Makefile, regression-new/ffi-llvm/Makefile, regression-new/float-id/Makefile, regression-new/fresh1/Makefile, regression-new/fresh2/Makefile, regression-new/fresh3/Makefile, regression-new/fun-llvm/Makefile, regression-new/glr/Makefile, regression-new/glr2/Makefile, regression-new/glr3/Makefile, regression-new/glr4/Makefile, regression-new/group/Makefile, regression-new/help/Makefile, regression-new/imp++-llvm/Makefile, regression-new/imp-haskell/Makefile, regression-new/imp-json/Makefile, regression-new/imp-kore/Makefile, regression-new/imp-llvm/Makefile, regression-new/int-llvm/Makefile, regression-new/io-llvm/Makefile, regression-new/issue-1088/Makefile, regression-new/issue-1090/Makefile, regression-new/issue-1098/Makefile, regression-new/issue-1145/Makefile, regression-new/issue-1169/Makefile, regression-new/issue-1175/Makefile, regression-new/issue-1184/Makefile, regression-new/issue-1186/Makefile, regression-new/issue-1193/Makefile, regression-new/issue-1263/Makefile, regression-new/issue-1273/Makefile, regression-new/issue-1372/Makefile, regression-new/issue-1384/Makefile, regression-new/issue-1388/Makefile, regression-new/issue-1436/Makefile, regression-new/issue-1472-unboundVars/Makefile, regression-new/issue-1489-claimLoc/Makefile, regression-new/issue-1528/Makefile, regression-new/issue-1545-func-in-simplification/Makefile, regression-new/issue-1572/Makefile, regression-new/issue-1573/Makefile, regression-new/issue-1602/Makefile, regression-new/issue-1633/Makefile, regression-new/issue-1676-koreBytes/Makefile, regression-new/issue-1682-korePrettyPrint/Makefile, regression-new/issue-1683-cfgVarsWarns/Makefile, regression-new/issue-1760/Makefile, regression-new/issue-1789-rhsOr/Makefile, regression-new/issue-1789-rhsOr/haskell/Makefile, regression-new/issue-1789-rhsOr/llvm/Makefile, regression-new/issue-1844-noPGM/Makefile, regression-new/issue-1844-noPGM/haskell/Makefile, regression-new/issue-1844-noPGM/llvm/Makefile, regression-new/issue-1879-kproveTrans/Makefile, regression-new/issue-1879-kproveTrans/haskell/Makefile, regression-new/issue-1952/Makefile, regression-new/issue-2075-2/Makefile, regression-new/issue-2075/Makefile, regression-new/issue-2114/Makefile, regression-new/issue-2142-markConcrete/Makefile, regression-new/issue-2146-duplicateModules/Makefile, regression-new/issue-2174-kprovexParseError/Makefile, regression-new/issue-2273/Makefile, regression-new/issue-2287-simpl-rules-in-kprovex/Makefile, regression-new/issue-2315-id-quotes/Makefile, regression-new/issue-2321-kprovexCrash/Makefile, regression-new/issue-2356-koreDecode/Makefile, regression-new/issue-2812-kprove-filter-claims/Makefile, regression-new/issue-2812-kprove-filter-claims/claims/Makefile, regression-new/issue-2812-kprove-filter-claims/exclude/Makefile, regression-new/issue-2812-kprove-filter-claims/trusted/Makefile, regression-new/issue-2909-allow-anywhere-haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/check/Makefile, regression-new/issue-2909-allow-anywhere-haskell/haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/llvm/Makefile, regression-new/issue-3035-antileft/Makefile, regression-new/issue-3035-antileft/haskell/Makefile, regression-new/issue-3035-antileft/llvm/Makefile, regression-new/issue-313/Makefile, regression-new/issue-3385/Makefile, regression-new/issue-3446/Makefile, regression-new/issue-3450-kprove-fresh/Makefile, regression-new/issue-3520-freshConfig/Makefile, regression-new/issue-3604-counterCell/Makefile, regression-new/issue-3647-debugTokens/Makefile, regression-new/issue-3672-debugParse/Makefile, regression-new/issue-3996-unary-symbol-list/Makefile, regression-new/issue-425/Makefile, regression-new/issue-582/Makefile, regression-new/issue-946/Makefile, regression-new/issue-999/Makefile, regression-new/ite-bug/Makefile, regression-new/itp/Makefile, regression-new/itp/nat-assoc/Makefile, regression-new/itp/nth-ancestor/Makefile, regression-new/json-input/Makefile, regression-new/kast-bison-bytes/Makefile, regression-new/kast-bison/Makefile, regression-new/kast-default-output/Makefile, regression-new/kast-input/Makefile, regression-new/kast-kore-input/Makefile, regression-new/kast-rule/Makefile, regression-new/kdep-options/Makefile, regression-new/kdep-options/remake-depend/Makefile, regression-new/kdep-options/simple/Makefile, regression-new/kompiled-directory/Makefile, regression-new/kompiled-directory/default/Makefile, regression-new/kompiled-directory/nested/Makefile, regression-new/kore-brackets/Makefile, regression-new/kore-issue-2253/Makefile, regression-new/kprove-append/Makefile, regression-new/kprove-branchingAllowed/Makefile, regression-new/kprove-error-status/Makefile, regression-new/kprove-haskell/Makefile, regression-new/kprove-java/Makefile, regression-new/kprove-macro-exp-productions/Makefile, regression-new/kprove-macro-exp/Makefile, regression-new/kprove-markdown/Makefile, regression-new/kprove-smt-lemma/Makefile, regression-new/kprove-smt-lemma/haskell/Makefile, regression-new/kprove-var-equals/Makefile, regression-new/krun-deserialize/Makefile, regression-new/let-priority/Makefile, regression-new/let-test/Makefile, regression-new/list-in-bug/Makefile, regression-new/llvm-kompile-type/Makefile, regression-new/llvm-krun/Makefile, regression-new/llvm-string2base/Makefile, regression-new/locations/Makefile, regression-new/locations2/Makefile, regression-new/locations3/Makefile, regression-new/lub/Makefile, regression-new/lub2/Makefile, regression-new/macro_vars-productions/Makefile, regression-new/macro_vars/Makefile, regression-new/map-symbolic-tests-haskell/Makefile, regression-new/markdownSelectors/Makefile, regression-new/minimization-issue/Makefile, regression-new/mint-llvm/Makefile, regression-new/mutable-bytes/Makefile, regression-new/mutable-bytes/default/Makefile, regression-new/mutable-bytes/mutable/Makefile, regression-new/no-dup-rules/Makefile, regression-new/no-pattern/Makefile, regression-new/nomain/Makefile, regression-new/non-executable/Makefile, regression-new/non-executable/haskell/Makefile, regression-new/non-executable/llvm/Makefile, regression-new/non-executable/rewrite-check/Makefile, regression-new/nonexhaustive/Makefile, regression-new/or-haskell/Makefile, regression-new/or-llvm/Makefile, regression-new/overload/Makefile, regression-new/owise-haskell/Makefile, regression-new/parse-c/Makefile, regression-new/parseNonPgm/Makefile, regression-new/pattern-macro-productions/Makefile, regression-new/pattern-macro/Makefile, regression-new/pedanticAttributes/Makefile, regression-new/pl-tutorial/1_k/1_lambda/Makefile, regression-new/pl-tutorial/1_k/1_lambda/lesson_8/Makefile, regression-new/pl-tutorial/1_k/2_imp/Makefile, regression-new/pl-tutorial/1_k/2_imp/lesson_4/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/lesson_5/Makefile, regression-new/pl-tutorial/1_k/4_imp++/Makefile, regression-new/pl-tutorial/1_k/4_imp++/lesson_7/Makefile, regression-new/pl-tutorial/1_k/5_types/Makefile, regression-new/pl-tutorial/1_k/5_types/lesson_6/Makefile, regression-new/pl-tutorial/1_k/Makefile, regression-new/pl-tutorial/2_languages/1_simple/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/1_static/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/2_dynamic/Makefile, regression-new/pl-tutorial/2_languages/1_simple/Makefile, regression-new/pl-tutorial/2_languages/2_kool/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/1_dynamic/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/2_static/Makefile, regression-new/pl-tutorial/2_languages/2_kool/Makefile, regression-new/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/Makefile, regression-new/pl-tutorial/2_languages/3_fun/Makefile, regression-new/pl-tutorial/2_languages/Makefile, regression-new/pl-tutorial/Makefile, regression-new/poly-kitem/Makefile, regression-new/poly-sort/Makefile, regression-new/poly-unparsing/Makefile, regression-new/prelude-warnings/Makefile, regression-new/profile/Makefile, regression-new/proof-instrumentation/Makefile, regression-new/proof-tests/Makefile, regression-new/proof-tests/deposit/Makefile, regression-new/proof-tests/deposit/spec/Makefile, regression-new/proof-tests/deposit/test/Makefile, regression-new/quadratic-poly-unparsing/Makefile, regression-new/rand/Makefile, regression-new/rangemap-tests-llvm/Makefile, regression-new/rat/Makefile, regression-new/rat/defined/Makefile, regression-new/rat/defined/haskell/Makefile, regression-new/rat/defined/llvm/Makefile, regression-new/rat/undefined/Makefile, regression-new/rat/undefined/haskell/Makefile, regression-new/record-llvm/Makefile, regression-new/search-bound/Makefile, regression-new/seqstrict-predicate/Makefile, regression-new/set-symbolic-tests/Makefile, regression-new/set_unification/Makefile, regression-new/simp-haskell/Makefile, regression-new/spec-rule-application/Makefile, regression-new/star-multiplicity/Makefile, regression-new/string_escape/Makefile, regression-new/stringbuffer-llvm/Makefile, regression-new/synonym/Makefile, regression-new/trace/Makefile, regression-new/unification-lemmas/Makefile, regression-new/unification-lemmas2/Makefile, regression-new/union/Makefile, regression-new/unparseKORE/Makefile, regression-new/useless/Makefile, regression-new/werrorCategory/Makefile, regression-new/withConfig-llvm/Makefile, regression-new/withConfig/Makefile, regression-new/withConfig2/Makefile |
| has_devcontainer | no |
| has_linter_config | sí |
| typecheck_configs | src/pyk/py.typed |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | — |
Excluidos de la puntuación (sin datos o no aplicable): Práctica demostrada con agentes, Mantenimiento automatizado. Los pesos restantes se han renormalizado.
Cómo se puntúa
| 27/45 | Código verificable por tipos — Python con configuración de verificación de tipos (src/pyk/py.typed) |
| 54.5/55 | Tamaños de archivo manejables — 2/208 archivos fuente de más de 60 KB |
Datos de entrada utilizados
| primary_language | Python |
| largest_source_bytes | 65.951 |
| source_files_sampled | 208 |
| oversized_source_files | 2 |
Datos clave
13estrellas de GitHub
24contribuidores
0commits en los últimos 12 meses
814días desde el último push
100versiones publicadas
2factor bus
0issues abiertas
PyPIecosistemas de paquetes
Advertencias de recopilación de datos
- pypi package 'pyk' points at a different repository (https://github.com/kubernauts/pyk); excluded from ecosystem scoring
Más detalle
OpenSSF Scorecard 3.2 / 10
3.2agregado
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 |
| 5 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 0 | CI-Tests | 0 out of 29 merged PRs checked by a CI test -- score normalized to 0 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 9 | Code-Review | Found 29/30 approved changesets -- score normalized to 9 |
| 10 | Contributors | project has 10 contributing companies or organizations |
| n/d | Dangerous-Workflow | no workflows found |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 0 | Maintained | project is archived |
| n/d | Packaging | packaging workflow not detected |
| 2 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 2 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| n/d | Signed-Releases | no releases found |
| n/d | Token-Permissions | No tokens found |
| 0 | Vulnerabilities | 28 existing vulnerabilities detected |
Dependencias directas 9
| Registro | Paquete | Restricción de versión | Manifiesto |
|---|---|---|---|
| PyPI | cmd2 | ^2.4.2 | pyproject.toml |
| PyPI | coloredlogs | ^15.0.1 | pyproject.toml |
| PyPI | filelock | ^3.9.0 | pyproject.toml |
| PyPI | graphviz | ^0.20.1 | pyproject.toml |
| PyPI | psutil | 5.9.5 | pyproject.toml |
| PyPI | pybind11 | ^2.10.3 | pyproject.toml |
| PyPI | textual | ^0.27.0 | pyproject.toml |
| PyPI | tomli | ^2.0.1 | pyproject.toml |
| PyPI | xdg-base-dirs | ^6.0.1 | pyproject.toml |
Todas las dependencias 0
Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 0 paquetes directos y 0 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.
| Registro | Paquete | Versión | Relación |
|---|
Informe JSON sin procesar legible por máquina
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 42428,
"has_wiki": true,
"homepage": null,
"languages": {
"C": 471,
"CSS": 1024,
"Nix": 1714,
"SMT": 38,
"Pyret": 47,
"Shell": 4945,
"Python": 1307901,
"Makefile": 53257,
"Dockerfile": 2609,
"Standard ML": 11424
},
"pushed_at": "2024-04-25T13:57:44Z",
"created_at": "2022-09-07T07:31:19Z",
"owner_type": "Organization",
"updated_at": "2024-04-25T13:58:05Z",
"description": "Python tools for the K Framework",
"is_archived": true,
"is_disabled": false,
"license_spdx": "BSD-3-Clause",
"default_branch": "master",
"license_spdx_raw": "BSD-3-Clause",
"primary_language": "Python",
"significant_languages": [
"Python"
]
},
"owner": {
"blog": "http://runtimeverification.com/",
"name": "Runtime Verification Inc.",
"type": "Organization",
"login": "runtimeverification",
"company": null,
"location": "Champaign, IL",
"followers": 275,
"avatar_url": "https://avatars.githubusercontent.com/u/3732719?v=4",
"created_at": "2013-03-01T00:25:37Z",
"is_verified": null,
"public_repos": 226,
"account_age_days": 4887
},
"license": {
"state": "standard",
"spdx_id": "BSD-3-Clause",
"raw_spdx": "BSD-3-Clause",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases_count": 100,
"commits_last_year": 0,
"latest_release_at": "2024-04-09T09:45:33Z",
"latest_release_tag": "v0.1.779",
"releases_from_tags": true,
"days_since_last_push": 814,
"active_weeks_last_year": 0,
"days_since_latest_release": 830,
"mean_days_between_releases": 0.5
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "pyk",
"exists": true,
"license": "Apache",
"keywords": [
"Kubernetes",
"containers",
"appops",
"Development Status :: 3 - Alpha",
"Environment :: Web Environment",
"Intended Audience :: Developers",
"License :: OSI Approved :: Apache Software License",
"Operating System :: OS Independent",
"Programming Language :: Python"
],
"ecosystem": "pypi",
"matches_repo": false,
"registry_url": "https://pypi.org/project/pyk/",
"is_deprecated": false,
"latest_version": "0.3.2",
"repository_url": "https://github.com/kubernauts/pyk",
"versions_count": 7,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": null,
"first_published_at": "2015-11-29T09:03:40.028219Z",
"latest_published_at": "2015-12-21T15:03:44.254561Z",
"latest_version_yanked": null,
"days_since_latest_publish": 3862
}
]
},
"popularity": {
"forks": 2,
"stars": 13,
"watchers": 8,
"open_issues_and_prs": 12
},
"ai_readiness": {
"has_nix": true,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": true,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile",
"regression-new/Makefile",
"regression-new/amb-rew/Makefile",
"regression-new/append/Makefile",
"regression-new/array-haskell/Makefile",
"regression-new/bad-bytes-literal/Makefile",
"regression-new/bad-flags/Makefile",
"regression-new/bison-glr-bug/Makefile",
"regression-new/bison-parser-library/Makefile",
"regression-new/bit-range-llvm/Makefile",
"regression-new/boundary-cells-opt/Makefile",
"regression-new/boundary-cells-opt/bc-none/Makefile",
"regression-new/bracket-priority/Makefile",
"regression-new/bytes-coverage/Makefile",
"regression-new/bytes-haskell/Makefile",
"regression-new/bytes-literal/Makefile",
"regression-new/bytes-llvm/Makefile",
"regression-new/bytes-memset/Makefile",
"regression-new/cast-kitem/Makefile",
"regression-new/cast/Makefile",
"regression-new/cell-bag-sort-llvm/Makefile",
"regression-new/cell-sort-haskell/Makefile",
"regression-new/cell_map/Makefile",
"regression-new/checkClaimError/Makefile",
"regression-new/checkWarns/Makefile",
"regression-new/checks/Makefile",
"regression-new/concrete-function-cache/Makefile",
"regression-new/concrete-function/Makefile",
"regression-new/concrete-haskell/Makefile",
"regression-new/configuration-composition/Makefile",
"regression-new/configuration-formatting/Makefile",
"regression-new/constant-folding/Makefile",
"regression-new/context-alias-2/Makefile",
"regression-new/context-alias-3/Makefile",
"regression-new/context-alias/Makefile",
"regression-new/context-cell/Makefile",
"regression-new/context-labels/Makefile",
"regression-new/coverage/Makefile",
"regression-new/domains-lemmas-no-smt/Makefile",
"regression-new/domains-lemmas-smt/Makefile",
"regression-new/doubleinj/Makefile",
"regression-new/equals-formatting/Makefile",
"regression-new/equals-pattern/Makefile",
"regression-new/excludedModuleAtts/Makefile",
"regression-new/excludedModuleAtts/haskell/Makefile",
"regression-new/excludedModuleAtts/llvm/Makefile",
"regression-new/exit-code-no-gen-top/Makefile",
"regression-new/f32-mul/Makefile",
"regression-new/fatalWarnings/Makefile",
"regression-new/ffi-llvm/Makefile",
"regression-new/float-id/Makefile",
"regression-new/fresh1/Makefile",
"regression-new/fresh2/Makefile",
"regression-new/fresh3/Makefile",
"regression-new/fun-llvm/Makefile",
"regression-new/glr/Makefile",
"regression-new/glr2/Makefile",
"regression-new/glr3/Makefile",
"regression-new/glr4/Makefile",
"regression-new/group/Makefile",
"regression-new/help/Makefile",
"regression-new/imp++-llvm/Makefile",
"regression-new/imp-haskell/Makefile",
"regression-new/imp-json/Makefile",
"regression-new/imp-kore/Makefile",
"regression-new/imp-llvm/Makefile",
"regression-new/int-llvm/Makefile",
"regression-new/io-llvm/Makefile",
"regression-new/issue-1088/Makefile",
"regression-new/issue-1090/Makefile",
"regression-new/issue-1098/Makefile",
"regression-new/issue-1145/Makefile",
"regression-new/issue-1169/Makefile",
"regression-new/issue-1175/Makefile",
"regression-new/issue-1184/Makefile",
"regression-new/issue-1186/Makefile",
"regression-new/issue-1193/Makefile",
"regression-new/issue-1263/Makefile",
"regression-new/issue-1273/Makefile",
"regression-new/issue-1372/Makefile",
"regression-new/issue-1384/Makefile",
"regression-new/issue-1388/Makefile",
"regression-new/issue-1436/Makefile",
"regression-new/issue-1472-unboundVars/Makefile",
"regression-new/issue-1489-claimLoc/Makefile",
"regression-new/issue-1528/Makefile",
"regression-new/issue-1545-func-in-simplification/Makefile",
"regression-new/issue-1572/Makefile",
"regression-new/issue-1573/Makefile",
"regression-new/issue-1602/Makefile",
"regression-new/issue-1633/Makefile",
"regression-new/issue-1676-koreBytes/Makefile",
"regression-new/issue-1682-korePrettyPrint/Makefile",
"regression-new/issue-1683-cfgVarsWarns/Makefile",
"regression-new/issue-1760/Makefile",
"regression-new/issue-1789-rhsOr/Makefile",
"regression-new/issue-1789-rhsOr/haskell/Makefile",
"regression-new/issue-1789-rhsOr/llvm/Makefile",
"regression-new/issue-1844-noPGM/Makefile",
"regression-new/issue-1844-noPGM/haskell/Makefile",
"regression-new/issue-1844-noPGM/llvm/Makefile",
"regression-new/issue-1879-kproveTrans/Makefile",
"regression-new/issue-1879-kproveTrans/haskell/Makefile",
"regression-new/issue-1952/Makefile",
"regression-new/issue-2075-2/Makefile",
"regression-new/issue-2075/Makefile",
"regression-new/issue-2114/Makefile",
"regression-new/issue-2142-markConcrete/Makefile",
"regression-new/issue-2146-duplicateModules/Makefile",
"regression-new/issue-2174-kprovexParseError/Makefile",
"regression-new/issue-2273/Makefile",
"regression-new/issue-2287-simpl-rules-in-kprovex/Makefile",
"regression-new/issue-2315-id-quotes/Makefile",
"regression-new/issue-2321-kprovexCrash/Makefile",
"regression-new/issue-2356-koreDecode/Makefile",
"regression-new/issue-2812-kprove-filter-claims/Makefile",
"regression-new/issue-2812-kprove-filter-claims/claims/Makefile",
"regression-new/issue-2812-kprove-filter-claims/exclude/Makefile",
"regression-new/issue-2812-kprove-filter-claims/trusted/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/check/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/haskell/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/llvm/Makefile",
"regression-new/issue-3035-antileft/Makefile",
"regression-new/issue-3035-antileft/haskell/Makefile",
"regression-new/issue-3035-antileft/llvm/Makefile",
"regression-new/issue-313/Makefile",
"regression-new/issue-3385/Makefile",
"regression-new/issue-3446/Makefile",
"regression-new/issue-3450-kprove-fresh/Makefile",
"regression-new/issue-3520-freshConfig/Makefile",
"regression-new/issue-3604-counterCell/Makefile",
"regression-new/issue-3647-debugTokens/Makefile",
"regression-new/issue-3672-debugParse/Makefile",
"regression-new/issue-3996-unary-symbol-list/Makefile",
"regression-new/issue-425/Makefile",
"regression-new/issue-582/Makefile",
"regression-new/issue-946/Makefile",
"regression-new/issue-999/Makefile",
"regression-new/ite-bug/Makefile",
"regression-new/itp/Makefile",
"regression-new/itp/nat-assoc/Makefile",
"regression-new/itp/nth-ancestor/Makefile",
"regression-new/json-input/Makefile",
"regression-new/kast-bison-bytes/Makefile",
"regression-new/kast-bison/Makefile",
"regression-new/kast-default-output/Makefile",
"regression-new/kast-input/Makefile",
"regression-new/kast-kore-input/Makefile",
"regression-new/kast-rule/Makefile",
"regression-new/kdep-options/Makefile",
"regression-new/kdep-options/remake-depend/Makefile",
"regression-new/kdep-options/simple/Makefile",
"regression-new/kompiled-directory/Makefile",
"regression-new/kompiled-directory/default/Makefile",
"regression-new/kompiled-directory/nested/Makefile",
"regression-new/kore-brackets/Makefile",
"regression-new/kore-issue-2253/Makefile",
"regression-new/kprove-append/Makefile",
"regression-new/kprove-branchingAllowed/Makefile",
"regression-new/kprove-error-status/Makefile",
"regression-new/kprove-haskell/Makefile",
"regression-new/kprove-java/Makefile",
"regression-new/kprove-macro-exp-productions/Makefile",
"regression-new/kprove-macro-exp/Makefile",
"regression-new/kprove-markdown/Makefile",
"regression-new/kprove-smt-lemma/Makefile",
"regression-new/kprove-smt-lemma/haskell/Makefile",
"regression-new/kprove-var-equals/Makefile",
"regression-new/krun-deserialize/Makefile",
"regression-new/let-priority/Makefile",
"regression-new/let-test/Makefile",
"regression-new/list-in-bug/Makefile",
"regression-new/llvm-kompile-type/Makefile",
"regression-new/llvm-krun/Makefile",
"regression-new/llvm-string2base/Makefile",
"regression-new/locations/Makefile",
"regression-new/locations2/Makefile",
"regression-new/locations3/Makefile",
"regression-new/lub/Makefile",
"regression-new/lub2/Makefile",
"regression-new/macro_vars-productions/Makefile",
"regression-new/macro_vars/Makefile",
"regression-new/map-symbolic-tests-haskell/Makefile",
"regression-new/markdownSelectors/Makefile",
"regression-new/minimization-issue/Makefile",
"regression-new/mint-llvm/Makefile",
"regression-new/mutable-bytes/Makefile",
"regression-new/mutable-bytes/default/Makefile",
"regression-new/mutable-bytes/mutable/Makefile",
"regression-new/no-dup-rules/Makefile",
"regression-new/no-pattern/Makefile",
"regression-new/nomain/Makefile",
"regression-new/non-executable/Makefile",
"regression-new/non-executable/haskell/Makefile",
"regression-new/non-executable/llvm/Makefile",
"regression-new/non-executable/rewrite-check/Makefile",
"regression-new/nonexhaustive/Makefile",
"regression-new/or-haskell/Makefile",
"regression-new/or-llvm/Makefile",
"regression-new/overload/Makefile",
"regression-new/owise-haskell/Makefile",
"regression-new/parse-c/Makefile",
"regression-new/parseNonPgm/Makefile",
"regression-new/pattern-macro-productions/Makefile",
"regression-new/pattern-macro/Makefile",
"regression-new/pedanticAttributes/Makefile",
"regression-new/pl-tutorial/1_k/1_lambda/Makefile",
"regression-new/pl-tutorial/1_k/1_lambda/lesson_8/Makefile",
"regression-new/pl-tutorial/1_k/2_imp/Makefile",
"regression-new/pl-tutorial/1_k/2_imp/lesson_4/Makefile",
"regression-new/pl-tutorial/1_k/3_lambda++/Makefile",
"regression-new/pl-tutorial/1_k/3_lambda++/lesson_5/Makefile",
"regression-new/pl-tutorial/1_k/4_imp++/Makefile",
"regression-new/pl-tutorial/1_k/4_imp++/lesson_7/Makefile",
"regression-new/pl-tutorial/1_k/5_types/Makefile",
"regression-new/pl-tutorial/1_k/5_types/lesson_6/Makefile",
"regression-new/pl-tutorial/1_k/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/1_untyped/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/2_typed/1_static/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/2_typed/2_dynamic/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/1_untyped/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/2_typed/1_dynamic/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/2_typed/2_static/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/Makefile",
"regression-new/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/Makefile",
"regression-new/pl-tutorial/2_languages/3_fun/Makefile",
"regression-new/pl-tutorial/2_languages/Makefile",
"regression-new/pl-tutorial/Makefile",
"regression-new/poly-kitem/Makefile",
"regression-new/poly-sort/Makefile",
"regression-new/poly-unparsing/Makefile",
"regression-new/prelude-warnings/Makefile",
"regression-new/profile/Makefile",
"regression-new/proof-instrumentation/Makefile",
"regression-new/proof-tests/Makefile",
"regression-new/proof-tests/deposit/Makefile",
"regression-new/proof-tests/deposit/spec/Makefile",
"regression-new/proof-tests/deposit/test/Makefile",
"regression-new/quadratic-poly-unparsing/Makefile",
"regression-new/rand/Makefile",
"regression-new/rangemap-tests-llvm/Makefile",
"regression-new/rat/Makefile",
"regression-new/rat/defined/Makefile",
"regression-new/rat/defined/haskell/Makefile",
"regression-new/rat/defined/llvm/Makefile",
"regression-new/rat/undefined/Makefile",
"regression-new/rat/undefined/haskell/Makefile",
"regression-new/record-llvm/Makefile",
"regression-new/search-bound/Makefile",
"regression-new/seqstrict-predicate/Makefile",
"regression-new/set-symbolic-tests/Makefile",
"regression-new/set_unification/Makefile",
"regression-new/simp-haskell/Makefile",
"regression-new/spec-rule-application/Makefile",
"regression-new/star-multiplicity/Makefile",
"regression-new/string_escape/Makefile",
"regression-new/stringbuffer-llvm/Makefile",
"regression-new/synonym/Makefile",
"regression-new/trace/Makefile",
"regression-new/unification-lemmas/Makefile",
"regression-new/unification-lemmas2/Makefile",
"regression-new/union/Makefile",
"regression-new/unparseKORE/Makefile",
"regression-new/useless/Makefile",
"regression-new/werrorCategory/Makefile",
"regression-new/withConfig-llvm/Makefile",
"regression-new/withConfig/Makefile",
"regression-new/withConfig2/Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"src/pyk/py.typed"
],
"largest_source_bytes": 65951,
"source_files_sampled": 208,
"oversized_source_files": 2,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"pyproject.toml"
],
"ecosystems": [
"pypi"
],
"dependencies": [
{
"name": "cmd2",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^2.4.2"
},
{
"name": "coloredlogs",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^15.0.1"
},
{
"name": "filelock",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^3.9.0"
},
{
"name": "graphviz",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^0.20.1"
},
{
"name": "psutil",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "5.9.5"
},
{
"name": "pybind11",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^2.10.3"
},
{
"name": "textual",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^0.27.0"
},
{
"name": "tomli",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^2.0.1"
},
{
"name": "xdg-base-dirs",
"manifest": "pyproject.toml",
"ecosystem": "pypi",
"version_constraint": "^6.0.1"
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [],
"collected": true,
"truncated": false,
"total_count": 0,
"direct_count": 0,
"indirect_count": 0
}
},
"maintainership": {
"issues": {
"open_prs": 12,
"merged_prs": 786,
"open_issues": 0,
"closed_ratio": 1,
"closed_issues": 151,
"closed_unmerged_prs": 65
},
"bus_factor": 2,
"top_contributors": [
{
"type": "User",
"login": "tothtamas28",
"commits": 268,
"avatar_url": "https://avatars.githubusercontent.com/u/10085903?u=732254f9aaf687cf312107c000f93956e4008549&v=4"
},
{
"type": "User",
"login": "rv-jenkins",
"commits": 204,
"avatar_url": "https://avatars.githubusercontent.com/u/7210875?u=dbf0d548f022d434c85dc81603c33e8b527e48a6&v=4"
},
{
"type": "User",
"login": "ehildenb",
"commits": 133,
"avatar_url": "https://avatars.githubusercontent.com/u/12721972?v=4"
},
{
"type": "User",
"login": "nwatson22",
"commits": 42,
"avatar_url": "https://avatars.githubusercontent.com/u/107630091?v=4"
},
{
"type": "User",
"login": "h0nzZik",
"commits": 15,
"avatar_url": "https://avatars.githubusercontent.com/u/773581?v=4"
},
{
"type": "User",
"login": "geo2a",
"commits": 13,
"avatar_url": "https://avatars.githubusercontent.com/u/8296326?u=df1a2488c0cbc343473953175cdaef27367c90c9&v=4"
},
{
"type": "User",
"login": "virgil-serbanuta",
"commits": 13,
"avatar_url": "https://avatars.githubusercontent.com/u/25692529?u=79bf1d2c34ead6fbce7972480bc4fe327af0c133&v=4"
},
{
"type": "User",
"login": "PetarMax",
"commits": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/8540490?u=af53365cbc5041ea5aa422691d9408aa54a43740&v=4"
},
{
"type": "User",
"login": "goodlyrottenapple",
"commits": 11,
"avatar_url": "https://avatars.githubusercontent.com/u/10553895?u=1bfee386b3da27ab8f8774ba5efd432ee52414f4&v=4"
},
{
"type": "User",
"login": "anvacaru",
"commits": 10,
"avatar_url": "https://avatars.githubusercontent.com/u/16517508?u=8ef1426871797f6c9d280e646da9daf813bd8805&v=4"
}
],
"contributors_sampled": 24,
"top_contributor_share": 0.345
},
"quality_signals": {
"has_ci": false,
"has_tests": true,
"ci_workflows": [],
"has_docs_dir": true,
"linter_configs": [
".flake8"
],
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"poetry.lock"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 5,
"reason": "branch protection is not maximal on development and all release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 0,
"reason": "0 out of 29 merged PRs checked by a CI test -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 9,
"reason": "Found 29/30 approved changesets -- score normalized to 9",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 10 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": null,
"reason": "no workflows found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 0,
"reason": "project is archived",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 2,
"reason": "dependency not pinned by hash detected -- score normalized to 2",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": null,
"reason": "No tokens found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "28 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "bb8f81356ec20acbcad77cd5bf9104438b32694a",
"ran_at": "2026-07-18T15:41:13Z",
"aggregate_score": 3.2,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/runtimeverification/pyk",
"host": "github.com",
"name": "pyk",
"owner": "runtimeverification"
},
"metrics": {
"overall": {
"key": "overall",
"band": "critical",
"name": "Overall health",
"note": "Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.",
"notes": [
{
"code": "abandonment_overall_adjustment",
"params": {
"cap": 29,
"pct": 40
}
}
],
"value": 18,
"inputs": {
"security": 32,
"vitality": 20,
"community": 35,
"governance": 76,
"engineering": 54,
"abandonment_cap": 29,
"abandonment_state": "declared",
"abandonment_multiplier": 40,
"weighted_overall_before_abandonment": 45,
"overall_after_abandonment_multiplier": 18
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "critical",
"name": "Vitality",
"value": 20,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "critical",
"name": "Development activity",
"note": null,
"notes": [],
"value": 1,
"inputs": {
"commits_last_year": 0,
"human_commit_share": null,
"days_since_last_push": 814,
"active_weeks_last_year": 0
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 814 days ago",
"points": 0,
"status": "missed",
"details": [
{
"code": "push_recency",
"params": {
"days": 814
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "0/52 weeks with commits",
"points": 0,
"status": "missed",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 0
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "0 commits in the last year",
"points": 0,
"status": "missed",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 0
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "project is archived",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "at_risk",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 48,
"inputs": {
"releases_count": 100,
"latest_release_tag": "v0.1.779",
"releases_from_tags": true,
"days_since_latest_release": 830,
"mean_days_between_releases": 0.5
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "100 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 100
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 830 days ago",
"points": 0,
"status": "missed",
"details": [
{
"code": "release_recency",
"params": {
"days": 830
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~0.5 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 0.5
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "at_risk",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"cap": 29,
"state": "declared",
"guards": [],
"signals": [],
"red_flag": true,
"multiplier_pct": 40,
"declared_reason": "archived",
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "the repository is archived on GitHub",
"points": 40,
"status": "partial",
"details": [
{
"code": "abandonment_archived",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 35,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 22,
"inputs": {
"forks": 2,
"stars": 13,
"watchers": 8,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "13 stars",
"points": 17.5,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 13
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "2 forks",
"points": 0,
"status": "missed",
"details": [
{
"code": "forks",
"params": {
"count": 2
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "8 watchers",
"points": 4.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 8
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (BSD-3-Clause)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "BSD-3-Clause"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "good",
"name": "Sustainability & Governance",
"value": 76,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "moderate",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 63,
"inputs": {
"bus_factor": 2,
"contributors_sampled": 24,
"top_contributor_share": 0.345
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "2 contributor(s) cover half of all commits",
"points": 25.2,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 2
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 34% of commits",
"points": 14.7,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 34
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "24 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 24
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 10 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 96,
"inputs": {
"merged_prs": 786,
"open_issues": 0,
"closed_issues": 151,
"issue_closed_ratio": 1,
"closed_unmerged_prs": 65
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "100% of issues closed",
"points": 46.8,
"status": "met",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 100
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "786/851 decided PRs merged",
"points": 35.3,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 786,
"decided": 851
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 29/30 approved changesets -- score normalized to 9",
"points": 13.5,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"followers": 275,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "runtimeverification",
"public_repos": 226,
"account_age_days": 4887
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "275 followers of runtimeverification",
"points": 17.5,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 275,
"login": "runtimeverification"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "226 public repos, account ~13 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 226
}
},
{
"code": "account_age_years",
"params": {
"years": 13
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 54,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "at_risk",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"has_ci": false,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": ".flake8",
"points": 16,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".flake8"
}
}
],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "0 out of 29 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "good",
"name": "Documentation",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "at_risk",
"name": "Security",
"value": 32,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Dangerous-Workflow, Packaging, Signed-Releases, Token-Permissions. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"dangerous_workflow",
"packaging",
"signed_releases",
"token_permissions"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 32,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 14,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 4,
"scorecard_aggregate": 3.2
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection is not maximal on development and all release branches",
"points": 3.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "0 out of 29 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 29/30 approved changesets -- score normalized to 9",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 10 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no workflows found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "project is archived",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 2",
"points": 1,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "No tokens found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "28 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 5
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 57,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": "Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"legible_commit_history"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"has_llms_txt": false,
"legible_history_share": null,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "excellent",
"name": "Verify loop (build / test / typecheck)",
"note": "Excluded from scoring (no data or not applicable): Demonstrated agent practice, Automated maintenance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"demonstrated_agent_practice",
"automated_maintenance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 90,
"inputs": {
"has_nix": true,
"has_tests": true,
"lockfiles": [
"poetry.lock"
],
"has_dockerfile": true,
"typed_language": false,
"bootstrap_files": [
"Makefile",
"regression-new/Makefile",
"regression-new/amb-rew/Makefile",
"regression-new/append/Makefile",
"regression-new/array-haskell/Makefile",
"regression-new/bad-bytes-literal/Makefile",
"regression-new/bad-flags/Makefile",
"regression-new/bison-glr-bug/Makefile",
"regression-new/bison-parser-library/Makefile",
"regression-new/bit-range-llvm/Makefile",
"regression-new/boundary-cells-opt/Makefile",
"regression-new/boundary-cells-opt/bc-none/Makefile",
"regression-new/bracket-priority/Makefile",
"regression-new/bytes-coverage/Makefile",
"regression-new/bytes-haskell/Makefile",
"regression-new/bytes-literal/Makefile",
"regression-new/bytes-llvm/Makefile",
"regression-new/bytes-memset/Makefile",
"regression-new/cast-kitem/Makefile",
"regression-new/cast/Makefile",
"regression-new/cell-bag-sort-llvm/Makefile",
"regression-new/cell-sort-haskell/Makefile",
"regression-new/cell_map/Makefile",
"regression-new/checkClaimError/Makefile",
"regression-new/checkWarns/Makefile",
"regression-new/checks/Makefile",
"regression-new/concrete-function-cache/Makefile",
"regression-new/concrete-function/Makefile",
"regression-new/concrete-haskell/Makefile",
"regression-new/configuration-composition/Makefile",
"regression-new/configuration-formatting/Makefile",
"regression-new/constant-folding/Makefile",
"regression-new/context-alias-2/Makefile",
"regression-new/context-alias-3/Makefile",
"regression-new/context-alias/Makefile",
"regression-new/context-cell/Makefile",
"regression-new/context-labels/Makefile",
"regression-new/coverage/Makefile",
"regression-new/domains-lemmas-no-smt/Makefile",
"regression-new/domains-lemmas-smt/Makefile",
"regression-new/doubleinj/Makefile",
"regression-new/equals-formatting/Makefile",
"regression-new/equals-pattern/Makefile",
"regression-new/excludedModuleAtts/Makefile",
"regression-new/excludedModuleAtts/haskell/Makefile",
"regression-new/excludedModuleAtts/llvm/Makefile",
"regression-new/exit-code-no-gen-top/Makefile",
"regression-new/f32-mul/Makefile",
"regression-new/fatalWarnings/Makefile",
"regression-new/ffi-llvm/Makefile",
"regression-new/float-id/Makefile",
"regression-new/fresh1/Makefile",
"regression-new/fresh2/Makefile",
"regression-new/fresh3/Makefile",
"regression-new/fun-llvm/Makefile",
"regression-new/glr/Makefile",
"regression-new/glr2/Makefile",
"regression-new/glr3/Makefile",
"regression-new/glr4/Makefile",
"regression-new/group/Makefile",
"regression-new/help/Makefile",
"regression-new/imp++-llvm/Makefile",
"regression-new/imp-haskell/Makefile",
"regression-new/imp-json/Makefile",
"regression-new/imp-kore/Makefile",
"regression-new/imp-llvm/Makefile",
"regression-new/int-llvm/Makefile",
"regression-new/io-llvm/Makefile",
"regression-new/issue-1088/Makefile",
"regression-new/issue-1090/Makefile",
"regression-new/issue-1098/Makefile",
"regression-new/issue-1145/Makefile",
"regression-new/issue-1169/Makefile",
"regression-new/issue-1175/Makefile",
"regression-new/issue-1184/Makefile",
"regression-new/issue-1186/Makefile",
"regression-new/issue-1193/Makefile",
"regression-new/issue-1263/Makefile",
"regression-new/issue-1273/Makefile",
"regression-new/issue-1372/Makefile",
"regression-new/issue-1384/Makefile",
"regression-new/issue-1388/Makefile",
"regression-new/issue-1436/Makefile",
"regression-new/issue-1472-unboundVars/Makefile",
"regression-new/issue-1489-claimLoc/Makefile",
"regression-new/issue-1528/Makefile",
"regression-new/issue-1545-func-in-simplification/Makefile",
"regression-new/issue-1572/Makefile",
"regression-new/issue-1573/Makefile",
"regression-new/issue-1602/Makefile",
"regression-new/issue-1633/Makefile",
"regression-new/issue-1676-koreBytes/Makefile",
"regression-new/issue-1682-korePrettyPrint/Makefile",
"regression-new/issue-1683-cfgVarsWarns/Makefile",
"regression-new/issue-1760/Makefile",
"regression-new/issue-1789-rhsOr/Makefile",
"regression-new/issue-1789-rhsOr/haskell/Makefile",
"regression-new/issue-1789-rhsOr/llvm/Makefile",
"regression-new/issue-1844-noPGM/Makefile",
"regression-new/issue-1844-noPGM/haskell/Makefile",
"regression-new/issue-1844-noPGM/llvm/Makefile",
"regression-new/issue-1879-kproveTrans/Makefile",
"regression-new/issue-1879-kproveTrans/haskell/Makefile",
"regression-new/issue-1952/Makefile",
"regression-new/issue-2075-2/Makefile",
"regression-new/issue-2075/Makefile",
"regression-new/issue-2114/Makefile",
"regression-new/issue-2142-markConcrete/Makefile",
"regression-new/issue-2146-duplicateModules/Makefile",
"regression-new/issue-2174-kprovexParseError/Makefile",
"regression-new/issue-2273/Makefile",
"regression-new/issue-2287-simpl-rules-in-kprovex/Makefile",
"regression-new/issue-2315-id-quotes/Makefile",
"regression-new/issue-2321-kprovexCrash/Makefile",
"regression-new/issue-2356-koreDecode/Makefile",
"regression-new/issue-2812-kprove-filter-claims/Makefile",
"regression-new/issue-2812-kprove-filter-claims/claims/Makefile",
"regression-new/issue-2812-kprove-filter-claims/exclude/Makefile",
"regression-new/issue-2812-kprove-filter-claims/trusted/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/check/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/haskell/Makefile",
"regression-new/issue-2909-allow-anywhere-haskell/llvm/Makefile",
"regression-new/issue-3035-antileft/Makefile",
"regression-new/issue-3035-antileft/haskell/Makefile",
"regression-new/issue-3035-antileft/llvm/Makefile",
"regression-new/issue-313/Makefile",
"regression-new/issue-3385/Makefile",
"regression-new/issue-3446/Makefile",
"regression-new/issue-3450-kprove-fresh/Makefile",
"regression-new/issue-3520-freshConfig/Makefile",
"regression-new/issue-3604-counterCell/Makefile",
"regression-new/issue-3647-debugTokens/Makefile",
"regression-new/issue-3672-debugParse/Makefile",
"regression-new/issue-3996-unary-symbol-list/Makefile",
"regression-new/issue-425/Makefile",
"regression-new/issue-582/Makefile",
"regression-new/issue-946/Makefile",
"regression-new/issue-999/Makefile",
"regression-new/ite-bug/Makefile",
"regression-new/itp/Makefile",
"regression-new/itp/nat-assoc/Makefile",
"regression-new/itp/nth-ancestor/Makefile",
"regression-new/json-input/Makefile",
"regression-new/kast-bison-bytes/Makefile",
"regression-new/kast-bison/Makefile",
"regression-new/kast-default-output/Makefile",
"regression-new/kast-input/Makefile",
"regression-new/kast-kore-input/Makefile",
"regression-new/kast-rule/Makefile",
"regression-new/kdep-options/Makefile",
"regression-new/kdep-options/remake-depend/Makefile",
"regression-new/kdep-options/simple/Makefile",
"regression-new/kompiled-directory/Makefile",
"regression-new/kompiled-directory/default/Makefile",
"regression-new/kompiled-directory/nested/Makefile",
"regression-new/kore-brackets/Makefile",
"regression-new/kore-issue-2253/Makefile",
"regression-new/kprove-append/Makefile",
"regression-new/kprove-branchingAllowed/Makefile",
"regression-new/kprove-error-status/Makefile",
"regression-new/kprove-haskell/Makefile",
"regression-new/kprove-java/Makefile",
"regression-new/kprove-macro-exp-productions/Makefile",
"regression-new/kprove-macro-exp/Makefile",
"regression-new/kprove-markdown/Makefile",
"regression-new/kprove-smt-lemma/Makefile",
"regression-new/kprove-smt-lemma/haskell/Makefile",
"regression-new/kprove-var-equals/Makefile",
"regression-new/krun-deserialize/Makefile",
"regression-new/let-priority/Makefile",
"regression-new/let-test/Makefile",
"regression-new/list-in-bug/Makefile",
"regression-new/llvm-kompile-type/Makefile",
"regression-new/llvm-krun/Makefile",
"regression-new/llvm-string2base/Makefile",
"regression-new/locations/Makefile",
"regression-new/locations2/Makefile",
"regression-new/locations3/Makefile",
"regression-new/lub/Makefile",
"regression-new/lub2/Makefile",
"regression-new/macro_vars-productions/Makefile",
"regression-new/macro_vars/Makefile",
"regression-new/map-symbolic-tests-haskell/Makefile",
"regression-new/markdownSelectors/Makefile",
"regression-new/minimization-issue/Makefile",
"regression-new/mint-llvm/Makefile",
"regression-new/mutable-bytes/Makefile",
"regression-new/mutable-bytes/default/Makefile",
"regression-new/mutable-bytes/mutable/Makefile",
"regression-new/no-dup-rules/Makefile",
"regression-new/no-pattern/Makefile",
"regression-new/nomain/Makefile",
"regression-new/non-executable/Makefile",
"regression-new/non-executable/haskell/Makefile",
"regression-new/non-executable/llvm/Makefile",
"regression-new/non-executable/rewrite-check/Makefile",
"regression-new/nonexhaustive/Makefile",
"regression-new/or-haskell/Makefile",
"regression-new/or-llvm/Makefile",
"regression-new/overload/Makefile",
"regression-new/owise-haskell/Makefile",
"regression-new/parse-c/Makefile",
"regression-new/parseNonPgm/Makefile",
"regression-new/pattern-macro-productions/Makefile",
"regression-new/pattern-macro/Makefile",
"regression-new/pedanticAttributes/Makefile",
"regression-new/pl-tutorial/1_k/1_lambda/Makefile",
"regression-new/pl-tutorial/1_k/1_lambda/lesson_8/Makefile",
"regression-new/pl-tutorial/1_k/2_imp/Makefile",
"regression-new/pl-tutorial/1_k/2_imp/lesson_4/Makefile",
"regression-new/pl-tutorial/1_k/3_lambda++/Makefile",
"regression-new/pl-tutorial/1_k/3_lambda++/lesson_5/Makefile",
"regression-new/pl-tutorial/1_k/4_imp++/Makefile",
"regression-new/pl-tutorial/1_k/4_imp++/lesson_7/Makefile",
"regression-new/pl-tutorial/1_k/5_types/Makefile",
"regression-new/pl-tutorial/1_k/5_types/lesson_6/Makefile",
"regression-new/pl-tutorial/1_k/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/1_untyped/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/2_typed/1_static/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/2_typed/2_dynamic/Makefile",
"regression-new/pl-tutorial/2_languages/1_simple/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/1_untyped/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/2_typed/1_dynamic/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/2_typed/2_static/Makefile",
"regression-new/pl-tutorial/2_languages/2_kool/Makefile",
"regression-new/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/Makefile",
"regression-new/pl-tutorial/2_languages/3_fun/Makefile",
"regression-new/pl-tutorial/2_languages/Makefile",
"regression-new/pl-tutorial/Makefile",
"regression-new/poly-kitem/Makefile",
"regression-new/poly-sort/Makefile",
"regression-new/poly-unparsing/Makefile",
"regression-new/prelude-warnings/Makefile",
"regression-new/profile/Makefile",
"regression-new/proof-instrumentation/Makefile",
"regression-new/proof-tests/Makefile",
"regression-new/proof-tests/deposit/Makefile",
"regression-new/proof-tests/deposit/spec/Makefile",
"regression-new/proof-tests/deposit/test/Makefile",
"regression-new/quadratic-poly-unparsing/Makefile",
"regression-new/rand/Makefile",
"regression-new/rangemap-tests-llvm/Makefile",
"regression-new/rat/Makefile",
"regression-new/rat/defined/Makefile",
"regression-new/rat/defined/haskell/Makefile",
"regression-new/rat/defined/llvm/Makefile",
"regression-new/rat/undefined/Makefile",
"regression-new/rat/undefined/haskell/Makefile",
"regression-new/record-llvm/Makefile",
"regression-new/search-bound/Makefile",
"regression-new/seqstrict-predicate/Makefile",
"regression-new/set-symbolic-tests/Makefile",
"regression-new/set_unification/Makefile",
"regression-new/simp-haskell/Makefile",
"regression-new/spec-rule-application/Makefile",
"regression-new/star-multiplicity/Makefile",
"regression-new/string_escape/Makefile",
"regression-new/stringbuffer-llvm/Makefile",
"regression-new/synonym/Makefile",
"regression-new/trace/Makefile",
"regression-new/unification-lemmas/Makefile",
"regression-new/unification-lemmas2/Makefile",
"regression-new/union/Makefile",
"regression-new/unparseKORE/Makefile",
"regression-new/useless/Makefile",
"regression-new/werrorCategory/Makefile",
"regression-new/withConfig-llvm/Makefile",
"regression-new/withConfig/Makefile",
"regression-new/withConfig2/Makefile"
],
"has_devcontainer": false,
"has_linter_config": true,
"typecheck_configs": [
"src/pyk/py.typed"
],
"agent_commit_share": null,
"toolchain_manifests": [],
"dependency_bot_commit_share": null
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile, regression-new/Makefile, regression-new/amb-rew/Makefile, regression-new/append/Makefile, regression-new/array-haskell/Makefile, regression-new/bad-bytes-literal/Makefile, regression-new/bad-flags/Makefile, regression-new/bison-glr-bug/Makefile, regression-new/bison-parser-library/Makefile, regression-new/bit-range-llvm/Makefile, regression-new/boundary-cells-opt/Makefile, regression-new/boundary-cells-opt/bc-none/Makefile, regression-new/bracket-priority/Makefile, regression-new/bytes-coverage/Makefile, regression-new/bytes-haskell/Makefile, regression-new/bytes-literal/Makefile, regression-new/bytes-llvm/Makefile, regression-new/bytes-memset/Makefile, regression-new/cast-kitem/Makefile, regression-new/cast/Makefile, regression-new/cell-bag-sort-llvm/Makefile, regression-new/cell-sort-haskell/Makefile, regression-new/cell_map/Makefile, regression-new/checkClaimError/Makefile, regression-new/checkWarns/Makefile, regression-new/checks/Makefile, regression-new/concrete-function-cache/Makefile, regression-new/concrete-function/Makefile, regression-new/concrete-haskell/Makefile, regression-new/configuration-composition/Makefile, regression-new/configuration-formatting/Makefile, regression-new/constant-folding/Makefile, regression-new/context-alias-2/Makefile, regression-new/context-alias-3/Makefile, regression-new/context-alias/Makefile, regression-new/context-cell/Makefile, regression-new/context-labels/Makefile, regression-new/coverage/Makefile, regression-new/domains-lemmas-no-smt/Makefile, regression-new/domains-lemmas-smt/Makefile, regression-new/doubleinj/Makefile, regression-new/equals-formatting/Makefile, regression-new/equals-pattern/Makefile, regression-new/excludedModuleAtts/Makefile, regression-new/excludedModuleAtts/haskell/Makefile, regression-new/excludedModuleAtts/llvm/Makefile, regression-new/exit-code-no-gen-top/Makefile, regression-new/f32-mul/Makefile, regression-new/fatalWarnings/Makefile, regression-new/ffi-llvm/Makefile, regression-new/float-id/Makefile, regression-new/fresh1/Makefile, regression-new/fresh2/Makefile, regression-new/fresh3/Makefile, regression-new/fun-llvm/Makefile, regression-new/glr/Makefile, regression-new/glr2/Makefile, regression-new/glr3/Makefile, regression-new/glr4/Makefile, regression-new/group/Makefile, regression-new/help/Makefile, regression-new/imp++-llvm/Makefile, regression-new/imp-haskell/Makefile, regression-new/imp-json/Makefile, regression-new/imp-kore/Makefile, regression-new/imp-llvm/Makefile, regression-new/int-llvm/Makefile, regression-new/io-llvm/Makefile, regression-new/issue-1088/Makefile, regression-new/issue-1090/Makefile, regression-new/issue-1098/Makefile, regression-new/issue-1145/Makefile, regression-new/issue-1169/Makefile, regression-new/issue-1175/Makefile, regression-new/issue-1184/Makefile, regression-new/issue-1186/Makefile, regression-new/issue-1193/Makefile, regression-new/issue-1263/Makefile, regression-new/issue-1273/Makefile, regression-new/issue-1372/Makefile, regression-new/issue-1384/Makefile, regression-new/issue-1388/Makefile, regression-new/issue-1436/Makefile, regression-new/issue-1472-unboundVars/Makefile, regression-new/issue-1489-claimLoc/Makefile, regression-new/issue-1528/Makefile, regression-new/issue-1545-func-in-simplification/Makefile, regression-new/issue-1572/Makefile, regression-new/issue-1573/Makefile, regression-new/issue-1602/Makefile, regression-new/issue-1633/Makefile, regression-new/issue-1676-koreBytes/Makefile, regression-new/issue-1682-korePrettyPrint/Makefile, regression-new/issue-1683-cfgVarsWarns/Makefile, regression-new/issue-1760/Makefile, regression-new/issue-1789-rhsOr/Makefile, regression-new/issue-1789-rhsOr/haskell/Makefile, regression-new/issue-1789-rhsOr/llvm/Makefile, regression-new/issue-1844-noPGM/Makefile, regression-new/issue-1844-noPGM/haskell/Makefile, regression-new/issue-1844-noPGM/llvm/Makefile, regression-new/issue-1879-kproveTrans/Makefile, regression-new/issue-1879-kproveTrans/haskell/Makefile, regression-new/issue-1952/Makefile, regression-new/issue-2075-2/Makefile, regression-new/issue-2075/Makefile, regression-new/issue-2114/Makefile, regression-new/issue-2142-markConcrete/Makefile, regression-new/issue-2146-duplicateModules/Makefile, regression-new/issue-2174-kprovexParseError/Makefile, regression-new/issue-2273/Makefile, regression-new/issue-2287-simpl-rules-in-kprovex/Makefile, regression-new/issue-2315-id-quotes/Makefile, regression-new/issue-2321-kprovexCrash/Makefile, regression-new/issue-2356-koreDecode/Makefile, regression-new/issue-2812-kprove-filter-claims/Makefile, regression-new/issue-2812-kprove-filter-claims/claims/Makefile, regression-new/issue-2812-kprove-filter-claims/exclude/Makefile, regression-new/issue-2812-kprove-filter-claims/trusted/Makefile, regression-new/issue-2909-allow-anywhere-haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/check/Makefile, regression-new/issue-2909-allow-anywhere-haskell/haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/llvm/Makefile, regression-new/issue-3035-antileft/Makefile, regression-new/issue-3035-antileft/haskell/Makefile, regression-new/issue-3035-antileft/llvm/Makefile, regression-new/issue-313/Makefile, regression-new/issue-3385/Makefile, regression-new/issue-3446/Makefile, regression-new/issue-3450-kprove-fresh/Makefile, regression-new/issue-3520-freshConfig/Makefile, regression-new/issue-3604-counterCell/Makefile, regression-new/issue-3647-debugTokens/Makefile, regression-new/issue-3672-debugParse/Makefile, regression-new/issue-3996-unary-symbol-list/Makefile, regression-new/issue-425/Makefile, regression-new/issue-582/Makefile, regression-new/issue-946/Makefile, regression-new/issue-999/Makefile, regression-new/ite-bug/Makefile, regression-new/itp/Makefile, regression-new/itp/nat-assoc/Makefile, regression-new/itp/nth-ancestor/Makefile, regression-new/json-input/Makefile, regression-new/kast-bison-bytes/Makefile, regression-new/kast-bison/Makefile, regression-new/kast-default-output/Makefile, regression-new/kast-input/Makefile, regression-new/kast-kore-input/Makefile, regression-new/kast-rule/Makefile, regression-new/kdep-options/Makefile, regression-new/kdep-options/remake-depend/Makefile, regression-new/kdep-options/simple/Makefile, regression-new/kompiled-directory/Makefile, regression-new/kompiled-directory/default/Makefile, regression-new/kompiled-directory/nested/Makefile, regression-new/kore-brackets/Makefile, regression-new/kore-issue-2253/Makefile, regression-new/kprove-append/Makefile, regression-new/kprove-branchingAllowed/Makefile, regression-new/kprove-error-status/Makefile, regression-new/kprove-haskell/Makefile, regression-new/kprove-java/Makefile, regression-new/kprove-macro-exp-productions/Makefile, regression-new/kprove-macro-exp/Makefile, regression-new/kprove-markdown/Makefile, regression-new/kprove-smt-lemma/Makefile, regression-new/kprove-smt-lemma/haskell/Makefile, regression-new/kprove-var-equals/Makefile, regression-new/krun-deserialize/Makefile, regression-new/let-priority/Makefile, regression-new/let-test/Makefile, regression-new/list-in-bug/Makefile, regression-new/llvm-kompile-type/Makefile, regression-new/llvm-krun/Makefile, regression-new/llvm-string2base/Makefile, regression-new/locations/Makefile, regression-new/locations2/Makefile, regression-new/locations3/Makefile, regression-new/lub/Makefile, regression-new/lub2/Makefile, regression-new/macro_vars-productions/Makefile, regression-new/macro_vars/Makefile, regression-new/map-symbolic-tests-haskell/Makefile, regression-new/markdownSelectors/Makefile, regression-new/minimization-issue/Makefile, regression-new/mint-llvm/Makefile, regression-new/mutable-bytes/Makefile, regression-new/mutable-bytes/default/Makefile, regression-new/mutable-bytes/mutable/Makefile, regression-new/no-dup-rules/Makefile, regression-new/no-pattern/Makefile, regression-new/nomain/Makefile, regression-new/non-executable/Makefile, regression-new/non-executable/haskell/Makefile, regression-new/non-executable/llvm/Makefile, regression-new/non-executable/rewrite-check/Makefile, regression-new/nonexhaustive/Makefile, regression-new/or-haskell/Makefile, regression-new/or-llvm/Makefile, regression-new/overload/Makefile, regression-new/owise-haskell/Makefile, regression-new/parse-c/Makefile, regression-new/parseNonPgm/Makefile, regression-new/pattern-macro-productions/Makefile, regression-new/pattern-macro/Makefile, regression-new/pedanticAttributes/Makefile, regression-new/pl-tutorial/1_k/1_lambda/Makefile, regression-new/pl-tutorial/1_k/1_lambda/lesson_8/Makefile, regression-new/pl-tutorial/1_k/2_imp/Makefile, regression-new/pl-tutorial/1_k/2_imp/lesson_4/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/lesson_5/Makefile, regression-new/pl-tutorial/1_k/4_imp++/Makefile, regression-new/pl-tutorial/1_k/4_imp++/lesson_7/Makefile, regression-new/pl-tutorial/1_k/5_types/Makefile, regression-new/pl-tutorial/1_k/5_types/lesson_6/Makefile, regression-new/pl-tutorial/1_k/Makefile, regression-new/pl-tutorial/2_languages/1_simple/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/1_static/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/2_dynamic/Makefile, regression-new/pl-tutorial/2_languages/1_simple/Makefile, regression-new/pl-tutorial/2_languages/2_kool/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/1_dynamic/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/2_static/Makefile, regression-new/pl-tutorial/2_languages/2_kool/Makefile, regression-new/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/Makefile, regression-new/pl-tutorial/2_languages/3_fun/Makefile, regression-new/pl-tutorial/2_languages/Makefile, regression-new/pl-tutorial/Makefile, regression-new/poly-kitem/Makefile, regression-new/poly-sort/Makefile, regression-new/poly-unparsing/Makefile, regression-new/prelude-warnings/Makefile, regression-new/profile/Makefile, regression-new/proof-instrumentation/Makefile, regression-new/proof-tests/Makefile, regression-new/proof-tests/deposit/Makefile, regression-new/proof-tests/deposit/spec/Makefile, regression-new/proof-tests/deposit/test/Makefile, regression-new/quadratic-poly-unparsing/Makefile, regression-new/rand/Makefile, regression-new/rangemap-tests-llvm/Makefile, regression-new/rat/Makefile, regression-new/rat/defined/Makefile, regression-new/rat/defined/haskell/Makefile, regression-new/rat/defined/llvm/Makefile, regression-new/rat/undefined/Makefile, regression-new/rat/undefined/haskell/Makefile, regression-new/record-llvm/Makefile, regression-new/search-bound/Makefile, regression-new/seqstrict-predicate/Makefile, regression-new/set-symbolic-tests/Makefile, regression-new/set_unification/Makefile, regression-new/simp-haskell/Makefile, regression-new/spec-rule-application/Makefile, regression-new/star-multiplicity/Makefile, regression-new/string_escape/Makefile, regression-new/stringbuffer-llvm/Makefile, regression-new/synonym/Makefile, regression-new/trace/Makefile, regression-new/unification-lemmas/Makefile, regression-new/unification-lemmas2/Makefile, regression-new/union/Makefile, regression-new/unparseKORE/Makefile, regression-new/useless/Makefile, regression-new/werrorCategory/Makefile, regression-new/withConfig-llvm/Makefile, regression-new/withConfig/Makefile, regression-new/withConfig2/Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile, regression-new/Makefile, regression-new/amb-rew/Makefile, regression-new/append/Makefile, regression-new/array-haskell/Makefile, regression-new/bad-bytes-literal/Makefile, regression-new/bad-flags/Makefile, regression-new/bison-glr-bug/Makefile, regression-new/bison-parser-library/Makefile, regression-new/bit-range-llvm/Makefile, regression-new/boundary-cells-opt/Makefile, regression-new/boundary-cells-opt/bc-none/Makefile, regression-new/bracket-priority/Makefile, regression-new/bytes-coverage/Makefile, regression-new/bytes-haskell/Makefile, regression-new/bytes-literal/Makefile, regression-new/bytes-llvm/Makefile, regression-new/bytes-memset/Makefile, regression-new/cast-kitem/Makefile, regression-new/cast/Makefile, regression-new/cell-bag-sort-llvm/Makefile, regression-new/cell-sort-haskell/Makefile, regression-new/cell_map/Makefile, regression-new/checkClaimError/Makefile, regression-new/checkWarns/Makefile, regression-new/checks/Makefile, regression-new/concrete-function-cache/Makefile, regression-new/concrete-function/Makefile, regression-new/concrete-haskell/Makefile, regression-new/configuration-composition/Makefile, regression-new/configuration-formatting/Makefile, regression-new/constant-folding/Makefile, regression-new/context-alias-2/Makefile, regression-new/context-alias-3/Makefile, regression-new/context-alias/Makefile, regression-new/context-cell/Makefile, regression-new/context-labels/Makefile, regression-new/coverage/Makefile, regression-new/domains-lemmas-no-smt/Makefile, regression-new/domains-lemmas-smt/Makefile, regression-new/doubleinj/Makefile, regression-new/equals-formatting/Makefile, regression-new/equals-pattern/Makefile, regression-new/excludedModuleAtts/Makefile, regression-new/excludedModuleAtts/haskell/Makefile, regression-new/excludedModuleAtts/llvm/Makefile, regression-new/exit-code-no-gen-top/Makefile, regression-new/f32-mul/Makefile, regression-new/fatalWarnings/Makefile, regression-new/ffi-llvm/Makefile, regression-new/float-id/Makefile, regression-new/fresh1/Makefile, regression-new/fresh2/Makefile, regression-new/fresh3/Makefile, regression-new/fun-llvm/Makefile, regression-new/glr/Makefile, regression-new/glr2/Makefile, regression-new/glr3/Makefile, regression-new/glr4/Makefile, regression-new/group/Makefile, regression-new/help/Makefile, regression-new/imp++-llvm/Makefile, regression-new/imp-haskell/Makefile, regression-new/imp-json/Makefile, regression-new/imp-kore/Makefile, regression-new/imp-llvm/Makefile, regression-new/int-llvm/Makefile, regression-new/io-llvm/Makefile, regression-new/issue-1088/Makefile, regression-new/issue-1090/Makefile, regression-new/issue-1098/Makefile, regression-new/issue-1145/Makefile, regression-new/issue-1169/Makefile, regression-new/issue-1175/Makefile, regression-new/issue-1184/Makefile, regression-new/issue-1186/Makefile, regression-new/issue-1193/Makefile, regression-new/issue-1263/Makefile, regression-new/issue-1273/Makefile, regression-new/issue-1372/Makefile, regression-new/issue-1384/Makefile, regression-new/issue-1388/Makefile, regression-new/issue-1436/Makefile, regression-new/issue-1472-unboundVars/Makefile, regression-new/issue-1489-claimLoc/Makefile, regression-new/issue-1528/Makefile, regression-new/issue-1545-func-in-simplification/Makefile, regression-new/issue-1572/Makefile, regression-new/issue-1573/Makefile, regression-new/issue-1602/Makefile, regression-new/issue-1633/Makefile, regression-new/issue-1676-koreBytes/Makefile, regression-new/issue-1682-korePrettyPrint/Makefile, regression-new/issue-1683-cfgVarsWarns/Makefile, regression-new/issue-1760/Makefile, regression-new/issue-1789-rhsOr/Makefile, regression-new/issue-1789-rhsOr/haskell/Makefile, regression-new/issue-1789-rhsOr/llvm/Makefile, regression-new/issue-1844-noPGM/Makefile, regression-new/issue-1844-noPGM/haskell/Makefile, regression-new/issue-1844-noPGM/llvm/Makefile, regression-new/issue-1879-kproveTrans/Makefile, regression-new/issue-1879-kproveTrans/haskell/Makefile, regression-new/issue-1952/Makefile, regression-new/issue-2075-2/Makefile, regression-new/issue-2075/Makefile, regression-new/issue-2114/Makefile, regression-new/issue-2142-markConcrete/Makefile, regression-new/issue-2146-duplicateModules/Makefile, regression-new/issue-2174-kprovexParseError/Makefile, regression-new/issue-2273/Makefile, regression-new/issue-2287-simpl-rules-in-kprovex/Makefile, regression-new/issue-2315-id-quotes/Makefile, regression-new/issue-2321-kprovexCrash/Makefile, regression-new/issue-2356-koreDecode/Makefile, regression-new/issue-2812-kprove-filter-claims/Makefile, regression-new/issue-2812-kprove-filter-claims/claims/Makefile, regression-new/issue-2812-kprove-filter-claims/exclude/Makefile, regression-new/issue-2812-kprove-filter-claims/trusted/Makefile, regression-new/issue-2909-allow-anywhere-haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/check/Makefile, regression-new/issue-2909-allow-anywhere-haskell/haskell/Makefile, regression-new/issue-2909-allow-anywhere-haskell/llvm/Makefile, regression-new/issue-3035-antileft/Makefile, regression-new/issue-3035-antileft/haskell/Makefile, regression-new/issue-3035-antileft/llvm/Makefile, regression-new/issue-313/Makefile, regression-new/issue-3385/Makefile, regression-new/issue-3446/Makefile, regression-new/issue-3450-kprove-fresh/Makefile, regression-new/issue-3520-freshConfig/Makefile, regression-new/issue-3604-counterCell/Makefile, regression-new/issue-3647-debugTokens/Makefile, regression-new/issue-3672-debugParse/Makefile, regression-new/issue-3996-unary-symbol-list/Makefile, regression-new/issue-425/Makefile, regression-new/issue-582/Makefile, regression-new/issue-946/Makefile, regression-new/issue-999/Makefile, regression-new/ite-bug/Makefile, regression-new/itp/Makefile, regression-new/itp/nat-assoc/Makefile, regression-new/itp/nth-ancestor/Makefile, regression-new/json-input/Makefile, regression-new/kast-bison-bytes/Makefile, regression-new/kast-bison/Makefile, regression-new/kast-default-output/Makefile, regression-new/kast-input/Makefile, regression-new/kast-kore-input/Makefile, regression-new/kast-rule/Makefile, regression-new/kdep-options/Makefile, regression-new/kdep-options/remake-depend/Makefile, regression-new/kdep-options/simple/Makefile, regression-new/kompiled-directory/Makefile, regression-new/kompiled-directory/default/Makefile, regression-new/kompiled-directory/nested/Makefile, regression-new/kore-brackets/Makefile, regression-new/kore-issue-2253/Makefile, regression-new/kprove-append/Makefile, regression-new/kprove-branchingAllowed/Makefile, regression-new/kprove-error-status/Makefile, regression-new/kprove-haskell/Makefile, regression-new/kprove-java/Makefile, regression-new/kprove-macro-exp-productions/Makefile, regression-new/kprove-macro-exp/Makefile, regression-new/kprove-markdown/Makefile, regression-new/kprove-smt-lemma/Makefile, regression-new/kprove-smt-lemma/haskell/Makefile, regression-new/kprove-var-equals/Makefile, regression-new/krun-deserialize/Makefile, regression-new/let-priority/Makefile, regression-new/let-test/Makefile, regression-new/list-in-bug/Makefile, regression-new/llvm-kompile-type/Makefile, regression-new/llvm-krun/Makefile, regression-new/llvm-string2base/Makefile, regression-new/locations/Makefile, regression-new/locations2/Makefile, regression-new/locations3/Makefile, regression-new/lub/Makefile, regression-new/lub2/Makefile, regression-new/macro_vars-productions/Makefile, regression-new/macro_vars/Makefile, regression-new/map-symbolic-tests-haskell/Makefile, regression-new/markdownSelectors/Makefile, regression-new/minimization-issue/Makefile, regression-new/mint-llvm/Makefile, regression-new/mutable-bytes/Makefile, regression-new/mutable-bytes/default/Makefile, regression-new/mutable-bytes/mutable/Makefile, regression-new/no-dup-rules/Makefile, regression-new/no-pattern/Makefile, regression-new/nomain/Makefile, regression-new/non-executable/Makefile, regression-new/non-executable/haskell/Makefile, regression-new/non-executable/llvm/Makefile, regression-new/non-executable/rewrite-check/Makefile, regression-new/nonexhaustive/Makefile, regression-new/or-haskell/Makefile, regression-new/or-llvm/Makefile, regression-new/overload/Makefile, regression-new/owise-haskell/Makefile, regression-new/parse-c/Makefile, regression-new/parseNonPgm/Makefile, regression-new/pattern-macro-productions/Makefile, regression-new/pattern-macro/Makefile, regression-new/pedanticAttributes/Makefile, regression-new/pl-tutorial/1_k/1_lambda/Makefile, regression-new/pl-tutorial/1_k/1_lambda/lesson_8/Makefile, regression-new/pl-tutorial/1_k/2_imp/Makefile, regression-new/pl-tutorial/1_k/2_imp/lesson_4/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/Makefile, regression-new/pl-tutorial/1_k/3_lambda++/lesson_5/Makefile, regression-new/pl-tutorial/1_k/4_imp++/Makefile, regression-new/pl-tutorial/1_k/4_imp++/lesson_7/Makefile, regression-new/pl-tutorial/1_k/5_types/Makefile, regression-new/pl-tutorial/1_k/5_types/lesson_6/Makefile, regression-new/pl-tutorial/1_k/Makefile, regression-new/pl-tutorial/2_languages/1_simple/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/1_static/Makefile, regression-new/pl-tutorial/2_languages/1_simple/2_typed/2_dynamic/Makefile, regression-new/pl-tutorial/2_languages/1_simple/Makefile, regression-new/pl-tutorial/2_languages/2_kool/1_untyped/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/1_dynamic/Makefile, regression-new/pl-tutorial/2_languages/2_kool/2_typed/2_static/Makefile, regression-new/pl-tutorial/2_languages/2_kool/Makefile, regression-new/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/Makefile, regression-new/pl-tutorial/2_languages/3_fun/Makefile, regression-new/pl-tutorial/2_languages/Makefile, regression-new/pl-tutorial/Makefile, regression-new/poly-kitem/Makefile, regression-new/poly-sort/Makefile, regression-new/poly-unparsing/Makefile, regression-new/prelude-warnings/Makefile, regression-new/profile/Makefile, regression-new/proof-instrumentation/Makefile, regression-new/proof-tests/Makefile, regression-new/proof-tests/deposit/Makefile, regression-new/proof-tests/deposit/spec/Makefile, regression-new/proof-tests/deposit/test/Makefile, regression-new/quadratic-poly-unparsing/Makefile, regression-new/rand/Makefile, regression-new/rangemap-tests-llvm/Makefile, regression-new/rat/Makefile, regression-new/rat/defined/Makefile, regression-new/rat/defined/haskell/Makefile, regression-new/rat/defined/llvm/Makefile, regression-new/rat/undefined/Makefile, regression-new/rat/undefined/haskell/Makefile, regression-new/record-llvm/Makefile, regression-new/search-bound/Makefile, regression-new/seqstrict-predicate/Makefile, regression-new/set-symbolic-tests/Makefile, regression-new/set_unification/Makefile, regression-new/simp-haskell/Makefile, regression-new/spec-rule-application/Makefile, regression-new/star-multiplicity/Makefile, regression-new/string_escape/Makefile, regression-new/stringbuffer-llvm/Makefile, regression-new/synonym/Makefile, regression-new/trace/Makefile, regression-new/unification-lemmas/Makefile, regression-new/unification-lemmas2/Makefile, regression-new/union/Makefile, regression-new/unparseKORE/Makefile, regression-new/useless/Makefile, regression-new/werrorCategory/Makefile, regression-new/withConfig-llvm/Makefile, regression-new/withConfig/Makefile, regression-new/withConfig2/Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": ".flake8",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".flake8"
}
}
],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "src/pyk/py.typed",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "src/pyk/py.typed"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "Dockerfile, Nix, lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Dockerfile, Nix, lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 2",
"points": 2,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "good",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 82,
"inputs": {
"primary_language": "Python",
"largest_source_bytes": 65951,
"source_files_sampled": 208,
"oversized_source_files": 2
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Python with type-check config (src/pyk/py.typed)",
"points": 27,
"status": "partial",
"details": [
{
"code": "typecheck_config_language",
"params": {
"files": "src/pyk/py.typed",
"language": "Python"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "2/208 source files over 60KB",
"points": 54.5,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 208,
"oversized": 2
}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"pypi package 'pyk' points at a different repository (https://github.com/kubernauts/pyk); excluded from ecosystem scoring"
],
"report_type": "repository",
"generated_at": "2026-07-18T15:41:40.054276Z",
"schema_version": "0.13.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/r/runtimeverification/pyk.svg",
"full_name": "runtimeverification/pyk",
"license_state": "standard",
"license_spdx": "BSD-3-Clause"
}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 v1.13.0, esquema v0.13.0 — metodología completa · wiki de métricas.
Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas — PyPI.