公开记录
软件健康报告模式 0.11.0 · 指标 2.10.0 · 2026-07-17 09:34 UTC

leanprover-community / proofwidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Lean · TypeScriptApache-2.0★ 216 星标⑂ 46 复刻始于 2022年11月在 GitHub 上查看 ↗
类型库网页界面如何判定
#lean#lean4#visualization

leanprover-community/proofwidgets4 的健康指数为 100 分中的 77 分，处于「良好」区间。 其得分最高的类别是Vitality（90/100），最低的是Security（36/100）。 最近一次更新在 1 天前。 近期的大部分工作由 2 位贡献者完成。

77
总分 / 100
良好

软件健康指数

指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。

77
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
活力社区与采用可持续性与治理工程质量安全AI 就绪度

评分画像

每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。

加权总体分 66 经校准后在公布的指数量表上为 77（记录校准 2026-08-02）。

所有权

leanprover-community组织
921 关注者107 个公开仓库始于 2018年7月

该仓库由组织支持——共同承担、可问责的托管责任，可延续于任何单一维护者之后。

软件包生态系统

注册表软件包版本月下载量版本数最近发布
npm@leanprover-community/proofwidgets40.1.0131581 天前

按类别列示的指标

活力

项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？

90优秀 · 占总体的 21%

开发活跃度

83优秀
评分方式
36/36推送新近度 — 最近一次推送于 1 天前
20.1/36提交节奏 — 52 周中有 29 周有提交
16.6/18提交量 — 最近一年 70 次提交
10/10OpenSSF Scorecard：Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year70
human_commit_share—
days_since_last_push1
active_weeks_last_year29

发布纪律

100卓越
评分方式
27/27有发布版本 — 已发布 100 个发布版本
36/36发布时效 — 最近一次发布版本于 1 天前
27/27发布节奏 — 约每 9.9 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — 无数据
所用输入
releases_count100
latest_release_tagv0.0.106
releases_from_tags否
days_since_latest_release1
mean_days_between_releases9.9
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。

社区与采用

项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？

53中等 · 占总体的 17%

流行度与采用

56中等
评分方式
37.8/60星标 — 216 个星标
13.8/25复刻 — 46 个复刻
4.7/15关注者 — 8 位关注者
所用输入
forks46
stars216
watchers8
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

50中等
评分方式
22.5/22.5README
22.5/22.5许可证 — 可识别的许可证（Apache-2.0）
0/18CONTRIBUTING 指南
0/13.5行为准则
0/7.2议题模板
0/6.3PR 模板
所用输入
has_readme是
has_license是
readme_badges—
has_contributing否
has_issue_template否
has_code_of_conduct否
readme_badge_services—
has_pull_request_template否

可持续性与治理

项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？

70良好 · 占总体的 23%

维护者韧性（巴士系数）

62中等
评分方式
25.2/54巴士系数 — 2 位贡献者贡献了半数提交
13.6/22.5提交分布 — 头号贡献者编写了 40% 的提交
13.5/13.5贡献者广度 — 22 位贡献者
10/10OpenSSF Scorecard：Contributors — project has 9 contributing companies or organizations
所用输入
bus_factor2
contributors_sampled22
top_contributor_share0.396

议题与 PR 响应能力

61中等
评分方式
24.4/42议题解决 — 58% 的议题已关闭
27.5/30PR 接受 — 已裁定的 PR 中 142/155 已合并
0/13Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决
1.5/15OpenSSF Scorecard：Code-Review — Found 4/28 approved changesets -- score normalized to 1
所用输入
merged_prs142
open_issues13
closed_issues18
prs_merged_7d—
prs_decided_7d—
prs_merged_30d—
prs_decided_30d—
issue_closed_ratio0.581
closed_unmerged_prs13
first_time_authors_30d—
first_time_prs_merged_30d—
first_time_prs_decided_30d—
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。

所有权与托管责任

95卓越
评分方式
30/30所有权背书 — 组织持有
0/20已验证域名 — 未读取该组织的域名验证状态
21.3/25所有者影响力 — leanprover-community 有 921 位关注者
25/25既往记录 — 107 个公开仓库，账户约 7 年
所用输入
followers921
owner_typeOrganization
is_verified—
owner_loginleanprover-community
public_repos107
account_age_days2,913
已排除计分（无数据或不适用）：已验证域名。 其余权重已重新归一化。

软件包维护

