公开记录危急
软件健康报告模式 0.13.0 · 指标 1.13.0 · 2026-07-18 15:41 UTC
runtimeverification / pyk
Python tools for the K Framework
runtimeverification/pyk 的健康指数为 100 分中的 18 分，处于「危急」区间。 其得分最高的类别是Sustainability & Governance（76/100），最低的是Vitality（20/100）。 该仓库已归档，预计不会再有维护。
18
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
18
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
Abandonment Policy applies a 40% multiplier to weighted overall health and gives it a ceiling of 29.
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 | 标签 |
|---|---|---|---|---|---|---|
| PyPI | pyk指向其他仓库——不计分 | 0.3.2 | - | 7 | 3862 天前 | kubernetescontainersappops |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
20
开发活跃度
1危急
疑似弃置
有工作送达，却无人处理
已由维护者在 GitHub 上归档总体评级上限：危急
仅有沉默从不构成判定——一个小而完备的库可能多年无需提交。此提示需同时满足两点：长期没有人类提交，且项目明显未履行应尽的义务。自动化提交不计作维护。
弃置状态如何评估评分方式
| 0/36 | 推送新近度 — 最近一次推送于 814 天前 |
| 0/36 | 提交节奏 — 52 周中有 0 周有提交 |
| 0/18 | 提交量 — 最近一年 0 次提交 |
| 0/10 | OpenSSF Scorecard：Maintained — project is archived |
所用输入
| commits_last_year | 0 |
| human_commit_share | — |
| days_since_last_push | 814 |
| active_weeks_last_year | 0 |
发布纪律
48存在风险
评分方式
| 16.2/27 | 有发布版本 — 100 个版本标签（无 GitHub 发布版本） |
| 0/36 | 发布时效 — 最近一次发布版本于 830 天前 |
| 27/27 | 发布节奏 — 约每 0.5 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 100 |
| latest_release_tag | v0.1.779 |
| releases_from_tags | 是 |
| days_since_latest_release | 830 |
| mean_days_between_releases | 0.5 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
35
流行度与采用
22危急
评分方式
| 17.5/60 | 星标 — 13 个星标 |
| 0/25 | 复刻 — 2 个复刻 |
| 4.7/15 | 关注者 — 8 位关注者 |
所用输入
| forks | 2 |
| stars | 13 |
| watchers | 8 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
50中等
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（BSD-3-Clause） |
| 0/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| has_contributing | 否 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| has_pull_request_template | 否 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
76
维护者韧性（巴士系数）
63中等
评分方式
| 25.2/54 | 巴士系数 — 2 位贡献者贡献了半数提交 |
| 14.7/22.5 | 提交分布 — 头号贡献者编写了 34% 的提交 |
| 13.5/13.5 | 贡献者广度 — 24 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 10 contributing companies or organizations |
所用输入
| bus_factor | 2 |
| contributors_sampled | 24 |
| top_contributor_share | 0.345 |
议题与 PR 响应能力
96优秀
评分方式
| 46.8/46.8 | 议题解决 — 100% 的议题已关闭 |
| 35.3/38.3 | PR 接受 — 已裁定的 PR 中 786/851 已合并 |
| 13.5/15 | OpenSSF Scorecard：Code-Review — Found 29/30 approved changesets -- score normalized to 9 |
所用输入
| merged_prs | 786 |
| open_issues | 0 |
| closed_issues | 151 |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 65 |
所有权与托管责任
72良好
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 17.5/25 | 所有者影响力 — runtimeverification 有 275 位关注者 |
| 25/25 | 既往记录 — 226 个公开仓库，账户约 13 年 |
所用输入
| followers | 275 |
| owner_type | Organization |
| is_verified | — |
| owner_login | runtimeverification |
| public_repos | 226 |
| account_age_days | 4,887 |
工程质量
基础的工程与文档实践是否到位？
54
工程实践
40存在风险
评分方式
| 0/24 | CI 工作流 |
| 24/24 | 存在测试 |
| 16/16 | Linter 配置 — .flake8 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard：CI-Tests — 0 out of 29 merged PRs checked by a CI test -- score normalized to 0 |
所用输入
| has_ci | 否 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 是 |
| has_precommit_config | 否 |
文档
75良好
评分方式
| 30/30 | README |
| 25/25 | 文档目录 |
| 0/15 | 文档 / 主页站点 |
| 10/10 | 仓库描述 |
| 0/10 | 主题标签 |
| 10/10 | Wiki |
所用输入
| topics | — |
| has_wiki | 是 |
| homepage | — |
| has_readme | 是 |
| has_docs_dir | 是 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
32
安全态势
32存在风险
评分方式
| 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 — 无数据 |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 0/7.5 | Maintained — project is archived |
| 0/5 | Packaging — 无数据 |
| 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 — 无数据 |
| 0/7.5 | Token-Permissions — 无数据 |
| 0/7.5 | Vulnerabilities — 28 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 14 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 4 |
| scorecard_aggregate | 3.2 |
已排除计分（无数据或不适用）：dangerous_workflow, packaging, signed_releases, token_permissions。 其余权重已重新归一化。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
57
AI 代理上下文与指引
1危急
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 0/40 | 可读的提交历史 — 无数据 |
所用输入
| has_llms_txt | 否 |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
已排除计分（无数据或不适用）：可读的提交历史。 其余权重已重新归一化。
评分方式
| 18/18 | 一条命令的引导启动 — 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 | 自动化测试 |
| 11/11 | Lint / 格式化配置 — .flake8 |
| 11/11 | 静态类型检查 — src/pyk/py.typed |
| 10/10 | 可复现环境 — Dockerfile, Nix, lockfile |
| 0/10 | 已体现的代理实践 — 无数据 |
| 0/8 | 自动化维护 — 无数据 |
| 2/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 2 |
所用输入
| has_nix | 是 |
| has_tests | 是 |
| lockfiles | poetry.lock |
| has_dockerfile | 是 |
| typed_language | 否 |
| 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 | 否 |
| has_linter_config | 是 |
| typecheck_configs | src/pyk/py.typed |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | — |
已排除计分（无数据或不适用）：已体现的代理实践, 自动化维护。 其余权重已重新归一化。
面向模型的代码可读性
82良好
评分方式
| 27/45 | 可类型检查的代码 — Python，已配置类型检查（src/pyk/py.typed） |
| 54.5/55 | 可控的文件大小 — 采样的 208 个源文件中有 2 个超过 60KB |
所用输入
| primary_language | Python |
| largest_source_bytes | 65,951 |
| source_files_sampled | 208 |
| oversized_source_files | 2 |
关键数据
13GitHub 星标
24贡献者
0最近 12 个月提交数
814距最近推送天数
100发布版本数
2巴士系数（bus factor）
0开放议题
PyPI软件包生态系统数
数据采集警告
- pypi package 'pyk' points at a different repository (https://github.com/kubernauts/pyk); excluded from ecosystem scoring
更多细节
OpenSSF Scorecard 3.2 / 10
3.2综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 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 |
| 不适用 | 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 |
| 不适用 | 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 |
| 不适用 | Signed-Releases | no releases found |
| 不适用 | Token-Permissions | No tokens found |
| 0 | Vulnerabilities | 28 existing vulnerabilities detected |
直接依赖 9
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| 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 |
全部依赖 0
来自 GitHub 依赖图的完整解析依赖集合：0 个直接依赖与 0 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|
原始 JSON 报告 机器可读
{
"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"
}