公开记录中等
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-25 07:42 UTC
midspiral / LemmaScript
verification toolchain for TypeScript (Tech Preview)
midspiral/LemmaScript 的健康指数为 100 分中的 58 分，处于「中等」区间。 其得分最高的类别是Vitality（80/100），最低的是Community & Adoption（47/100）。 最近一次更新在 1 天前。 近期的大部分工作由 1 位贡献者完成。
58
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
58
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 | 标签 |
|---|---|---|---|---|---|---|
| npm | lemmascript | 0.5.18 | 4,607 | 27 | 5 天前 | lemmascriptverificationformal-verificationverifiedtypescriptlean4dafnyformal-methods |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
80
开发活跃度
75良好
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 1 天前 |
| 11.1/36 | 提交节奏 — 52 周中有 16 周有提交 |
| 18/18 | 提交量 — 最近一年 1,018 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 1,018 |
| human_commit_share | 1 |
| days_since_last_push | 1 |
| active_weeks_last_year | 16 |
发布纪律
88优秀
评分方式
| 16.2/27 | 有发布版本 — 8 个版本标签（无 GitHub 发布版本） |
| 36/36 | 发布时效 — 最近一次发布版本于 5 天前 |
| 27/27 | 发布节奏 — 约每 1.9 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 8 |
| latest_release_tag | v0.5.18 |
| releases_from_tags | 是 |
| days_since_latest_release | 5 |
| mean_days_between_releases | 1.9 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
47
流行度与采用
35存在风险
评分方式
| 30/60 | 星标 — 72 个星标 |
| 5/25 | 复刻 — 5 个复刻 |
| 0/15 | 关注者 — 1 位关注者 |
所用输入
| forks | 5 |
| stars | 72 |
| watchers | 1 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
50中等
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（MIT） |
| 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 | 否 |
生态采用（下载量）
61中等
评分方式
| 48.8/80 | 月度下载量 — npm 合计每月 4,607 次下载 |
| 0/20 | 注册表被依赖数 — 该生态系统不报告此项 |
所用输入
| packages | lemmascript |
| dependents | — |
| ecosystems | npm |
| total_downloads | — |
| monthly_downloads | 4,607 |
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
56
维护者韧性（巴士系数）
24危急
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 0.4/22.5 | 提交分布 — 头号贡献者编写了 98% 的提交 |
| 4.1/13.5 | 贡献者广度 — 3 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 7 contributing companies or organizations |
所用输入
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0.984 |
议题与 PR 响应能力
61中等
评分方式
| 23.4/46.8 | 议题解决 — 50% 的议题已关闭 |
| 37.6/38.3 | PR 接受 — 已裁定的 PR 中 167/170 已合并 |
| 0/15 | OpenSSF Scorecard：Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
所用输入
| merged_prs | 167 |
| open_issues | 1 |
| closed_issues | 1 |
| issue_closed_ratio | 0.5 |
| closed_unmerged_prs | 3 |
所有权与托管责任
53中等
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 10.3/25 | 所有者影响力 — midspiral 有 26 位关注者 |
| 12.9/25 | 既往记录 — 35 个公开仓库，账户约 0 年 |
所用输入
| followers | 26 |
| owner_type | Organization |
| is_verified | — |
| owner_login | midspiral |
| public_repos | 35 |
| account_age_days | 289 |
软件包维护
100优秀
评分方式
| 25/25 | 已发布且可解析 — npm 上有 1 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 5 天前 |
| 20/20 | 版本历史 — 27 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | lemmascript |
| ecosystems | npm |
| any_deprecated | 否 |
| min_days_since_publish | 5 |
工程质量
基础的工程与文档实践是否到位？
52
工程实践
44存在风险
评分方式
| 24/24 | CI 工作流 — 6 个工作流 |
| 0/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 否 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
文档
65中等
评分方式
| 30/30 | README |
| 0/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://lemmascript.org |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 8 个主题标签 |
| 0/10 | Wiki |
所用输入
| topics | dafny, lean, lean4, lemmascript, typescript, ai, llm, verification |
| has_wiki | 否 |
| homepage | https://lemmascript.org |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
49
安全态势
42存在风险
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 2.5/2.5 | CI-Tests — 1 out of 1 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 |
| 0/7.5 | Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 7 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 2 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 3/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — 无数据 |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 16 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 4.2 |
已排除计分（无数据或不适用）：signed_releases。 其余权重已重新归一化。
依赖安全公告
77良好
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 8.4/25 | 间接依赖不含已知公告 — 2 个受影响：brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5) |
| 33.7/40 | 没有长期未处理的公告 — 1 个携带公告的软件包超过 90 天未处理；最早一条发布于 93 天前 |
所用输入
| source | osv |
| advisories | 2 |
| affected_packages | 2 |
| assessed_packages | 165 |
| unassessed_packages | 0 |
| affected_by_severity | high 2 |
| direct_affected_packages | 0 |
比对的是 npm:lemmascript@0.5.18 的运行时依赖闭包——安装已发布的软件包时真正被拉取进来的内容——共 165 个软件包。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
56
AI 代理上下文与指引
70良好
评分方式
| 45/45 | 代理指令 — AGENTS.md |
| 15/15 | 机器可读文档（llms.txt） — 存在 llms.txt |
| 10.1/40 | 可读的提交历史 — 100 次人类提交中有 19 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 是 |
| legible_history_share | 0.19 |
| agent_instruction_files | AGENTS.md |
| agent_instruction_max_bytes | 12,661 |
评分方式
| 0/18 | 一条命令的引导启动 |
| 0/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| 10/10 | 可复现环境 — lockfile |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 6/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
所用输入
| has_nix | 否 |
| has_tests | 否 |
| lockfiles | package-lock.json |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | — |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
98优秀
评分方式
| 45/45 | 可类型检查的代码 — TypeScript（静态类型） |
| 52.5/55 | 可控的文件大小 — 采样的 89 个源文件中有 4 个超过 60KB |
所用输入
| primary_language | TypeScript |
| largest_source_bytes | 120,099 |
| source_files_sampled | 89 |
| oversized_source_files | 4 |
机器可读接口
60中等
评分方式
| 0/40 | API 模式（OpenAPI/GraphQL/proto） |
| 20/20 | MCP 服务器 |
| 40/40 | 可运行示例 — examples |
所用输入
| example_dirs | examples |
| has_mcp_signal | 是 |
| api_schema_files | — |
关键数据
72GitHub 星标
3贡献者
1,018最近 12 个月提交数
1距最近推送天数
8发布版本数
1巴士系数（bus factor）
1开放议题
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
更多细节
Star 与 Fork 历史 0 ★ / 5 ⇿
0Star
5Fork
8发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 0修订 8
OpenSSF Scorecard 4.2 / 10
4.2综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 10 | CI-Tests | 1 out of 1 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 |
| 0 | Code-Review | Found 0/5 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 7 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 2 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 6 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 6 |
| 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 |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 16 existing vulnerabilities detected |
直接依赖 8
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| npm | lemmascript-claimcheck | ^0.2.0 | package.json |
| npm | ts-morph | ^25.0.0 | package.json |
| npm | @astrojs/starlight | ^0.39.2 | site/package.json |
| npm | @fontsource/dm-sans | ^5.2.8 | site/package.json |
| npm | @fontsource/jetbrains-mono | ^5.2.8 | site/package.json |
| npm | astro | ^6.3.7 | site/package.json |
| npm | sharp | ^0.34.5 | site/package.json |
| npm | ts-morph | ^25.0.0 | tools/package.json |
全部依赖 未采集
本报告未能采集到解析后的依赖集合：GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
依赖安全公告 2
安装 npm:lemmascript@0.5.18 会引入 165 个包（直接与传递）：其中 2 个存在已知公告，0 个为直接依赖。
| 软件包 | 版本 | 关系 | 严重程度 | 公告数 | 修复版本 |
|---|---|---|---|---|---|
| brace-expansion | 2.1.2 | 间接 | 高 | 1 | 5.0.8 |
| uuid | 9.0.1 | 间接 | 高 | 1 | 13.0.1 |
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
{
"data": {
"repo": {
"topics": [
"dafny",
"lean",
"lean4",
"lemmascript",
"typescript",
"ai",
"llm",
"verification"
],
"is_fork": false,
"size_kb": 2001,
"has_wiki": false,
"homepage": "https://lemmascript.org",
"languages": {
"CSS": 2144,
"Lean": 19323,
"Astro": 8874,
"Shell": 1783,
"JavaScript": 24575,
"TypeScript": 595570
},
"pushed_at": "2026-07-24T03:34:18Z",
"created_at": "2026-03-30T00:18:56Z",
"owner_type": "Organization",
"updated_at": "2026-07-25T01:27:02Z",
"description": "verification toolchain for TypeScript (Tech Preview)",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "main",
"license_spdx_raw": "MIT",
"primary_language": "TypeScript",
"significant_languages": [
"TypeScript"
]
},
"owner": {
"blog": "https://midspiral.com",
"name": null,
"type": "Organization",
"login": "midspiral",
"company": null,
"location": null,
"followers": 26,
"avatar_url": "https://avatars.githubusercontent.com/u/236881061?v=4",
"created_at": "2025-10-08T17:57:26Z",
"is_verified": null,
"public_repos": 35,
"account_age_days": 289
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.5.18",
"kind": "patch",
"published_at": "2026-07-19T10:31:32Z"
},
{
"tag": "v0.5.17",
"kind": "patch",
"published_at": "2026-07-16T19:10:20Z"
},
{
"tag": "v0.5.16",
"kind": "patch",
"published_at": "2026-07-11T16:39:24Z"
},
{
"tag": "v0.5.15",
"kind": "patch",
"published_at": "2026-07-11T11:33:02Z"
},
{
"tag": "v0.5.14",
"kind": "patch",
"published_at": "2026-07-10T19:56:02Z"
},
{
"tag": "v0.5.13",
"kind": "patch",
"published_at": "2026-07-08T19:14:03Z"
},
{
"tag": "v0.5.12",
"kind": "patch",
"published_at": "2026-07-06T03:21:09Z"
},
{
"tag": "v0.5.11",
"kind": "patch",
"published_at": "2026-07-06T01:10:12Z"
}
],
"recent_commits": [
{
"oid": "e7f35c609dd952bda27a351495191100ad341ed5",
"body": null,
"is_bot": false,
"headline": "setup for verify",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-24T02:47:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "687721a05eab5446f8faefa6afa6e4e660fd14ba",
"body": "Extract condition-facts, builtins, and typedecls as single sources of truth",
"is_bot": false,
"headline": "Merge pull request #179 from midspiral/cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:37:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "783369ea33ee37c67ef10a1f9be229cf04d683a8",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:27:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae07b6f69dbbcbde705ffb27502362f7f3f1192f",
"body": null,
"is_bot": false,
"headline": "doc update",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:24:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d04ee625cd676d8779075df3dc2e9dfce974f462",
"body": null,
"is_bot": false,
"headline": "example for pure guard",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:20:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d370cd67df69a851f5d646db2c55957df42ea509",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:01:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8ed4792719aa868bd84ff39d50a8353b1c257b4a",
"body": null,
"is_bot": false,
"headline": "condense quota case study desc",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:01:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9b52e12678e193f3b97997c1705893895a2f9b93",
"body": null,
"is_bot": false,
"headline": "some updates to minor npm design doc file",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:59:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9849516bfda2a5f68002b19b77dc41a20793f499",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:52:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4dc4c286c356ccc966dfff8859442db343f2549c",
"body": null,
"is_bot": false,
"headline": "explain pure",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:48:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "97e5c08a4aff8b3a98a5ce2e37af6432f5c4c5e6",
"body": null,
"is_bot": false,
"headline": "fix comment, now that pure is pure",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3304f0a3ac85bc997abef95091a29b257898898e",
"body": null,
"is_bot": false,
"headline": "use actual purity annotations, for decisions in narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:34:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8695ac40d20ddfdef75a3cb2283f4b045d86eba",
"body": null,
"is_bot": false,
"headline": "dry for builtins",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:17:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04d7988ac52e427bda0495ad65b4738cdef1d252",
"body": null,
"is_bot": false,
"headline": "real LOCs in table of §8.3",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T13:01:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a904027f4ee0ff371d023909d5b6b8ec98aeb4ab",
"body": null,
"is_bot": false,
"headline": "status line for §5.2 related to typedecls",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:59:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5e0fb1eeea6518c93a4084ff172b728f66bf8d7",
"body": null,
"is_bot": false,
"headline": "drop stale ref",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:56:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "21353ee944223daf5d37c4b8f22efb0c10968aef",
"body": null,
"is_bot": false,
"headline": "drop stale comment",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:53:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "66808d5c411a96749ff7c53125c1c80c1befc6bf",
"body": null,
"is_bot": false,
"headline": "more cleanup: share falsy-type set, refresh condition-facts docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:48:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "13578c6b054a348cc96f8a43f59e25107a78248f",
"body": null,
"is_bot": false,
"headline": "cleanup, with extractConjunct and binder renames",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:43:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c46f76bf86ded190b59ac86b980f3bfc8555a50",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:17:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28c3cf9e91d146c77783b8c05f43536da87b2a07",
"body": null,
"is_bot": false,
"headline": "define sorted predicate in typescript instead of dafny/lean backends",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-22T14:30:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "404fbb8d6f0dcec83936c53a85d08a4a296be7c2",
"body": null,
"is_bot": false,
"headline": "condition facts",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T20:21:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "30e5d39103744718b7dd13b1f18929d96ade6c37",
"body": null,
"is_bot": false,
"headline": "update doc with deferred generic handling",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:39:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4be061c6c44675b5b4383d6abec9dd567cd3941a",
"body": null,
"is_bot": false,
"headline": "type decls",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:21:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ff662e32d84e12d653c5597bec04ace319c99407",
"body": null,
"is_bot": false,
"headline": "update doc status",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:03:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8f1584d96a1c440fadf90994b050465ddd665a8f",
"body": null,
"is_bot": false,
"headline": "lean build",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:57:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "733e87943b86a6bcdc66427c5072c012d34e662b",
"body": null,
"is_bot": false,
"headline": "example for pinned registry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:50:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2e868048025ad8b026e61165d21e36c31599db0b",
"body": null,
"is_bot": false,
"headline": "minor, import once",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:40:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c513abb2d434c5094ecb8eb3a038de5a201a830c",
"body": null,
"is_bot": false,
"headline": "builtins registry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:31:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "81c1c0e92ed7542ef743dc1113eae32ba9b21483",
"body": null,
"is_bot": false,
"headline": "init design",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T15:16:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9307dce1b1b140d3bc08f77d333beea00d2ed792",
"body": null,
"is_bot": false,
"headline": "llms txt",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-20T12:51:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52c434980aec7b1e987f672f013883be82433d4e",
"body": null,
"is_bot": false,
"headline": "allow crawlers + training on docs",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-20T12:48:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42ce69955cd62ab3876b74a7dbb32555da2789f9",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' of github.com:midspiral/LemmaScript",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "602dbcbbc9fa5043118de9c677efb72ea9547654",
"body": null,
"is_bot": false,
"headline": "0.5.18",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3b1b2db7f100c81a26d7f3e3b33f9db3b857db38",
"body": null,
"is_bot": false,
"headline": "bump version",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3aa6da739adc9214f4ad00fc4c9ac9f4c2adc722",
"body": "add discord",
"is_bot": false,
"headline": "Merge pull request #177 from midspiral/site",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-18T00:29:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ac8baf71c1b9ee7ed521ab40de86ca06ebc67c9",
"body": null,
"is_bot": false,
"headline": "add discord",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-18T00:21:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "460736608a4b259cd585de6f6b00dc9d33dd54ef",
"body": "mostly style changes + auto update version in docs",
"is_bot": false,
"headline": "Merge pull request #176 from midspiral/site",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:34:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "33e37144961fcf7138dad6dc886db1f6af1c0295",
"body": "deal with terminators uniformly in narrowing and resolve",
"is_bot": false,
"headline": "Merge pull request #175 from midspiral/terminator",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:33:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "33c62e1d545f8953f3d274bed451ebdfac618066",
"body": null,
"is_bot": false,
"headline": "mostly style changes + auto update version in docs",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T18:27:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "95cb1373a8d96024fdad019fd2588301f73c06d3",
"body": null,
"is_bot": false,
"headline": "deal with terminators uniformly in narrowing and resolve",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:23:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6da428534273f0c00a886e9b7ab422687ddfe50a",
"body": "Site",
"is_bot": false,
"headline": "Merge pull request #174 from midspiral/site",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T17:35:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4939d76c262da8ba5a49404a3f438818910b4ea5",
"body": null,
"is_bot": false,
"headline": "update brownfield doc title",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T17:17:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3185a0c3d0f3560b89890bd4be85b10a88859c9a",
"body": null,
"is_bot": false,
"headline": "edits to docs to bring them up to date",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T17:08:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4297b5b9deb0abacd3e51eeb1458a3330578abf5",
"body": null,
"is_bot": false,
"headline": "update version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T16:19:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65767acea98a19ed4bdec1310e8ae95a2df79d2a",
"body": null,
"is_bot": false,
"headline": "update stale info",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T15:55:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f3e2904da699ffe6574b4b41f2ed7abf314a06a9",
"body": null,
"is_bot": false,
"headline": "rm section",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T15:44:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c70e366799fda9243a90d71a1517419939ae0339",
"body": null,
"is_bot": false,
"headline": "minimal edits for runtime guard layer",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T12:19:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "361487fa33744c65fa0ac975cc44490721094aa4",
"body": null,
"is_bot": false,
"headline": "bump kit on each change",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T19:39:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6bee8ea1867452e7e62342383a8adaa524d47d88",
"body": null,
"is_bot": false,
"headline": "0.5.17",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T19:10:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "08efca04df196b2d733f79d5c48e9e43738f8a0b",
"body": null,
"is_bot": false,
"headline": "add continuous integration section",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T18:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "46580e3d0f103acc368d87714d7d93076ec239c9",
"body": "… (#173)",
"is_bot": false,
"headline": "tweaks for Lean: order of decls need toposort, plus minor parentheses…",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T18:54:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c2b27c147cf394a5eaad5d030f7a0e755c5feaae",
"body": "support for some with named function and reduce",
"is_bot": false,
"headline": "Merge pull request #172 from midspiral/some-reduce",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T17:56:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe067b249c10d57d902b5a2d87d259ec7d2b6ba5",
"body": null,
"is_bot": false,
"headline": "support for some with named function and reduce",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T17:26:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "55c58790a7fd1e7cdd09d6f2dd392e4cb84a355a",
"body": "better safe slice function",
"is_bot": false,
"headline": "Merge pull request #171 from midspiral/safe-slice",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:17:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5cdbbd86dc49fd6993744ef716a526f62e84773b",
"body": null,
"is_bot": false,
"headline": "retrigger CI after update of opencode case study",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:07:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "caca31f9c106a0b1b632c5d05f4ec83414baa993",
"body": null,
"is_bot": false,
"headline": "better safe slice function",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:02:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4580ce8326ae13f2bdb6906a4a7e6a6de78ec029",
"body": null,
"is_bot": false,
"headline": "zigzag example",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-12T01:16:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5fd59969d1a90a9fa72718a69e092eac5893c2e",
"body": null,
"is_bot": false,
"headline": "upgrade to vickrey auction",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-12T01:08:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2c86b3b501164282098d0735b3aa30fe51aea151",
"body": "Generalize or narrow",
"is_bot": false,
"headline": "Merge pull request #169 from midspiral/gen-or-narrow",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:51:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c9d47189f3a248bb2bbdf3a03ce3ff283f57df31",
"body": null,
"is_bot": false,
"headline": "auction example",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:38:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "47e0c0003e64837839cd78aba3ae90799bfa7844",
"body": "coerce truthy objects for cond",
"is_bot": false,
"headline": "Merge pull request #168 from midspiral/coerce-truthy-object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:28:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6237a07bd763094995aae03239822bc4a4c440b8",
"body": null,
"is_bot": false,
"headline": "generalize or narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:18:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cfcd23c4445764bff38bd2c5e2ce253d01c0ad44",
"body": null,
"is_bot": false,
"headline": "coerce truthy objects for cond",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:17:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b288a84ac9a66ccb3729394540310d5b03dbc55",
"body": "more ops, and update docs",
"is_bot": false,
"headline": "Merge pull request #167 from midspiral/more-tweaks",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T19:18:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "634a3c7bec7717a47b12ef6ba4102e77dcf6d201",
"body": null,
"is_bot": false,
"headline": "more ops, and update docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T19:06:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3560d7d504aa7e7d63d8f9972907e6476ead6a5d",
"body": "Tweaks",
"is_bot": false,
"headline": "Merge pull request #166 from midspiral/tweaks",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:38:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65bf7a7727f2df06476d775c82acae3115beeab3",
"body": null,
"is_bot": false,
"headline": "missing case for truthy int",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:27:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "675ef98ef99ee95847d21e45ce2aa61410098e8d",
"body": null,
"is_bot": false,
"headline": "accept ; as well for interfaces",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:27:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2545d72ed95708e6600a694f1485404ab987470c",
"body": null,
"is_bot": false,
"headline": "0.5.16",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T16:39:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6198327195c02d264046b3251d8593f3412bcadf",
"body": null,
"is_bot": false,
"headline": "bump version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T16:39:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2eef05b07c0912cfef1ccf99d4780f793fe238d3",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:20:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3c22bdec7d6d93021c6e8710c089700f14ac1f23",
"body": null,
"is_bot": false,
"headline": "update flue case study desc",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:09:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "355c091c4161ee3f777c1fd3621a033e19e0b6ae",
"body": "truthy object",
"is_bot": false,
"headline": "Merge pull request #165 from midspiral/truthy-object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:00:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ea96f11b3341320b455b45b45c11375b6a08097",
"body": null,
"is_bot": false,
"headline": "truthy object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:51:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7f2cfe60932244e6f16941c6ba36e399261a191c",
"body": null,
"is_bot": false,
"headline": "flue case study",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:30:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42470537798e84e232d754c6ae4abf7445697b5a",
"body": "more cases in narrowing",
"is_bot": false,
"headline": "Merge pull request #164 from midspiral/narrow-more",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:17:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f9904958c8c8f75b3d9ada34aeea668d269aa5c6",
"body": null,
"is_bot": false,
"headline": "more cases in narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:09:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b495a9b438b7965adfb7583258b7b9caed26dbda",
"body": "shard check of dafny examples in CI",
"is_bot": false,
"headline": "Merge pull request #163 from midspiral/ci-shard-dafny",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:03:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6f596115e9f3a9c1e7dece4471bb4ed496659062",
"body": null,
"is_bot": false,
"headline": "shard check of dafny examples in CI",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:55:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d59e97f2ce5735ccc96ee9f8f0635620f8dec628",
"body": "cache dafny on ci",
"is_bot": false,
"headline": "Merge pull request #162 from midspiral/ci-cache-dafny",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:45:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bff56b5792d306d908b43f2d2fd646f062fbe39e",
"body": null,
"is_bot": false,
"headline": "tweak to regen as used in CI, to avoid verifying twice",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:35:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f8095273577a53aac2baa2c274ac2696ce7326",
"body": null,
"is_bot": false,
"headline": "cache dafny on ci",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:27:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "961b35a9bf6d33111c84dd1bd6d796000989fab2",
"body": "lift artificial limitations with continue",
"is_bot": false,
"headline": "Merge pull request #161 from midspiral/enable-continue",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:10:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bae990c1b7b3c852d1a93ac886f910e0e1214902",
"body": null,
"is_bot": false,
"headline": "lift artificial limitations with continue",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:55:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fa1d07343132a16402738771736de20f435eebd3",
"body": "heterogenuous tuples, when needed",
"is_bot": false,
"headline": "Merge pull request #160 from midspiral/hetero-tuples",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:32:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "98d4b7f0f843423f804dbb7629c485924d4569e7",
"body": null,
"is_bot": false,
"headline": "heterogenuous tuples, when needed",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:18:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c71bfc689c23e333f1e7a1d56affdf3ce2d0c2f1",
"body": null,
"is_bot": false,
"headline": "0.5.15",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T11:33:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ff8c179c8d3a69edfe6de51f3841e2f0bb2462ea",
"body": null,
"is_bot": false,
"headline": "bump version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T11:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b9b1e2a8d9a96ef957d1ddac3df4e3b850d214d8",
"body": "reset lean module",
"is_bot": false,
"headline": "Merge pull request #159 from midspiral/reset-lean",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:52:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4b25972068bdad92d78a79481d5d796940fad8a4",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into reset-lean",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:32:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "abfff93ffe887150b8a9dad8c6615a0f1001096c",
"body": null,
"is_bot": false,
"headline": "sweep doc update",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:32:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac6670aa7f5b016e0e24958fa2f100e6bb83cc92",
"body": null,
"is_bot": false,
"headline": "reset lean module",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:16:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f03cd382ad8db82995fdd7b1f8be378c72c6e20b",
"body": null,
"is_bot": false,
"headline": "npm-publish env",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T01:44:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8eb337a4a342ec60018564962e18ff234bcf29be",
"body": "JS-accurate trim",
"is_bot": false,
"headline": "Merge pull request #158 from midspiral/trim",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:58:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6367977fa697df84f717072e3ec393b423386cb6",
"body": null,
"is_bot": false,
"headline": "copy favicon from main website",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:56:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09b35ddb186fb85a73c50643a27c0e8d5d55a7f1",
"body": null,
"is_bot": false,
"headline": "retrigger CI after updates of case studies",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:48:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "11e1b8b3c6a8ccbb6e8155c220e6892e23ec7108",
"body": null,
"is_bot": false,
"headline": "JS-accurate trim",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:39:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65e2471aeca8a493a6489511d88bf8f9c545f600",
"body": null,
"is_bot": false,
"headline": "Merge branch 'field-size'",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T19:57:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c632171283492c74fe661bcc56ad4d8c4ae70e29",
"body": null,
"is_bot": false,
"headline": "0.5.14",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T19:56:02Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 8,
"commits_last_year": 1018,
"latest_release_at": "2026-07-19T10:31:32Z",
"latest_release_tag": "v0.5.18",
"releases_from_tags": true,
"days_since_last_push": 1,
"active_weeks_last_year": 16,
"days_since_latest_release": 5,
"mean_days_between_releases": 1.9
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "lemmascript",
"exists": true,
"license": "MIT",
"keywords": [
"lemmascript",
"verification",
"formal-verification",
"verified",
"typescript",
"lean4",
"dafny",
"formal-methods"
],
"ecosystem": "npm",
"matches_repo": true,
"registry_url": "https://www.npmjs.com/package/lemmascript",
"is_deprecated": false,
"latest_version": "0.5.18",
"repository_url": "https://github.com/midspiral/LemmaScript",
"versions_count": 27,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": 2,
"monthly_downloads": 4607,
"first_published_at": "2026-04-01T19:55:18.946000Z",
"latest_published_at": "2026-07-19T10:32:26.135000Z",
"latest_version_yanked": null,
"days_since_latest_publish": 5
}
]
},
"popularity": {
"forks": 5,
"stars": 72,
"watchers": 1,
"fork_history": {
"days": [
{
"date": "2026-05-19",
"count": 2
},
{
"date": "2026-06-30",
"count": 1
},
{
"date": "2026-07-08",
"count": 1
},
{
"date": "2026-07-20",
"count": 1
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 8
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": true,
"has_dockerfile": false,
"has_mcp_signal": true,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"examples/tsconfig.json",
"site/tsconfig.json",
"tools/tsconfig.json"
],
"toolchain_manifests": [],
"largest_source_bytes": 120099,
"source_files_sampled": 89,
"oversized_source_files": 4,
"agent_instruction_files": [
"AGENTS.md"
],
"agent_instruction_max_bytes": 12661
},
"dependencies": {
"manifests": [
"package.json",
"site/package.json",
"tools/package.json"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [
{
"name": "brace-expansion",
"direct": false,
"version": "2.1.2",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-mh99-v99m-4gvg"
],
"fixed_version": "5.0.8",
"advisory_count": 1,
"oldest_advisory_days": 0
},
{
"name": "uuid",
"direct": false,
"version": "9.0.1",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-w5hq-g745-h8pq"
],
"fixed_version": "13.0.1",
"advisory_count": 1,
"oldest_advisory_days": 93
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"high": 2
},
"advisory_count": 2,
"affected_count": 2,
"assessed_count": 165,
"malicious_count": 0,
"assessed_package": "npm:lemmascript@0.5.18",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"npm"
],
"dependencies": [
{
"name": "lemmascript-claimcheck",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^0.2.0"
},
{
"name": "ts-morph",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^25.0.0"
},
{
"name": "@astrojs/starlight",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^0.39.2"
},
{
"name": "@fontsource/dm-sans",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^5.2.8"
},
{
"name": "@fontsource/jetbrains-mono",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^5.2.8"
},
{
"name": "astro",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^6.3.7"
},
{
"name": "sharp",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^0.34.5"
},
{
"name": "ts-morph",
"manifest": "tools/package.json",
"ecosystem": "npm",
"version_constraint": "^25.0.0"
}
],
"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": 7,
"merged_prs": 167,
"open_issues": 1,
"closed_ratio": 0.5,
"closed_issues": 1,
"closed_unmerged_prs": 3
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "namin",
"commits": 1002,
"avatar_url": "https://avatars.githubusercontent.com/u/6441?v=4"
},
{
"type": "User",
"login": "graciolli-f",
"commits": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/26588811?v=4"
},
{
"type": "User",
"login": "hath995",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/381037?v=4"
}
],
"contributors_sampled": 3,
"top_contributor_share": 0.984
},
"quality_signals": {
"has_ci": true,
"has_tests": false,
"ci_workflows": [
"ci.yml",
"kit-bump.yml",
"release-sync.yml",
"release.yml",
"site.yml",
"verify.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"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": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "1 out of 1 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": 0,
"reason": "Found 0/5 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 7 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 2 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": 6,
"reason": "dependency not pinned by hash detected -- score normalized to 6",
"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": 0,
"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": "16 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e7f35c609dd952bda27a351495191100ad341ed5",
"ran_at": "2026-07-25T07:42:36Z",
"aggregate_score": 4.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-24T02:59:17Z",
"oldest_open_prs": [
{
"number": 69,
"created_at": "2026-05-16T18:00:22Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 78,
"created_at": "2026-05-19T13:56:20Z",
"last_comment_at": "2026-05-26T04:21:58Z",
"last_comment_author": "namin"
},
{
"number": 87,
"created_at": "2026-05-23T21:24:39Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 101,
"created_at": "2026-05-26T21:47:15Z",
"last_comment_at": "2026-05-27T10:50:18Z",
"last_comment_author": "hath995"
},
{
"number": 141,
"created_at": "2026-06-26T01:17:04Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 170,
"created_at": "2026-07-12T01:27:34Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 178,
"created_at": "2026-07-21T16:33:23Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-23T17:37:02Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 142,
"created_at": "2026-06-28T19:37:04Z",
"last_comment_at": "2026-06-28T20:42:31Z",
"last_comment_author": "graciolli-f"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/midspiral/LemmaScript",
"host": "github.com",
"name": "LemmaScript",
"owner": "midspiral"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 58,
"inputs": {
"security": 49,
"vitality": 80,
"community": 47,
"governance": 56,
"engineering": 52
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 80,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"commits_last_year": 1018,
"human_commit_share": 1,
"days_since_last_push": 1,
"active_weeks_last_year": 16
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "16/52 weeks with commits",
"points": 11.1,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 16
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "1018 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 1018
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 2 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.5.18",
"releases_from_tags": true,
"days_since_latest_release": 5,
"mean_days_between_releases": 1.9
},
"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 5 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 5
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~1.9 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 1.9
}
}
],
"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": "at_risk",
"name": "Community & Adoption",
"value": 47,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "at_risk",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 35,
"inputs": {
"forks": 5,
"stars": 72,
"watchers": 1,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "72 stars",
"points": 30,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 72
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "5 forks",
"points": 5,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 5
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "1 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 1
}
}
],
"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 (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"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
}
]
},
{
"key": "ecosystem_adoption",
"band": "moderate",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 61,
"inputs": {
"packages": [
"lemmascript"
],
"dependents": null,
"ecosystems": "npm",
"total_downloads": null,
"monthly_downloads": 4607
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "4,607 downloads/month across npm",
"points": 48.8,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 4607,
"ecosystems": "npm"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 56,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 24,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 3,
"top_contributor_share": 0.984
},
"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 98% of commits",
"points": 0.4,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 98
}
}
],
"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 7 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"merged_prs": 167,
"open_issues": 1,
"closed_issues": 1,
"issue_closed_ratio": 0.5,
"closed_unmerged_prs": 3
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "50% of issues closed",
"points": 23.4,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 50
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "167/170 decided PRs merged",
"points": 37.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 167,
"decided": 170
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/5 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 53,
"inputs": {
"followers": 26,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "midspiral",
"public_repos": 35,
"account_age_days": 289
},
"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": "26 followers of midspiral",
"points": 10.3,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 26,
"login": "midspiral"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "35 public repos, account ~0 yr old",
"points": 12.9,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 35
}
},
{
"code": "account_age_years",
"params": {
"years": 0
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"lemmascript"
],
"ecosystems": "npm",
"any_deprecated": false,
"min_days_since_publish": 5
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on npm",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "npm"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 5 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 5
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "27 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 27
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 52,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "at_risk",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 44,
"inputs": {
"has_ci": true,
"has_tests": false,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "6 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 6
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"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": "1 out of 1 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": 65,
"inputs": {
"topics": [
"dafny",
"lean",
"lean4",
"lemmascript",
"typescript",
"ai",
"llm",
"verification"
],
"has_wiki": false,
"homepage": "https://lemmascript.org",
"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": "https://lemmascript.org",
"points": 15,
"status": "met",
"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": "8 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 8
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "at_risk",
"name": "Security",
"value": 49,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"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": 42,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 4.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 not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "1 out of 1 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 0/5 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 7 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 2 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 6",
"points": 3,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "16 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "good",
"name": "Dependency advisories",
"note": "Matched the npm:lemmascript@0.5.18 runtime dependency closure — what installing the published package pulls in — 165 packages. Reachability is not analyzed.",
"notes": [
{
"code": "advisories_scope_published",
"params": {
"package": "npm:lemmascript@0.5.18",
"assessed": 165
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 77,
"inputs": {
"source": "osv",
"advisories": 2,
"affected_packages": 2,
"assessed_packages": 165,
"unassessed_packages": 0,
"affected_by_severity": "high 2",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "2 affected: brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5)",
"points": 8.4,
"status": "partial",
"details": [
{
"code": "advisories_affected",
"params": {
"count": 2,
"packages": "brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5)"
}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "1 advisory-carrying package(s) unaddressed past 90 days; oldest published 93 days ago",
"points": 33.7,
"status": "partial",
"details": [
{
"code": "advisories_stale",
"params": {
"days": 90,
"count": 1,
"oldest": 93
}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 165,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"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": 4
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 56,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "good",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"has_llms_txt": true,
"legible_history_share": 0.19,
"agent_instruction_files": [
"AGENTS.md"
],
"agent_instruction_max_bytes": 12661
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "AGENTS.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "AGENTS.md"
}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": "llms.txt present",
"points": 15,
"status": "met",
"details": [
{
"code": "llms_txt_present",
"params": {}
}
],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "19 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 10.1,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 19,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "critical",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 27,
"inputs": {
"has_nix": false,
"has_tests": false,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"examples/tsconfig.json",
"site/tsconfig.json",
"tools/tsconfig.json"
],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "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 6",
"points": 6,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 98,
"inputs": {
"primary_language": "TypeScript",
"largest_source_bytes": 120099,
"source_files_sampled": 89,
"oversized_source_files": 4
},
"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": "4/89 source files over 60KB",
"points": 52.5,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 89,
"oversized": 4
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "moderate",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": true,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 20,
"status": "met",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"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-25T07:42:50.145682Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/m/midspiral/LemmaScript.svg",
"full_name": "midspiral/LemmaScript",
"license_state": "standard",
"license_spdx": "MIT"
}