63中等
评分方式
25/25已发布且可解析 — npm 上有 1 个软件包
14/35发布时效 — 最近一次发布于 581 天前
4/20版本历史 — 1 个已发布版本
20/20未被弃用 — 活跃，未被弃用或撤回
所用输入
packages@leanprover-community/proofwidgets4
ecosystemsnpm
any_deprecated否
min_days_since_publish581

工程质量

基础的工程与文档实践是否到位？

75良好 · 占总体的 19%

工程实践

68良好
评分方式
24/24CI 工作流 — 1 个工作流
24/24存在测试
0/16Linter 配置
0/9.6Pre-commit 钩子
0/6.4.editorconfig
20/20OpenSSF Scorecard：CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
所用输入
has_ci是
has_tests是
has_editorconfig否
has_linter_config否
has_precommit_config否

文档

85优秀
评分方式
30/30README
25/25文档目录
0/15文档 / 主页站点
10/10仓库描述
10/10主题标签 — 3 个主题标签
10/10Wiki
所用输入
topicslean, lean4, visualization
has_wiki是
homepage—
docs_site—
has_readme是
has_docs_dir是
has_description是

安全

可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？

36薄弱 · 占总体的 16%

安全态势

36薄弱
评分方式
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
2.5/2.5CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0.8/7.5Code-Review — Found 4/28 approved changesets -- score normalized to 1
2.5/2.5Contributors — project has 9 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5许可证 — license file detected
7.5/7.5Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — 无数据
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — 无数据
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 15 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate3.6
已排除计分（无数据或不适用）：Packaging, Signed-Releases。 其余权重已重新归一化。

AI 就绪度

该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。

47薄弱 · 占总体的 4%

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—
已排除计分（无数据或不适用）：可读的提交历史。 其余权重已重新归一化。

验证循环（构建 / 测试 / 类型检查）

52中等
评分方式
0/18一条命令的引导启动
22/22自动化测试
0/11Lint / 格式化配置
11/11静态类型检查 — widget/tsconfig.json
10/10可复现环境 — lockfile
0/10已体现的代理实践 — 无数据
0/8自动化维护 — 无数据
0/10OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
所用输入
has_nix否
has_tests是
lockfilespackage-lock.json
has_dockerfile否
typed_language否
bootstrap_files—
has_devcontainer否
has_linter_config否
typecheck_configswidget/tsconfig.json
agent_commit_share—
toolchain_manifests—
dependency_bot_commit_share—
已排除计分（无数据或不适用）：已体现的代理实践, 自动化维护。 其余权重已重新归一化。

面向模型的代码可读性

72良好
评分方式
27/45可类型检查的代码 — Lean，已配置类型检查（widget/tsconfig.json）
44.5/55可控的文件大小 — 采样的 47 个源文件中有 9 个超过 60KB
所用输入
primary_languageLean
largest_source_bytes2,663,470
source_files_sampled47
oversized_source_files9

机器可读接口

100卓越
评分方式
0/40API 模式（OpenAPI/GraphQL/proto） — 不适用于此类软件
0/20MCP 服务器 — 不适用于此类软件
40/40可运行示例 — demos
所用输入
example_dirsdemos
has_mcp_signal否
api_schema_files—
interfaces_expected_of—
已排除计分（无数据或不适用）：API 模式（OpenAPI/GraphQL/proto）, MCP 服务器。 其余权重已重新归一化。

关键数据

216GitHub 星标
22贡献者
70最近 12 个月提交数
1距最近推送天数
100发布版本数
2巴士系数（bus factor）
13开放议题
npm软件包生态系统数

更多细节

OpenSSF Scorecard 3.6 / 10
3.6综合

来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。Scorecard v5.5.0 · 2026-07-17 09:34 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
10CI-Tests25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
1Code-ReviewFound 4/28 approved changesets -- score normalized to 1
10Contributorsproject has 9 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
不适用Packagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
不适用Signed-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities15 existing vulnerabilities detected
直接依赖 16
注册表软件包版本约束清单文件
npm@leanprover/infoview~0.11.0widget/package.json
npm@penrose/core~3.2.0widget/package.json
npm@react-three/drei^9.64.0widget/package.json
npm@react-three/fiber^8.12.0widget/package.json
npm@svgdotjs/svg.js^3.2.0widget/package.json
npmd3^7.9.0widget/package.json
npmd3-graphviz^5.6widget/package.json
npmdeep-equal^2.2.3widget/package.json
npmmathjax-full~3.2.2widget/package.json
npmreact^18.2.0widget/package.json
npmreact-dom^18.2.0widget/package.json
npmreact-d3-tree^3.5.1widget/package.json
npmrecharts^2.5.0widget/package.json
npmuse-resize-observer^9.1.0widget/package.json
npmvscode-languageserver-protocol^3.17.2widget/package.json
npmreact-fast-compare^3.2.2widget/package.json
全部依赖 386

