Öffentliches RegisterKritisch
Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-09-10 23:59 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 (83/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 standardisierten Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr gewichtetes Mittel, kalibriert auf die Verteilung des öffentlichen Registers, sodass die Stufen Perzentilbedeutung tragen; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze Gefährdet von 34.
18
Außergewöhnlich93-100Die Spitzengruppe des Registers (≈ obere 5 %); erfüllt im Wesentlichen alle geprüften Kriterien
Exzellent80-92Durchgehend stark; geringfügige Lücken
Gut65-79Gesund; Lücken sind begrenzt und beherrschbar
Mittel50-64Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Schwach35-49Wesentliche Schwächen in mehreren Bereichen
Gefährdet20-34Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-19Schwerwiegende 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.
Der gewichtete Gesamtwert 47 wird auf der veröffentlichten Indexskala auf 45 kalibriert (Register-Kalibrierung 2026-08-02).
Eigentümerschaft
Runtime Verification Inc.Organisation · verifizierte Domain
282 Follower233 ö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 3916 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 868 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 | 1 |
| days_since_last_push | 868 |
| active_weeks_last_year | 0 |
Release-Disziplin
48Schwach
Wie die Bewertung erfolgt
| 16.2/27 | Liefert Releases aus — 100 Versions-Tags (keine GitHub-Releases) |
| 0/36 | Release-Aktualität — letztes Release vor 884 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 | 884 |
| 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
22Gefährdet
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 |
| readme_badges | 0 |
| has_contributing | nein |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| readme_badge_services | — |
| has_pull_request_template | nein |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
83
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
96Außergewöhnlich
Wie die Bewertung erfolgt
| 42/42 | Issue-Lösungsquote — 100 % der Issues geschlossen |
| 27.7/30 | PR-Annahme — 786/851 entschiedene PRs gemergt |
| 0/13 | Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden |
| 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 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 0 |
| prs_decided_30d | 0 |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 65 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Newcomer PR acceptance. Die verbleibenden Gewichte wurden renormalisiert.
Eigentümerschaft & Trägerschaft
93Außergewöhnlich
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 20/20 | Verifizierte Domain |
| 17.6/25 | Reichweite des Inhabers — 282 Follower von runtimeverification |
| 25/25 | Kontohistorie — 233 öffentliche Repos, Kontoalter ca. 13 Jahre |
Verwendete Eingangsdaten
| followers | 282 |
| owner_type | Organization |
| is_verified | ja |
| owner_login | runtimeverification |
| public_repos | 233 |
| account_age_days | 4.941 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
54
Engineering-Praktiken
40Schwach
Wie die Bewertung erfolgt
| 0/24 | CI-Workflows |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration — .flake8, pyproject.toml ([tool.black], [tool.isort]) |
| 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 | — |
| docs_site | — |
| 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? Trägt ein bewusst kleines Gewicht (4 %): Agenten-Tooling ist ein echtes Pflegesignal, doch ein Repository ohne jedes Signal kann weiterhin 100/100 erreichen.
63
AI-Agentenkontext & Leitlinien
40Schwach
Wie die Bewertung erfolgt
| 0/45 | Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln |
| 0/15 | Maschinenlesbare Doku (llms.txt) |
| 40/40 | Lesbare Commit-Historie — 99 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| llms_txt_url | — |
| legible_history_share | 0,99 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
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, pyproject.toml ([tool.black], [tool.isort]) |
| 11/11 | Statische Typprüfung — src/pyk/py.typed |
| 10/10 | Reproduzierbare Umgebung — Dockerfile, Nix, lockfile |
| 0/10 | Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100 |
| 0/8 | Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet |
| 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 | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
AI-Code-Lesbarkeit für Modelle
82Exzellent
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
868Tage seit letztem Push
100Releases
2Bus-Faktor
0offene Issues
PyPIPaket-Ökosysteme
Warnungen zur Datenerhebung
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- pypi package 'pyk' points at a different repository (https://github.com/kubernauts/pyk); excluded from ecosystem scoring
Weitere Details
Stern- und Fork-Verlauf 0 ★ / 2 ⇿
0Sterne
2Forks
Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.
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 |
|---|
Abhängigkeits-Advisories nicht bewertet
Der Advisory-Abgleich konnte für diesen Bericht nicht ausgeführt werden: No resolved dependencies to assess
JSON-Rohbericht maschinenlesbar
Feedback
Stimmt etwas in diesem Bericht nicht, oder gibt es Gedanken dazu? Falsche Messungen, übersehene Tools, Ideen, Fragen — alles ist willkommen. Jede Nachricht wird gelesen und beantwortet.
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 v2.10.0, Schema v0.34.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — PyPI.