公开记录中等
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-25 11:18 UTC
leanprover / lean-workbench
Online Lean Workbench
leanprover/lean-workbench 的健康指数为 100 分中的 58 分，处于「中等」区间。 其得分最高的类别是Vitality（83/100），最低的是Community & Adoption（26/100）。 最近一次更新在 7 天前。 近期的大部分工作由 1 位贡献者完成。
58
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
58
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
所有权
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
83
开发活跃度
79良好
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 7 天前 |
| 15.2/36 | 提交节奏 — 52 周中有 22 周有提交 |
| 18/18 | 提交量 — 最近一年 181 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 181 |
| human_commit_share | 1 |
| days_since_last_push | 7 |
| active_weeks_last_year | 22 |
发布纪律
88优秀
评分方式
| 16.2/27 | 有发布版本 — 8 个版本标签（无 GitHub 发布版本） |
| 36/36 | 发布时效 — 最近一次发布版本于 7 天前 |
| 27/27 | 发布节奏 — 约每 16.2 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 8 |
| latest_release_tag | v0.0.9 |
| releases_from_tags | 是 |
| days_since_latest_release | 7 |
| mean_days_between_releases | 16.2 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
26
流行度与采用
5危急
评分方式
| 4.9/60 | 星标 — 3 个星标 |
| 0/25 | 复刻 — 0 个复刻 |
| 0/15 | 关注者 — 2 位关注者 |
所用输入
| forks | 0 |
| stars | 3 |
| watchers | 2 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
50中等
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（Apache-2.0） |
| 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 | 否 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
54
维护者韧性（巴士系数）
30存在风险
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 7/22.5 | 提交分布 — 头号贡献者编写了 69% 的提交 |
| 4.1/13.5 | 贡献者广度 — 3 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 9 contributing companies or organizations |
所用输入
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0.691 |
议题与 PR 响应能力
59中等
评分方式
| 15.6/46.8 | 议题解决 — 33% 的议题已关闭 |
| 36.1/38.3 | PR 接受 — 已裁定的 PR 中 34/36 已合并 |
| 7.5/15 | OpenSSF Scorecard：Code-Review — Found 8/16 approved changesets -- score normalized to 5 |
所用输入
| merged_prs | 34 |
| open_issues | 18 |
| closed_issues | 9 |
| issue_closed_ratio | 0.333 |
| closed_unmerged_prs | 2 |
所有权与托管责任
77良好
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 22.3/25 | 所有者影响力 — leanprover 有 1,255 位关注者 |
| 25/25 | 既往记录 — 127 个公开仓库，账户约 12 年 |
所用输入
| followers | 1,255 |
| owner_type | Organization |
| is_verified | — |
| owner_login | leanprover |
| public_repos | 127 |
| account_age_days | 4,490 |
工程质量
基础的工程与文档实践是否到位？
70
工程实践
84良好
评分方式
| 24/24 | CI 工作流 — 2 个工作流 |
| 24/24 | 存在测试 |
| 16/16 | Linter 配置 — eslint.config.mjs |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 是 |
| has_precommit_config | 否 |
文档
50中等
评分方式
| 30/30 | README |
| 0/25 | 文档目录 |
| 0/15 | 文档 / 主页站点 |
| 10/10 | 仓库描述 |
| 0/10 | 主题标签 |
| 10/10 | Wiki |
所用输入
| topics | — |
| has_wiki | 是 |
| homepage | — |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
52
安全态势
52中等
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 2.2/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 3.8/7.5 | Code-Review — Found 8/16 approved changesets -- score normalized to 5 |
| 2.5/2.5 | Contributors — project has 9 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 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 — 无数据 |
| 6.8/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 65 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 5.2 |
已排除计分（无数据或不适用）：signed_releases。 其余权重已重新归一化。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
77
AI 代理上下文与指引
72良好
评分方式
| 45/45 | 代理指令 — AGENTS.md, CLAUDE.md |
| 0/15 | 机器可读文档（llms.txt） |
| 26.7/40 | 可读的提交历史 — 100 次人类提交中有 50 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| legible_history_share | 0.5 |
| agent_instruction_files | AGENTS.md, CLAUDE.md |
| agent_instruction_max_bytes | 3,084 |
评分方式
| 18/18 | 一条命令的引导启动 — Makefile |
| 22/22 | 自动化测试 |
| 11/11 | Lint / 格式化配置 — eslint.config.mjs |
| 11/11 | 静态类型检查 — collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json |
| 10/10 | 可复现环境 — Dockerfile, lockfile |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | package-lock.json |
| has_dockerfile | 是 |
| typed_language | 是 |
| bootstrap_files | Makefile |
| has_devcontainer | 否 |
| has_linter_config | 是 |
| typecheck_configs | collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
100优秀
评分方式
| 45/45 | 可类型检查的代码 — TypeScript（静态类型） |
| 55/55 | 可控的文件大小 — 采样的 66 个源文件中有 0 个超过 60KB |
所用输入
| primary_language | TypeScript |
| largest_source_bytes | 17,629 |
| source_files_sampled | 66 |
| oversized_source_files | 0 |
关键数据
3GitHub 星标
3贡献者
181最近 12 个月提交数
7距最近推送天数
8发布版本数
1巴士系数（bus factor）
18开放议题
npm软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
更多细节
OpenSSF Scorecard 5.2 / 10
5.2综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 3 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 5 | Code-Review | Found 8/16 approved changesets -- score normalized to 5 |
| 10 | Contributors | project has 9 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 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 |
| 9 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 65 existing vulnerabilities detected |
直接依赖 19
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| npm | @hocuspocus/extension-database | ^4.0.0 | collab-server/package.json |
| npm | @hocuspocus/server | ^4.0.0 | collab-server/package.json |
| npm | esbuild | ^0.28 | collab-server/package.json |
| npm | @hocuspocus/provider | ^4.0.0 | package.json |
| npm | @prisma/adapter-better-sqlite3 | ^7.7.0 | package.json |
| npm | @prisma/client | ^7.7.0 | package.json |
| npm | better-auth | ^1.6.2 | package.json |
| npm | chokidar | ^5.0.0 | package.json |
| npm | next | 16.2.3 | package.json |
| npm | prisma | ^7.7.0 | package.json |
| npm | react | 19.2.4 | package.json |
| npm | react-dom | 19.2.4 | package.json |
| npm | swr | ^2.4.1 | package.json |
| npm | ws | ^8.20.0 | package.json |
| npm | zod | ^4.3.6 | package.json |
| npm | @hocuspocus/provider | ^4.0 | vscode-workbench/package.json |
| npm | minimatch | ^10.2 | vscode-workbench/package.json |
| npm | ws | ^8.20 | vscode-workbench/package.json |
| npm | zod | ^4.4 | vscode-workbench/package.json |
全部依赖 未采集
本报告未能采集到解析后的依赖集合：GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
原始 JSON 报告 机器可读
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 1170,
"has_wiki": true,
"homepage": null,
"languages": {
"CSS": 9204,
"Lean": 51,
"Shell": 15688,
"Makefile": 3216,
"Dockerfile": 7598,
"JavaScript": 3277,
"TypeScript": 173117
},
"pushed_at": "2026-07-17T23:07:48Z",
"created_at": "2026-03-05T17:37:55Z",
"owner_type": "Organization",
"updated_at": "2026-07-17T23:06:22Z",
"description": "Online Lean Workbench",
"is_archived": false,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "main",
"license_spdx_raw": "Apache-2.0",
"primary_language": "TypeScript",
"significant_languages": [
"TypeScript"
]
},
"owner": {
"blog": "https://lean-lang.org/",
"name": "Lean",
"type": "Organization",
"login": "leanprover",
"company": null,
"location": null,
"followers": 1255,
"avatar_url": "https://avatars.githubusercontent.com/u/7233018?v=4",
"created_at": "2014-04-09T01:36:59Z",
"is_verified": null,
"public_repos": 127,
"account_age_days": 4490
},
"license": {
"state": "standard",
"spdx_id": "Apache-2.0",
"raw_spdx": "Apache-2.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.0.9",
"kind": "patch",
"published_at": "2026-07-17T23:06:17Z"
},
{
"tag": "v0.0.8",
"kind": "patch",
"published_at": "2026-06-30T16:09:16Z"
},
{
"tag": "v0.0.7",
"kind": "patch",
"published_at": "2026-06-29T17:53:32Z"
},
{
"tag": "v0.0.6",
"kind": "patch",
"published_at": "2026-06-24T20:11:16Z"
},
{
"tag": "v0.0.4",
"kind": "patch",
"published_at": "2026-06-22T14:36:57Z"
},
{
"tag": "v0.0.3",
"kind": "patch",
"published_at": "2026-05-07T19:44:21Z"
},
{
"tag": "v0.0.2",
"kind": "patch",
"published_at": "2026-05-06T20:51:39Z"
},
{
"tag": "v0.0.1",
"kind": "patch",
"published_at": "2026-03-26T20:21:03Z"
}
],
"recent_commits": [
{
"oid": "151084fb26716feab38ceab01696d1d7aa353828",
"body": "* chore: bump code-server to v4.128.0\n\n* fix: make code-server build desktop VSC\n\n* doc: adjust README\n\n* chore: bump code-server to v4.129.0",
"is_bot": false,
"headline": "chore: bump code-server to v4.129.0 (#60)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-07-17T23:06:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c3240a71af4faa54dfe5e22b15f4fc25eda7206b",
"body": "chore: change eslint config to sort imports with --fix",
"is_bot": false,
"headline": "Merge pull request #57 from leanprover/sort-imports",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-04T22:09:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09280374f599765be40b77653b6ed3f5c81de4bf",
"body": null,
"is_bot": false,
"headline": "Fix package-lock.json",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-04T14:02:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ede7643290ba0c59d7a53d745e19351a53232650",
"body": null,
"is_bot": false,
"headline": "Fix all the emergent eslint problems",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:58:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "369d6cc75a8e542747068b80cf2df61186186fcd",
"body": "prettier autosave was making Rob sad",
"is_bot": false,
"headline": "chore: change eslint config to sort imports with --fix",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:57:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3154d991ad9a1b0ca40a81a475b0d7729ccf04ff",
"body": "chore: standardize on '@/' style paths instead of '../' relative ones",
"is_bot": false,
"headline": "Merge pull request #56 from leanprover/standardize-on-nonrelative-paths",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:49:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b2886d5152e9c6692f73fb4a5ddb6779301787ce",
"body": null,
"is_bot": false,
"headline": "undo vscode setting change",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:48:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e99c9bfd892c4674a7844f4ff25bcf9867588b39",
"body": null,
"is_bot": false,
"headline": "Update eslint.config.mjs",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:02:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1ed5568420544e75e5607e1a59c4f6505c4fdf20",
"body": "Co-authored-by: Wojciech Nawrocki <13901751+Vtec234@users.noreply.github.com>",
"is_bot": false,
"headline": "Update .vscode/settings.json",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:02:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d3add389a58a5d0796948ca5ce4762c4b0f40b6e",
"body": null,
"is_bot": false,
"headline": "do the eslint action",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T18:03:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "43e2717782eef746b3ccae3eb8f25fc83e1523c7",
"body": "enforced in vscode settings, checked in eslint",
"is_bot": false,
"headline": "chore: standardize on '@/' style paths",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T18:02:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3daffaaf2ab76bc856c8d046597f37371bdff814",
"body": "fix: keep sse session alive with comment lines",
"is_bot": false,
"headline": "Merge pull request #52 from leanprover/keepalive-sse",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T13:02:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4f1e7ed4cf6c3a1f7fb7dbd5c1c591c0f2e0fb68",
"body": "…idn't trip me up before",
"is_bot": false,
"headline": "Add lakecache.blob.core.windows.net to allowlist, not sure why that d…",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T01:39:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9e6e61db8cbf70055c9ac8b89111144ffc58c76e",
"body": null,
"is_bot": false,
"headline": "fix: keep sse session alive with comment lines",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T01:36:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "714284c47140de22931f075d7f38c0d74f0ee59f",
"body": "feat: sandboxed dev documentation, less telemetry",
"is_bot": false,
"headline": "Merge pull request #51 from leanprover/sandbox-observations",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T01:07:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "53c7a1a5aff8b8d2ea8b2288c844f4f95f0c81c8",
"body": null,
"is_bot": false,
"headline": "Cleanup",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T00:38:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ff490df0f52535d9dfe0dca423e60ad7d56dd58",
"body": null,
"is_bot": false,
"headline": "feat: sandboxed dev documentation, less telemetry",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-01T21:00:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9ed981ad8f48364e7e5bf7e8f148d7f4069ba6f1",
"body": null,
"is_bot": false,
"headline": "fix: set folder param (#48)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-30T16:09:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a26f124768e402e4194cf2071d81b89fdd03b31c",
"body": null,
"is_bot": false,
"headline": "fix: webview layout on older browsers (#47)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-29T17:53:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac040e6c65f4d5a83336b47f6724062b4338ce58",
"body": null,
"is_bot": false,
"headline": "fix: build collab-server (#46)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-24T20:11:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9736ac14b225ab1d623504347d66ff4e764a3047",
"body": null,
"is_bot": false,
"headline": "feat: file preview UI in vscode-workbench (#44)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-22T14:36:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2cd743d3f205b844863127ba62e55db8a704a772",
"body": "* fix: existsAsync\n\n* feat: /_file/ route\n\n* feat: preview page\n\n* chore: rm preview route",
"is_bot": false,
"headline": "File preview routes (#43)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-17T16:14:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "510586413fdd7626c864313ff894728227f92030",
"body": "chore: bump code-server to 4.124.2",
"is_bot": false,
"headline": "Merge pull request #42 from leanprover/code-123.0",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-16T13:44:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f822207f970bf47a8a2c021a1100a6d6cb156ef0",
"body": "Fix webview styles",
"is_bot": false,
"headline": "Merge pull request #39 from leanprover/infoview-css",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T14:39:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f8380f293e0d0ed0cbc92cce3242d344a21426",
"body": "More tools and user home directories",
"is_bot": false,
"headline": "Merge pull request #38 from leanprover/branch-tools",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T14:39:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b8d5d40839ffd36af1475e421a9b804809992334",
"body": null,
"is_bot": false,
"headline": "fix: lint",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T11:17:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "164f6c0d87183956365310ea2b96c07dd29a469f",
"body": null,
"is_bot": false,
"headline": "ci: pull from cache in test step",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T11:11:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7eb50faddac1e53ce7e7872041a68343c8166271",
"body": "Merge main into branch-tools",
"is_bot": false,
"headline": "Merge pull request #40 from leanprover/main",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T10:47:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "abd1ca91eb4d29c63251abec9c7fefeb26923e88",
"body": "Fixes #34.",
"is_bot": false,
"headline": "ci: cache docker layers",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T09:57:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1a27e57b7a677643cd0535bd976840c4ffcc7c00",
"body": null,
"is_bot": false,
"headline": "feat: add pdf reader extension",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T09:00:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6fbc9959de3e02ba13ecbb2cadf3f26e9c4e2fa8",
"body": null,
"is_bot": false,
"headline": "fix: make webview style requests cors",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T09:00:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5ccde0e803d70a90ac60df25484c45707b18d226",
"body": null,
"is_bot": false,
"headline": "fix: TeX",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T16:33:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "288b6368c885b67004e12fc5474e571b7248d61e",
"body": null,
"is_bot": false,
"headline": "chore: unshare IPC",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T15:15:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "756df3b44e94e6d8c42d67288836f323762cdb21",
"body": null,
"is_bot": false,
"headline": "feat: user homes",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T15:11:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "038273e3ee801132db6e0c66c16996e60d6b19e3",
"body": null,
"is_bot": false,
"headline": "feat: install common TeXLive and GCC",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T13:46:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "32e129f78cd872054f59a4246f0cca23819e35dd",
"body": "* feat: single overlay\n\n* chore: move\n\n* feat: RcMap\n\n* feat: ref-count resources\n\n* fix: check for W_OK and use named volume",
"is_bot": false,
"headline": "feat: build a single overlayfs on project directories (#37)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T12:33:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3f5f021789a0f44e3b2b2075413c3231394dfb0f",
"body": "* chore: move module\n\n* chore: this IS the Next.js you know\n\n* feat: stricter ID and name parsing\n\n* refactor: Error component\n\n* chore: move\n\n* feat: normalize names\n\n* fix: mathlib template ID\n\n* feat: copy all files from template\n\n* chore: rm old scripts\n\n* fix: normalize all usernames\n\n* refactor: validation helper\n\n* fix: doc\n\n* fix: use ID\n\n* feat: recasing natively in SQLite\n\n* fix: compare ID",
"is_bot": false,
"headline": "feat: validate and normalize input data (#36)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-05T17:08:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "35cd7da96f5ab3d38d0c6a0e49ad97799f0edef2",
"body": null,
"is_bot": false,
"headline": "chore: remove old conflict check",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-03T17:54:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7a131fdf5db676e042dae9d69c701ef667882255",
"body": "* feat: skip sync on tmpfs dirs\n\n* feat: writable overlay for packages",
"is_bot": false,
"headline": "fix: syncing of .lake/packages (#35)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-03T13:54:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f178c73d3c0a600a5994f9ce0ed8f5c71e298aed",
"body": "* chore: use code-server\n\n* fix: error message\n\n* feat: build code-server from source\n\n* feat: detailedReason patch for code-server\n\n* feat: test with patched code-server\n\n* chore: bump\n\n* fix: version\n\n* refactor: build both VSCs in one image",
"is_bot": false,
"headline": "feat: move to code-server and patch in edit tagging (#33)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-02T23:34:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e3bc59f1162e4db642c8ac4383650642c117b22a",
"body": "* feat: NavbarExtra\n\n* feat: canAccessProject util\n\n* refactor: sseStreamResponse\n\n* fix: sse close\n\n* feat: initial awareness backend\n\n* feat: workspace mdata\n\n* feat: share selections\n\n* feat: awareness navbar\n\n* feat: remote cursor indicators\n\n* chore: logWithPrefix\n\n* feat: add proposed API\n\n* f\n[…]\ne to disk on shutdown\n\n* chore: decouple\n\n* fix: bundle tests\n\n* feat: collab edit tests\n\n* ci: run tests\n\n* ci: try listening on localhost\n\n* feat: configurable timeout\n\n* chore: lint\n\n* doc: diagram",
"is_bot": false,
"headline": "feat: awareness for collaboration (#20)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-01T20:39:49Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "0d7449342122448ed6ea74d282994b98f6967a5a",
"body": "* chore: write-mount again\n\n* chore: absolute paths\n\n* feat: basic collab setup\n\n* feat: include better-sqlite in collab server\n\n* chore: paths\n\n* feat: collab FS\n\n* chore: persist container cache\n\n* chore: restore file: URIs\n\n* feat: syncable dir control\n\n* doc: unclear comment\n\n* chore: use node:sqlite in collab-server",
"is_bot": false,
"headline": "feat: collab support in vscode-workbench extension (#14)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-01T20:08:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7b722e9e7b4b1ae77e9ec44814e85125cda48b89",
"body": null,
"is_bot": false,
"headline": "chore: use older even-better-toml (#32)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-01T18:53:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ab1baa3a8742642c63752bfabf4b1d8d3525546e",
"body": null,
"is_bot": false,
"headline": "feat: quality of life improvements (#19)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-11T15:42:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ddcef93acb27fe59676c1dc59b4486396ef95016",
"body": "* feat: auth_request\n\n* fix: websocket auth\n\n* chore: silence auth-vsc log\n\n* feat: place VSC on UDS\n\n* chore: replace port code",
"is_bot": false,
"headline": "feat: use UDS instead of port for openvscode-server (#18)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-11T15:42:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8ce097b6f821a47cb394fb81ea12e5a3065268b3",
"body": "* feat: auth_request\n\n* fix: websocket auth\n\n* Apply suggestions from code review\n\nCo-authored-by: Wojciech Nawrocki <13901751+Vtec234@users.noreply.github.com>",
"is_bot": false,
"headline": "fix: guard /_vs/ routes behind Nginx auth_request (#17)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-11T15:41:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "adb5713ff385fa5ba6f64efab8bc188b77e0e4c2",
"body": "* ci: typecheck TS and build Docker\n\n* fix: build extension before docker\n\n* fix: next dev and lint",
"is_bot": false,
"headline": "ci: typecheck TS and build Docker container (#13)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-07T19:44:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "905f46d8a1c7ba52f99624d55d6c24691969887d",
"body": "* feat: set up workspace\n\n* perf: dev startup time\n\n* chore: ignore subfolders\n\n* feat: collab server\n\n* feat: start collab servers\n\n* feat: more robust server startup\n\nRemoves several race conditions from openvscode-server and collab-server startup/shutdown. Fixes 404 on initial editor session startup.\n\n* feat: invert dockerignore\n\n* fix: various paths\n\n* feat: collab server\n\n* fix: use FS dir and write-mount\n\n* fix: oops",
"is_bot": false,
"headline": "feat: collaboration server (#12)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-07T19:31:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "69a1b9a5b51cda24a9212ec37b9a18c527dcfcc3",
"body": null,
"is_bot": false,
"headline": "fix: strengthen warning in README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-05-07T16:46:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2aa3179e8ffaaeb90a4fdf7e190ecee3b10adab8",
"body": null,
"is_bot": false,
"headline": "chore: document release ci automation",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-05-06T21:06:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9fc3714b3c8c03f720872a045797fd3995511352",
"body": null,
"is_bot": false,
"headline": "add LICENSE file",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-05-06T20:51:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "13be6dd7f66530852edefce2134147a73aac5305",
"body": "* feat: debug extension host in workbench\n\n* doc: debug\n\n* feat: attach to vscode-lean4\n\n* feat: vscode-workbench extension\n\n* chore: cleanups\n\n* chore: more cleanup",
"is_bot": false,
"headline": "feat: vscode-workbench extension (#9)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-05T02:58:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f00394c127b93b90408effc51e3c7b26c6528c0e",
"body": "* fix: ci\n\n* fix: lint",
"is_bot": false,
"headline": "fix: ci (#10)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-29T21:52:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7226916515b7a995171659f016d090490173affd",
"body": "* feat: editor sessions cleanup\n\n* dev: HMR in Docker\n\n* feat: lean-version flag\n\n* fix: show progress in error state\n\n* feat: better session display\n\n* chore: install OCT\n\n* fix: 404 in dead _vs iframe\n\n* feat: install extensions as builtin\n\n* chore: make dir visible\n\n* feat: adapt paths\n\n* doc: document new setup",
"is_bot": false,
"headline": "Better multi-user support (#7)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-23T17:43:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34dd29c4016ce110f26ec5bff8f246ef099c760e",
"body": "* feat: scaffold\n\n* feat: ts settings\n\n* feat: prettier\n\n* feat: lint-staged\n\n* feat: other deps\n\n* feat: auth scaffold\n\n* feat: navbar\n\n* feat: page data\n\n* fix: logo warning\n\n* feat: setup redirect\n\n* fix: static route\n\n* chore: server-only\n\n* feat: root page\n\n* feat: dev routes\n\n* feat: port setu\n[…]\n\n\n* init more\n\n* setup URL\n\n* agents\n\n* files\n\n* fix: invalidate root layout\n\n* feat: Suspense\n\n* CSS fixes\n\n* chore: fully dynamic RSCs\n\n* chore: trim config\n\n* fix: gray out button\n\n* doc: AGENTS.md",
"is_bot": false,
"headline": "Port to Next.js (#6)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-20T23:41:58Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "defdddd7d23a81165fccb6a8e81e87858747821a",
"body": "* feat: dev live reload\n\n* fix: path",
"is_bot": false,
"headline": "feat: live reload (#4)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-09T23:36:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20f2458d007c8ef45e4479c4dbe5c3e139f041df",
"body": "* refactor: add NPM workspaces\n\n* fix: docker paths\n\n* style: add prettier\n\n* chore: run prettier\n\n* chore: unformat\n\n* style: add eslint\n\n* chore: tsconfigs\n\n* chore: lints\n\n* ci: lint\n\n* chore: reenable docker\n\n* chore: docker pkg versions\n\n* chore: more configurable paths\n\n* feat: host dev mode",
"is_bot": false,
"headline": "Add NPM workspaces, prettier, eslint, host-dev mode (#3)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-09T21:16:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5948c3dad8ddce44295d1da5bd7ba90061dfdcda",
"body": "* refactor: EditorSessionManager\n\n* refactor: move consts\n\n* feat: reclaim ports\n\n* fix: errors in spawner",
"is_bot": false,
"headline": "refactor: editor session manager (#2)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-08T02:12:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "190f4d4f26a8a8df0ad09f0378e784dc1b84deac",
"body": "* dev: custom DATA_DIR\n\n* fix: secure cookies\n\n* chore: IS_PROD\n\n* security: POST logout\n\n* chore: use requireAuth/Admin more\n\n* sec: use PUT to start sessions\n\n* chore: session -> editor session\n\nReduce ambiguity with 'user session'.\n\n* style: delete heading",
"is_bot": false,
"headline": "Initial security review (#1)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-07T02:45:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b020d2d6fffab702f5da72651ed7934abc432cb",
"body": null,
"is_bot": false,
"headline": "admin feature: system health",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T18:32:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "75879a2b7a61cb0377acd5fb545e498902ce02b5",
"body": null,
"is_bot": false,
"headline": "some more css tweaks",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T15:01:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b067acf70decae75a45707529a2a38bd031d0dbd",
"body": null,
"is_bot": false,
"headline": "slightly improve styling",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T14:57:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b9d4b52093493a0f1f32c7034fa00ff381da8d42",
"body": null,
"is_bot": false,
"headline": "add ability to modify users to be admin",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T14:57:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9f29cbb4433e62669fb1aa617b8e5d5efb6f13fd",
"body": null,
"is_bot": false,
"headline": "admin affordances for oauth reconfiguration",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T13:49:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cc2c25562469d64982278141170f342d00727282",
"body": null,
"is_bot": false,
"headline": "add ability for admins to kill sessions",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T13:25:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7429027bd682c8229b174aab968a3760f3cf012a",
"body": null,
"is_bot": false,
"headline": "fixes to seed script",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-27T19:18:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1494fb37aa27d52487ada915cdea00d97d427ab8",
"body": null,
"is_bot": false,
"headline": "split off developer information from README.md",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:49:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a9c1bb5914eaf70e28aebf44fb9752300c3baf9f",
"body": null,
"is_bot": false,
"headline": "don't actually bake lean into dockerfile",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:21:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9469cb56ead6c826e4387d2c9e3510b9e1fd22f9",
"body": null,
"is_bot": false,
"headline": "first attempt at release ci",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:11:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "25695842455c25d1cd88ecef8789cd59a5016974",
"body": null,
"is_bot": false,
"headline": "first draft of database migrations",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:09:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f9dcabbf16cca4830bc4db6a6570e9a7f5760bd3",
"body": null,
"is_bot": false,
"headline": "more cleanup",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T19:44:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c2bad636c79276aa4913dccd6d8239f2ed5e5a93",
"body": null,
"is_bot": false,
"headline": "avatar menu shows admin status",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T19:42:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9fe99c6098ab2bc005f932c995bc7e851cb661e1",
"body": null,
"is_bot": false,
"headline": "more tweaks to CLAUDE.md",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T18:42:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe7ce1bcd8a05d49d28b698adc7d0f08a9ffb006",
"body": null,
"is_bot": false,
"headline": "worktrees",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T18:40:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "44afb3af1643d6f13a19070c9e342140ab02f93e",
"body": null,
"is_bot": false,
"headline": "add some basic unit tests",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T17:21:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "05da034b42b6d3281355b397ffe6307be4010b90",
"body": null,
"is_bot": false,
"headline": "minor README cleanups",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:50:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2871b85fea7d65e399d286fc66638675baec13ea",
"body": null,
"is_bot": false,
"headline": "remove obsolete comment from README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:47:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52312a87594399ca868e60e45723b3e66e8cfd52",
"body": null,
"is_bot": false,
"headline": "check in client npm lockfile",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:45:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "68f7ec7171095c59b7dbd79eaf0a7e6c02ab1252",
"body": null,
"is_bot": false,
"headline": "don't erroneously show sessions on profile page",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:42:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8e98306d9fd2d8ed49eb292a6839678dcc33670",
"body": null,
"is_bot": false,
"headline": "first draft of admin page",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c4bc48b7a057aeac3706650e609c86523ac1c2c7",
"body": null,
"is_bot": false,
"headline": "first draft of being able to view non-owned projects",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:02:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09455c20d0205bc1712f46b78a3be08dfd98c6ad",
"body": null,
"is_bot": false,
"headline": "more plans",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-24T17:58:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3acd58aae476667003f695ffdc224580aee13d47",
"body": null,
"is_bot": false,
"headline": "improve confusing startup messages",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-24T15:45:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b8f5b9ef26abd4089ba3eb105705336ff434b421",
"body": null,
"is_bot": false,
"headline": "improve README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-24T15:40:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f348f4b05ec23fc0864206c5d251d46b5282dd1e",
"body": null,
"is_bot": false,
"headline": "eliminate old \"podserver\" name",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T21:46:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "38ac79ecd3dc672df224c45851538a13441a326c",
"body": "- scrolling and selection of installation log\n- `make clean-install` target",
"is_bot": false,
"headline": "various dev QoL improvements",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T20:09:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "55d1921879db60840542d6e3b06f3a9f9be3fa40",
"body": null,
"is_bot": false,
"headline": "convenience target for dev",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T19:52:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2fda5fee1776deda24d58171cbb14c2ec71b1482",
"body": null,
"is_bot": false,
"headline": "Move more config into web ui",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T19:45:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "eac2436a7e3bdb0f716db9faa8f26464eedad5fa",
"body": null,
"is_bot": false,
"headline": "update README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T16:07:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0a849f1fe194fe95441856a044c79f508c82bec0",
"body": null,
"is_bot": false,
"headline": "add installer script",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d0597ccfb10b15979d5df90e789dc2848562cbd2",
"body": null,
"is_bot": false,
"headline": "make a simple UI for setup phase",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c18dd1c59e96a4101bed7688cd2488a424e51177",
"body": "This makes test-setup-file pass",
"is_bot": false,
"headline": "fix permissions error",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "990677f74c3778229317f3db96bb97bfcdaa8ad2",
"body": null,
"is_bot": false,
"headline": "writing some better integration tests",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a5f8d4e67a6f6fde794bfa50c5c3b7928868055d",
"body": null,
"is_bot": false,
"headline": "first pass at rewriting spawner",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4fde14b42ffbf326686f1ed9bf129b7b5f85e9f4",
"body": null,
"is_bot": false,
"headline": "Reorganize some working documents",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-11T19:19:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d52947cde928cad932569580b46b9edd0771782f",
"body": null,
"is_bot": false,
"headline": "make a clear test for library/template management",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-11T19:14:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac559527c203624ee4bfd30905a9fab7b4ab23fe",
"body": "Also add .dockerignore",
"is_bot": false,
"headline": "improve (although probably not entirely fix) README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-05T17:48:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ee007b38b4ad16397a316fe1b0e55d880994c63",
"body": null,
"is_bot": false,
"headline": "some better error messages",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-02-27T22:59:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e0fff68be9805bad321d939fb8104e077b0d2cba",
"body": null,
"is_bot": false,
"headline": "mathlib seeding",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-02-27T22:57:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c72c63857404a106bfc651f38d508f6d2e9640d1",
"body": null,
"is_bot": false,
"headline": "another plan",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-02-27T21:05:52Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 8,
"commits_last_year": 181,
"latest_release_at": "2026-07-17T23:06:17Z",
"latest_release_tag": "v0.0.9",
"releases_from_tags": true,
"days_since_last_push": 7,
"active_weeks_last_year": 22,
"days_since_latest_release": 7,
"mean_days_between_releases": 16.2
},
"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": []
},
"popularity": {
"forks": 0,
"stars": 3,
"watchers": 2,
"fork_history": {
"days": [],
"complete": true,
"collected": 0,
"total_forks": 0
},
"star_history": null,
"open_issues_and_prs": 20
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": true,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"collab-server/tsconfig.json",
"tsconfig.json",
"vscode-workbench/tsconfig.json"
],
"toolchain_manifests": [],
"largest_source_bytes": 17629,
"source_files_sampled": 66,
"oversized_source_files": 0,
"agent_instruction_files": [
"AGENTS.md",
"CLAUDE.md"
],
"agent_instruction_max_bytes": 3084
},
"dependencies": {
"manifests": [
"collab-server/package.json",
"package.json",
"vscode-workbench/package.json"
],
"advisories": {
"error": null,
"scope": null,
"source": null,
"findings": [],
"collected": false,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 0,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"npm"
],
"dependencies": [
{
"name": "@hocuspocus/extension-database",
"manifest": "collab-server/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.0"
},
{
"name": "@hocuspocus/server",
"manifest": "collab-server/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.0"
},
{
"name": "esbuild",
"manifest": "collab-server/package.json",
"ecosystem": "npm",
"version_constraint": "^0.28"
},
{
"name": "@hocuspocus/provider",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.0"
},
{
"name": "@prisma/adapter-better-sqlite3",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^7.7.0"
},
{
"name": "@prisma/client",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^7.7.0"
},
{
"name": "better-auth",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^1.6.2"
},
{
"name": "chokidar",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^5.0.0"
},
{
"name": "next",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "16.2.3"
},
{
"name": "prisma",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^7.7.0"
},
{
"name": "react",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "19.2.4"
},
{
"name": "react-dom",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "19.2.4"
},
{
"name": "swr",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^2.4.1"
},
{
"name": "ws",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^8.20.0"
},
{
"name": "zod",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^4.3.6"
},
{
"name": "@hocuspocus/provider",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0"
},
{
"name": "minimatch",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^10.2"
},
{
"name": "ws",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^8.20"
},
{
"name": "zod",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^4.4"
}
],
"all_dependencies": {
"error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"source": null,
"packages": [],
"collected": false,
"truncated": false,
"total_count": null,
"direct_count": null,
"indirect_count": null
}
},
"maintainership": {
"issues": {
"open_prs": 2,
"merged_prs": 34,
"open_issues": 18,
"closed_ratio": 0.333,
"closed_issues": 9,
"closed_unmerged_prs": 2
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "jcreedcmu",
"commits": 125,
"avatar_url": "https://avatars.githubusercontent.com/u/1500822?v=4"
},
{
"type": "User",
"login": "Vtec234",
"commits": 40,
"avatar_url": "https://avatars.githubusercontent.com/u/13901751?v=4"
},
{
"type": "User",
"login": "robsimmons",
"commits": 16,
"avatar_url": "https://avatars.githubusercontent.com/u/442315?v=4"
}
],
"contributors_sampled": 3,
"top_contributor_share": 0.691
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"release.yml",
"test.yml"
],
"has_docs_dir": false,
"linter_configs": [
"eslint.config.mjs"
],
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"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": 3,
"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": 10,
"reason": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
"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": 5,
"reason": "Found 8/16 approved changesets -- score normalized to 5",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 9 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"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": 10,
"reason": "30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"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": 9,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "65 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "151084fb26716feab38ceab01696d1d7aa353828",
"ran_at": "2026-07-25T11:17:45Z",
"aggregate_score": 5.2,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-17T23:53:49Z",
"oldest_open_prs": [
{
"number": 45,
"created_at": "2026-06-24T16:13:43Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 58,
"created_at": "2026-07-08T19:50:29Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-17T23:06:17Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 16,
"created_at": "2026-05-07T14:21:33Z",
"last_comment_at": "2026-06-17T13:57:16Z",
"last_comment_author": "jcreedcmu"
},
{
"number": 21,
"created_at": "2026-05-28T15:48:40Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 25,
"created_at": "2026-05-28T16:15:58Z",
"last_comment_at": "2026-07-10T18:13:40Z",
"last_comment_author": "Vtec234"
},
{
"number": 26,
"created_at": "2026-05-28T16:20:07Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 29,
"created_at": "2026-05-28T16:24:44Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 30,
"created_at": "2026-05-28T16:29:10Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 31,
"created_at": "2026-05-28T17:02:36Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 41,
"created_at": "2026-06-10T15:11:49Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 49,
"created_at": "2026-06-30T17:34:15Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 50,
"created_at": "2026-06-30T18:45:05Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 53,
"created_at": "2026-07-02T15:34:55Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 54,
"created_at": "2026-07-02T16:20:04Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 55,
"created_at": "2026-07-02T17:39:30Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 61,
"created_at": "2026-07-16T21:52:36Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 62,
"created_at": "2026-07-16T21:56:11Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 63,
"created_at": "2026-07-16T21:57:49Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 64,
"created_at": "2026-07-16T22:09:21Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 65,
"created_at": "2026-07-18T21:59:49Z",
"last_comment_at": null,
"last_comment_author": null
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/leanprover/lean-workbench",
"host": "github.com",
"name": "lean-workbench",
"owner": "leanprover"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 58,
"inputs": {
"security": 52,
"vitality": 83,
"community": 26,
"governance": 54,
"engineering": 70
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 83,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 79,
"inputs": {
"commits_last_year": 181,
"human_commit_share": 1,
"days_since_last_push": 7,
"active_weeks_last_year": 22
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 7 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 7
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "22/52 weeks with commits",
"points": 15.2,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 22
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "181 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 181
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"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": 88,
"inputs": {
"releases_count": 8,
"latest_release_tag": "v0.0.9",
"releases_from_tags": true,
"days_since_latest_release": 7,
"mean_days_between_releases": 16.2
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "8 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 8
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 7 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 7
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~16.2 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 16.2
}
}
],
"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": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"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": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "critical",
"name": "Community & Adoption",
"value": 26,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 5,
"inputs": {
"forks": 0,
"stars": 3,
"watchers": 2,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "3 stars",
"points": 4.9,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 3
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "0 forks",
"points": 0,
"status": "missed",
"details": [
{
"code": "forks",
"params": {
"count": 0
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "2 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 2
}
}
],
"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 (Apache-2.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "Apache-2.0"
}
}
],
"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": "moderate",
"name": "Sustainability & Governance",
"value": 54,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 30,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 3,
"top_contributor_share": 0.691
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 69% of commits",
"points": 7,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 69
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "3 contributors",
"points": 4.1,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 3
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 9 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 59,
"inputs": {
"merged_prs": 34,
"open_issues": 18,
"closed_issues": 9,
"issue_closed_ratio": 0.333,
"closed_unmerged_prs": 2
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "33% of issues closed",
"points": 15.6,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 33
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "34/36 decided PRs merged",
"points": 36.1,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 34,
"decided": 36
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 8/16 approved changesets -- score normalized to 5",
"points": 7.5,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 77,
"inputs": {
"followers": 1255,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "leanprover",
"public_repos": 127,
"account_age_days": 4490
},
"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": "1,255 followers of leanprover",
"points": 22.3,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 1255,
"login": "leanprover"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "127 public repos, account ~12 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 127
}
},
{
"code": "account_age_years",
"params": {
"years": 12
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 70,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 84,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "2 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 2
}
}
],
"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": "eslint.config.mjs",
"points": 16,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "eslint.config.mjs"
}
}
],
"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": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"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": 0,
"status": "missed",
"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": "moderate",
"name": "Security",
"value": 52,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 52,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 5.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": 2.2,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"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 8/16 approved changesets -- score normalized to 5",
"points": 3.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 9 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"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": "30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"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": "detected GitHub workflow tokens with excessive permissions",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "65 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": "good",
"name": "AI Readiness",
"value": 77,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "good",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.5,
"agent_instruction_files": [
"AGENTS.md",
"CLAUDE.md"
],
"agent_instruction_max_bytes": 3084
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "AGENTS.md, CLAUDE.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "AGENTS.md, CLAUDE.md"
}
}
],
"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": "50 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 26.7,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 50,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "good",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": true,
"typed_language": true,
"bootstrap_files": [
"Makefile"
],
"has_devcontainer": false,
"has_linter_config": true,
"typecheck_configs": [
"collab-server/tsconfig.json",
"tsconfig.json",
"vscode-workbench/tsconfig.json"
],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "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": "eslint.config.mjs",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "eslint.config.mjs"
}
}
],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "Dockerfile, lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Dockerfile, lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"primary_language": "TypeScript",
"largest_source_bytes": 17629,
"source_files_sampled": 66,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "TypeScript (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "TypeScript"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "0/66 source files over 60KB",
"points": 55,
"status": "met",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 66,
"oversized": 0
}
}
],
"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": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository"
],
"report_type": "repository",
"generated_at": "2026-07-25T11:18:02.429491Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/l/leanprover/lean-workbench.svg",
"full_name": "leanprover/lean-workbench",
"license_state": "standard",
"license_spdx": "Apache-2.0"
}