来自 GitHub 依赖图的完整解析依赖集合：17 个直接依赖与 369 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。

注册表软件包版本关系
npm@leanprover/infoview0.11.0直接
npm@penrose/core3.2.0直接
npm@react-three/drei9.122.0直接
npm@react-three/fiber8.18.0直接
npm@svgdotjs/svg.js3.2.5直接
npmd37.9.0直接
npmd3-graphviz5.6.0直接
npmdeep-equal2.2.3直接
npmmathjax-full3.2.2直接
npmreact18.0.0直接
npmreact18.3.1直接
npmreact-d3-tree3.6.6直接
npmreact-dom18.3.1直接
npmreact-fast-compare3.2.2直接
npmrecharts2.15.4直接
npmuse-resize-observer9.1.0直接
npmvscode-languageserver-protocol3.17.5直接
npm@babel/runtime7.28.6间接
npm@bkrem/react-transition-group1.3.5间接
npm@datastructures-js/queue4.3.0间接
npm@dimforge/rapier3d-compat0.12.0间接
npm@hpcc-js/wasm2.34.2间接
npm@isaacs/cliui9.0.0间接
npm@jridgewell/gen-mapping0.3.13间接
npm@jridgewell/resolve-uri3.1.2间接
npm@jridgewell/source-map0.3.11间接
npm@jridgewell/sourcemap-codec1.5.5间接
npm@jridgewell/trace-mapping0.3.31间接
npm@juggle/resize-observer3.4.0间接
npm@leanprover/infoview-api0.11.0间接
npm@lit-labs/ssr-dom-shim1.5.1间接
npm@lit/react1.0.8间接
npm@lit/reactive-element2.1.2间接
npm@mediapipe/tasks-vision0.10.17间接
npm@monogrid/gainmap-js3.4.0间接
npm@penrose/optimizer3.2.0间接
npm@react-spring/animated9.7.5间接
npm@react-spring/core9.7.5间接
npm@react-spring/rafz9.7.5间接
npm@react-spring/shared9.7.5间接
npm@react-spring/three9.7.5间接
npm@react-spring/types9.7.5间接
npm@rollup/plugin-commonjs28.0.9间接
npm@rollup/plugin-node-resolve15.3.1间接
npm@rollup/plugin-replace6.0.3间接
npm@rollup/plugin-terser0.4.4间接
npm@rollup/pluginutils5.3.0间接
npm@rollup/rollup-android-arm-eabi4.59.0间接
npm@rollup/rollup-android-arm644.59.0间接
npm@rollup/rollup-darwin-arm644.59.0间接
npm@rollup/rollup-darwin-x644.59.0间接
npm@rollup/rollup-freebsd-arm644.59.0间接
npm@rollup/rollup-freebsd-x644.59.0间接
npm@rollup/rollup-linux-arm-gnueabihf4.59.0间接
npm@rollup/rollup-linux-arm-musleabihf4.59.0间接
npm@rollup/rollup-linux-arm64-gnu4.59.0间接
npm@rollup/rollup-linux-arm64-musl4.59.0间接
npm@rollup/rollup-linux-loong64-gnu4.59.0间接
npm@rollup/rollup-linux-loong64-musl4.59.0间接
npm@rollup/rollup-linux-ppc64-gnu4.59.0间接
npm@rollup/rollup-linux-ppc64-musl4.59.0间接
npm@rollup/rollup-linux-riscv64-gnu4.59.0间接
npm@rollup/rollup-linux-riscv64-musl4.59.0间接
npm@rollup/rollup-linux-s390x-gnu4.59.0间接
npm@rollup/rollup-linux-x64-gnu4.59.0间接
npm@rollup/rollup-linux-x64-musl4.59.0间接
npm@rollup/rollup-openbsd-x644.59.0间接
npm@rollup/rollup-openharmony-arm644.59.0间接
npm@rollup/rollup-win32-arm64-msvc4.59.0间接
npm@rollup/rollup-win32-ia32-msvc4.59.0间接
npm@rollup/rollup-win32-x64-gnu4.59.0间接
npm@rollup/rollup-win32-x64-msvc4.59.0间接
npm@tweenjs/tween.js23.1.3间接
npm@types/d37.4.3间接
npm@types/d3-array3.2.2间接
npm@types/d3-axis3.0.6间接
npm@types/d3-brush3.0.6间接
npm@types/d3-chord3.0.6间接
npm@types/d3-color1.4.5间接
npm@types/d3-color3.1.3间接
npm@types/d3-contour3.0.6间接
npm@types/d3-delaunay6.0.4间接
npm@types/d3-dispatch3.0.7间接
npm@types/d3-drag3.0.7间接
npm@types/d3-dsv3.0.7间接
npm@types/d3-ease3.0.2间接
npm@types/d3-fetch3.0.7间接
npm@types/d3-force3.0.10间接
npm@types/d3-format3.0.4间接
npm@types/d3-geo3.1.0间接
npm@types/d3-graphviz2.6.10间接
npm@types/d3-hierarchy1.1.11间接
npm@types/d3-hierarchy3.1.7间接
npm@types/d3-interpolate1.4.5间接
npm@types/d3-interpolate3.0.4间接
npm@types/d3-path3.1.1间接
npm@types/d3-polygon3.0.2间接
npm@types/d3-quadtree3.0.6间接
npm@types/d3-random3.0.3间接
npm@types/d3-scale4.0.9间接
npm@types/d3-scale-chromatic3.1.0间接
npm@types/d3-selection1.4.7间接
npm@types/d3-selection3.0.11间接
npm@types/d3-shape3.1.8间接
npm@types/d3-time3.0.4间接
npm@types/d3-time-format4.0.3间接
npm@types/d3-timer3.0.2间接
npm@types/d3-transition1.3.6间接
npm@types/d3-transition3.0.9间接
npm@types/d3-zoom1.8.7间接
npm@types/d3-zoom3.0.8间接
npm@types/deep-equal1.0.4间接
npm@types/draco3d1.4.10间接
npm@types/estree1.0.8间接
npm@types/geojson7946.0.16间接
npm@types/offscreencanvas2019.7.3间接
npm@types/prop-types15.7.15间接
npm@types/react18.3.28间接
npm@types/react-dom18.3.7间接
npm@types/react-reconciler0.26.7间接
npm@types/react-reconciler0.28.9间接
npm@types/resolve1.20.2间接
npm@types/stats.js0.17.4间接
npm@types/three0.183.1间接
npm@types/trusted-types2.0.7间接
npm@types/webxr0.5.24间接
npm@use-gesture/core10.3.1间接
npm@use-gesture/react10.3.1间接
npm@vscode-elements/elements1.7.1间接
npm@vscode-elements/react-elements0.5.0间接
npm@vscode/codicons0.0.40间接
npm@webgpu/types0.1.69间接
npm@xmldom/xmldom0.9.8间接
npmacorn8.16.0间接
npmansi-regex6.2.2间接
npmansi-styles6.2.3间接
npmarray-buffer-byte-length1.0.2间接
npmavailable-typed-arrays1.0.7间接
npmbalanced-match4.0.4间接
npmbase64-js1.5.1间接
npmbidi-js1.0.3间接
npmbrace-expansion5.0.3间接
npmbuffer6.0.3间接
npmbuffer-from1.1.2间接
npmcall-bind1.0.8间接
npmcall-bind-apply-helpers1.0.2间接
npmcall-bound1.0.4间接
npmcamera-controls2.10.1间接
npmchain-function1.0.1间接
npmcliui9.0.1间接
npmclone2.1.2间接
npmclsx2.1.1间接
npmcommander13.1.0间接
npmcommander2.20.3间接
npmcommander7.2.0间接
npmcommondir1.0.1间接
npmconsola2.15.3间接
npmcross-env7.0.3间接
npmcross-spawn7.0.6间接
npmcsstype3.2.3间接
npmd3-array3.2.4间接
npmd3-axis3.0.0间接
npmd3-brush3.0.0间接
npmd3-chord3.0.1间接
npmd3-color3.1.0间接
npmd3-contour4.0.2间接
npmd3-delaunay6.0.4间接
npmd3-dispatch3.0.1间接
npmd3-drag3.0.0间接
npmd3-dsv3.0.1间接
npmd3-ease3.0.1间接
npmd3-fetch3.0.1间接
npmd3-force3.0.0间接
npmd3-format3.1.2间接
npmd3-geo3.1.1间接
npmd3-hierarchy1.1.9间接
npmd3-hierarchy3.1.2间接
npmd3-interpolate3.0.1间接
npmd3-path1.0.9间接
npmd3-path3.1.0间接
npmd3-polygon3.0.1间接
npmd3-quadtree3.0.1间接
npmd3-random3.0.1间接
npmd3-scale4.0.2间接
npmd3-scale-chromatic3.1.0间接
npmd3-selection3.0.0间接
npmd3-shape1.3.7间接
npmd3-shape3.2.0间接
npmd3-time3.1.0间接
npmd3-time-format4.1.0间接
npmd3-timer3.0.1间接
npmd3-transition3.0.1间接
npmd3-zoom3.0.0间接
npmdecimal.js-light2.5.1间接
npmdeepmerge4.3.1间接
npmdefine-data-property1.1.4间接
npmdefine-properties1.2.1间接
npmdelaunator5.0.1间接
npmdequal2.0.3间接
npmdetect-gpu5.0.70间接
npmdiscontinuous-range1.0.0间接
npmdom-helpers3.4.0间接
npmdom-helpers5.2.1间接
npmdraco3d1.5.7间接
npmdunder-proto1.0.1间接
npmemoji-regex10.6.0间接
npmes-define-property1.0.1间接
npmes-errors1.3.0间接
npmes-get-iterator1.1.3间接
npmes-module-lexer1.7.0间接
npmes-module-shims1.10.1间接
npmes-object-atoms1.1.1间接
npmescalade3.2.0间接
npmesm3.2.25间接
npmestree-walker2.0.2间接
npmeventemitter34.0.7间接
npmfast-equals5.4.0间接
npmfdir6.5.0间接
npmfflate0.6.10间接
npmfflate0.8.2间接
npmfor-each0.3.5间接
npmforeground-child3.3.1间接
npmfsevents2.3.3间接
npmfunction-bind1.1.2间接
npmfunctions-have-names1.2.3间接
npmget-caller-file2.0.5间接
npmget-east-asian-width1.6.0间接
npmget-intrinsic1.3.0间接
npmget-proto1.0.1间接
npmglob11.1.0间接
npmglsl-noise0.0.0间接
npmgopd1.2.0间接
npmhas-bigints1.1.0间接
npmhas-property-descriptors1.0.2间接
npmhas-symbols1.1.0间接
npmhas-tostringtag1.0.2间接
npmhasown2.0.2间接
npmhls.js1.6.15间接
npmiconv-lite0.6.3间接
npmieee7541.2.1间接
npmimmediate3.0.6间接
npmimmutable4.3.7间接
npminternal-slot1.1.0间接
npminternmap2.0.3间接
npmis-arguments1.2.0间接
npmis-array-buffer3.0.5间接
npmis-bigint1.1.0间接
npmis-boolean-object1.2.2间接
npmis-callable1.2.7间接
npmis-core-module2.16.1间接
npmis-date-object1.1.0间接
npmis-map2.0.3间接
npmis-module1.0.0间接
npmis-number-object1.1.1间接
npmis-promise2.2.2间接
npmis-reference1.2.1间接
npmis-regex1.2.1间接
npmis-set2.0.3间接
npmis-shared-array-buffer1.0.4间接
npmis-string1.1.1间接
npmis-symbol1.1.1间接
npmis-weakmap2.0.2间接
npmis-weakset2.0.4间接
npmisarray2.0.5间接
npmisexe2.0.0间接
npmits-fine1.2.5间接
npmjackspeak4.2.3间接
npmjs-tokens4.0.0间接
npmlie3.3.0间接
npmlit3.3.2间接
npmlit-element4.2.2间接
npmlit-html3.3.2间接
npmlodash4.17.23间接
npmloose-envify1.4.0间接
npmlru-cache11.2.6间接
npmmaath0.10.8间接
npmmagic-string0.30.21间接
npmmath-intrinsics1.1.0间接
npmmeshline3.3.1间接
npmmeshoptimizer1.0.1间接
npmmhchemparser4.2.1间接
npmminimatch10.2.4间接
npmminipass7.1.3间接
npmmj-context-menu0.6.1间接
npmmnemonist0.39.8间接
npmmoo0.5.2间接
npmnearley2.20.1间接
npmobject-assign4.1.1间接
npmobject-inspect1.13.4间接
npmobject-is1.1.6间接
npmobject-keys1.1.1间接
npmobject.assign4.1.7间接
npmobliterator2.0.5间接
npmpackage-json-from-dist1.0.1间接
npmpandemonium2.4.1间接
npmpath-key3.1.1间接
npmpath-parse1.0.7间接
npmpath-scurry2.0.2间接
npmpicomatch4.0.3间接
npmpoly-partition1.0.2间接
npmpossible-typed-array-names1.1.0间接
npmpotpack1.0.2间接
npmpromise-worker-transferable1.0.4间接
npmprop-types15.8.1间接
npmrailroad-diagrams1.0.0间接
npmrandexp0.4.6间接
npmrandombytes2.1.0间接
npmreact-composer5.0.3间接
npmreact-is16.13.1间接
npmreact-is18.3.1间接
npmreact-lifecycles-compat3.0.4间接
npmreact-reconciler0.27.0间接
npmreact-smooth4.0.4间接
npmreact-transition-group4.4.5间接
npmreact-use-measure2.1.7间接
npmrecharts-scale0.4.5间接
npmrecursive-diff1.0.9间接
npmregexp.prototype.flags1.5.4间接
npmrequire-from-string2.0.2间接
npmresolve1.22.11间接
npmret0.1.15间接
npmrobust-predicates3.0.2间接
npmrollup4.59.0间接
npmrw1.3.3间接
npmsafe-buffer5.2.1间接
npmsafe-regex-test1.1.0间接
npmsafer-buffer2.1.2间接
npmscheduler0.21.0间接
npmscheduler0.23.2间接
npmseedrandom3.0.5间接
npmserialize-javascript6.0.2间接
npmset-function-length1.2.2间接
npmset-function-name2.0.2间接
npmshebang-command2.0.0间接
npmshebang-regex3.0.0间接
npmside-channel1.1.0间接
npmside-channel-list1.0.0间接
npmside-channel-map1.0.1间接
npmside-channel-weakmap1.0.2间接
npmsignal-exit4.1.0间接
npmsmob1.6.1间接
npmsource-map0.6.1间接
npmsource-map-support0.5.21间接
npmspeech-rule-engine4.1.2间接
npmstats-gl2.4.2间接
npmstats.js0.17.0间接
npmstop-iteration-iterator1.1.0间接
npmstring-width7.2.0间接
npmstrip-ansi7.2.0间接
npmsupports-preserve-symlinks-flag1.0.0间接
npmsuspend-react0.1.3间接
npmtachyons4.12.0间接
npmterser5.46.0间接
npmthree0.170.0间接
npmthree0.183.1间接
npmthree-mesh-bvh0.7.8间接
npmthree-stdlib2.36.1间接
npmtiny-invariant1.3.3间接
npmtroika-three-text0.52.4间接
npmtroika-three-utils0.52.4间接
npmtroika-worker-utils0.52.0间接
npmtrue-myth4.1.1间接
npmtslib2.8.1间接
npmtunnel-rat0.1.2间接
npmtypescript5.9.3间接
npmuse-sync-external-store1.6.0间接
npmutility-types3.11.0间接
npmuuid8.3.2间接
npmvictory-vendor36.9.2间接
npmvscode-jsonrpc8.2.0间接
npmvscode-languageserver-types3.17.5间接
npmwarning3.0.0间接
npmwebgl-constants1.1.1间接
npmwebgl-sdf-generator1.1.1间接
npmwhich2.0.2间接
npmwhich-boxed-primitive1.1.1间接
npmwhich-collection1.0.2间接
npmwhich-typed-array1.1.20间接
npmwicked-good-xpath1.3.0间接
npmwrap-ansi9.0.2间接
npmy18n5.0.8间接
npmyargs18.0.0间接
npmyargs-parser22.0.0间接
npmzustand3.7.2间接
npmzustand4.5.7间接
npmzustand5.0.11间接
原始 JSON 报告 机器可读

反馈

发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。

登录过程中消息不会丢失。

相关记录

与 leanprover-community/proofwidgets4 共享目录标签或生态系统的已检测仓库。 并排阅读 →

62midspiral/LemmaScriptverification toolchain for TypeScript (Tech Preview)中等78leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover良好78leanprover/std4The "batteries included" extended library for the Lean programming language and theorem prover良好67AxiomMath/axiom-lean-engineLean evaluation and metaprogramming utilities for provers.良好62leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.中等60lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean中等

评分是信号，而非担保。 评分反映的是 GitHub 上公开可见的实践——不是代码审计，也不是安全保证。

缺失数据将被剔除并重新归一化权重，绝不按零分计。方法论已版本化并公开：指标 v2.10.0、模式 v0.11.0—— 完整方法论 · 指标知识库.

单项结果在整体记录中的位置： 汇总统计 — npm.