公开记录危急
软件健康报告模式 0.13.0 · 指标 2.10.0 · 2026-07-18 15:41 UTC
runtimeverification / pyk
Python tools for the K Framework
runtimeverification/pyk 的健康指数为 100 分中的 18 分，处于「危急」区间。 其得分最高的类别是Sustainability & Governance（82/100），最低的是Vitality（20/100）。 该仓库已归档，预计不会再有维护。
18
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。
18
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 47 经校准后在公布的指数量表上为 45（记录校准 2026-08-02）。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 | 标签 |
|---|---|---|---|---|---|---|
| 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 | 是 |
| readme_badges | — |
| has_contributing | 否 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| readme_badge_services | — |
| has_pull_request_template | 否 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
82
维护者韧性（巴士系数）
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卓越
评分方式
| 42/42 | 议题解决 — 100% 的议题已关闭 |
| 27.7/30 | PR 接受 — 已裁定的 PR 中 786/851 已合并 |
| 0/13 | Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决 |
| 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 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 65 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。
所有权与托管责任
91优秀
评分方式
| 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 | — |
| docs_site | — |
| 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 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。
57
AI 代理上下文与指引
1危急
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 0/40 | 可读的提交历史 — 无数据 |
所用输入
| has_llms_txt | 否 |
| llms_txt_url | — |
| 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 报告 机器可读
反馈
发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。