Öffentliches RegisterKritisch
Software-GesundheitsberichtSchema 0.13.0 · Metriken 1.13.0 · 2026-07-18 15:41 UTC
runtimeverification / pyk
Python tools for the K Framework
runtimeverification/pyk erreicht einen Gesundheitsindex von 18 von 100 und liegt damit im Bereich Kritisch. Am stärksten schneidet es bei Sustainability & Governance (76/100) ab, am schwächsten bei Vitality (20/100). Das Repository ist archiviert, weitere Wartung ist daher nicht zu erwarten.
18
gesamt / 100Software-Gesundheitsindex
Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
18
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
Eigentümerschaft
Runtime Verification Inc.Organisation
275 Follower226 öffentliche Reposseit März 2013
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Paket-Ökosysteme
| Registry | Paket | Version | Downloads / Monat | Versionen | Zuletzt veröffentlicht | Tags |
|---|---|---|---|---|---|---|
| PyPI | pykverweist auf ein anderes Repo — nicht bewertet | 0.3.2 | - | 7 | vor 3862 Tagen | kubernetescontainersappops |
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
20
Entwicklungsaktivität
1Kritisch
Hinweis auf Verwaisung
Arbeit ist eingegangen, und niemand hat sich darum gekümmert
von der Betreuung auf GitHub archiviertGesamtbewertung: Obergrenze Kritisch
Stille allein ist nie der Befund — eine kleine, fertige Bibliothek braucht womöglich jahrelang keinen Commit. Dieser Hinweis verlangt beides: lange keinen menschlichen Commit und Pflichten, denen das Projekt sichtbar nicht nachkommt. Automatisierte Commits gelten nicht als Pflege.
Wie Verwaisung bewertet wirdWie die Bewertung erfolgt
| 0/36 | Push-Aktualität — letzter Push vor 814 Tagen |
| 0/36 | Commit-Rhythmus — 0/52 Wochen mit Commits |
| 0/18 | Commit-Volumen — 0 Commits im letzten Jahr |
| 0/10 | OpenSSF Scorecard: Maintained — project is archived |
Verwendete Eingangsdaten
| commits_last_year | 0 |
| human_commit_share | — |
| days_since_last_push | 814 |
| active_weeks_last_year | 0 |
Release-Disziplin
48Gefährdet
Wie die Bewertung erfolgt
| 16.2/27 | Liefert Releases aus — 100 Versions-Tags (keine GitHub-Releases) |
| 0/36 | Release-Aktualität — letztes Release vor 830 Tagen |
| 27/27 | Release-Rhythmus — ein Release etwa alle 0,5 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — keine Daten |
Verwendete Eingangsdaten
| releases_count | 100 |
| latest_release_tag | v0.1.779 |
| releases_from_tags | ja |
| days_since_latest_release | 830 |
| mean_days_between_releases | 0,5 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
35
Popularität & Verbreitung
22Kritisch
Wie die Bewertung erfolgt
| 17.5/60 | Stars — 13 Stars |
| 0/25 | Forks — 2 Forks |
| 4.7/15 | Watcher — 8 Watcher |
Verwendete Eingangsdaten
| forks | 2 |
| stars | 13 |
| watchers | 8 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
50Mittel
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 22.5/22.5 | Lizenz — anerkannte Lizenz (BSD-3-Clause) |
| 0/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 0/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | ja |
| has_contributing | nein |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| has_pull_request_template | nein |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
76
Wie die Bewertung erfolgt
| 25.2/54 | Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab |
| 14.7/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 34 % der Commits |
| 13.5/13.5 | Breite der Beitragenden — 24 Beitragende |
| 10/10 | OpenSSF Scorecard: Contributors — project has 10 contributing companies or organizations |
Verwendete Eingangsdaten
| bus_factor | 2 |
| contributors_sampled | 24 |
| top_contributor_share | 0,345 |
Reaktionsfähigkeit bei Issues & PRs
96Exzellent
Wie die Bewertung erfolgt
| 46.8/46.8 | Issue-Lösungsquote — 100 % der Issues geschlossen |
| 35.3/38.3 | PR-Annahme — 786/851 entschiedene PRs gemergt |
| 13.5/15 | OpenSSF Scorecard: Code-Review — Found 29/30 approved changesets -- score normalized to 9 |
Verwendete Eingangsdaten
| merged_prs | 786 |
| open_issues | 0 |
| closed_issues | 151 |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 65 |
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 0/20 | Verifizierte Domain |
| 17.5/25 | Reichweite des Inhabers — 275 Follower von runtimeverification |
| 25/25 | Kontohistorie — 226 öffentliche Repos, Kontoalter ca. 13 Jahre |
Verwendete Eingangsdaten
| followers | 275 |
| owner_type | Organization |
| is_verified | — |
| owner_login | runtimeverification |
| public_repos | 226 |
| account_age_days | 4.887 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
54
Engineering-Praktiken
40Gefährdet
Wie die Bewertung erfolgt
| 0/24 | CI-Workflows |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration — .flake8 |
| 0/9.6 | Pre-Commit-Hooks |
| 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 |
Verwendete Eingangsdaten
| has_ci | nein |
| has_tests | ja |
| has_editorconfig | nein |
| has_linter_config | ja |
| has_precommit_config | nein |
Dokumentation
75Gut
Wie die Bewertung erfolgt
| 30/30 | README |
| 25/25 | Dokumentationsverzeichnis |
| 0/15 | Dokumentations-/Homepage-Site |
| 10/10 | Repository-Beschreibung |
| 0/10 | Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | — |
| has_wiki | ja |
| homepage | — |
| has_readme | ja |
| has_docs_dir | ja |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
32
Sicherheitslage
32Gefährdet
Wie die Bewertung erfolgt
| 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 — keine Daten |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Lizenz — license file detected |
| 0/7.5 | Maintained — project is archived |
| 0/5 | Packaging — keine Daten |
| 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 — keine Daten |
| 0/7.5 | Token-Permissions — keine Daten |
| 0/7.5 | Vulnerabilities — 28 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 14 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 4 |
| scorecard_aggregate | 3,2 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): dangerous_workflow, packaging, signed_releases, token_permissions. Die verbleibenden Gewichte wurden renormalisiert.
AI Readiness
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
57
AI-Agentenkontext & Leitlinien
1Kritisch
Wie die Bewertung erfolgt
| 0/45 | Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln |
| 0/15 | Maschinenlesbare Doku (llms.txt) |
| 0/40 | Lesbare Commit-Historie — keine Daten |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Lesbare Commit-Historie. Die verbleibenden Gewichte wurden renormalisiert.
AI-Verify-Loop (Build / Test / Typprüfung)
90Exzellent
Wie die Bewertung erfolgt
| 18/18 | Bootstrap mit einem Befehl — 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 | Automatisierte Tests |
| 11/11 | Lint-/Format-Konfiguration — .flake8 |
| 11/11 | Statische Typprüfung — src/pyk/py.typed |
| 10/10 | Reproduzierbare Umgebung — Dockerfile, Nix, lockfile |
| 0/10 | Belegte Agentenpraxis — keine Daten |
| 0/8 | Automatisierte Wartung — keine Daten |
| 2/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 2 |
Verwendete Eingangsdaten
| has_nix | ja |
| has_tests | ja |
| lockfiles | poetry.lock |
| has_dockerfile | ja |
| typed_language | nein |
| 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 | nein |
| has_linter_config | ja |
| typecheck_configs | src/pyk/py.typed |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | — |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Belegte Agentenpraxis, Automatisierte Wartung. Die verbleibenden Gewichte wurden renormalisiert.
Wie die Bewertung erfolgt
| 27/45 | Typprüfbarer Code — Python mit Typprüfungs-Konfiguration (src/pyk/py.typed) |
| 54.5/55 | Handhabbare Dateigrößen — 2/208 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | Python |
| largest_source_bytes | 65.951 |
| source_files_sampled | 208 |
| oversized_source_files | 2 |
Eckdaten
13GitHub-Sterne
24Mitwirkende
0Commits, letzte 12 Monate
814Tage seit letztem Push
100Releases
2Bus-Faktor
0offene Issues
PyPIPaket-Ökosysteme
Warnungen zur Datenerhebung
- pypi package 'pyk' points at a different repository (https://github.com/kubernauts/pyk); excluded from ecosystem scoring
Weitere Details
OpenSSF Scorecard 3.2 / 10
3.2Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).
| 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 |
| k. A. | 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 |
| k. A. | 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 |
| k. A. | Signed-Releases | no releases found |
| k. A. | Token-Permissions | No tokens found |
| 0 | Vulnerabilities | 28 existing vulnerabilities detected |
Direkte Abhängigkeiten 9
| Registry | Paket | Versionsvorgabe | Manifest |
|---|---|---|---|
| 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 |
Alle Abhängigkeiten 0
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 0 direkte und 0 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
| Registry | Paket | Version | Beziehung |
|---|
JSON-Rohbericht maschinenlesbar
{
"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"
}Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.13.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — PyPI.