Public recordModerate
Software health reportschema 0.27.0 · metrics 1.13.0 · 2026-07-25 07:42 UTC
midspiral / LemmaScript
verification toolchain for TypeScript (Tech Preview)
midspiral/LemmaScript holds a health index of 58 out of 100, placing it in the Moderate band. It scores highest on Vitality (80/100) and lowest on Community & Adoption (47/100). It was last updated 1 day ago. A single contributor accounts for most of its recent work.
58
overall / 100Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At risk ceiling of 49. AI Readiness sits outside the overall score.
58
Excellent85-100Exemplary; meets essentially all checked criteria
Good70-84Healthy; minor gaps
Moderate50-69Acceptable with notable gaps; review recommended
At risk30-49Significant weaknesses; adoption warrants caution
Critical1-29Severe problems (abandoned, single-maintainer, no hygiene)
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
Ownership
midspiralOrganization
26 followers35 public repossince Oct 2025
This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.
Package ecosystems
| Registry | Package | Version | Downloads / mo | Versions | Last publish | Tags |
|---|---|---|---|---|---|---|
| npm | lemmascript | 0.5.18 | 4,607 | 27 | 5 days ago | lemmascriptverificationformal-verificationverifiedtypescriptlean4dafnyformal-methods |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
80
Development activity
75Good
How it's scored
| 36/36 | Push recency — last push 1 days ago |
| 11.1/36 | Commit cadence — 16/52 weeks with commits |
| 18/18 | Commit volume — 1,018 commits in the last year |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
Inputs used
| commits_last_year | 1,018 |
| human_commit_share | 1 |
| days_since_last_push | 1 |
| active_weeks_last_year | 16 |
Release discipline
88Excellent
How it's scored
| 16.2/27 | Ships releases — 8 version tags (no GitHub releases) |
| 36/36 | Release recency — latest release 5 days ago |
| 27/27 | Release cadence — a release every ~1.9 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 8 |
| latest_release_tag | v0.5.18 |
| releases_from_tags | yes |
| days_since_latest_release | 5 |
| mean_days_between_releases | 1.9 |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
47
Popularity & adoption
35At risk
How it's scored
| 30/60 | Stars — 72 stars |
| 5/25 | Forks — 5 forks |
| 0/15 | Watchers — 1 watchers |
Inputs used
| forks | 5 |
| stars | 72 |
| watchers | 1 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
50Moderate
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (MIT) |
| 0/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 0/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Ecosystem adoption (downloads)
61Moderate
How it's scored
| 48.8/80 | Monthly downloads — 4,607 downloads/month across npm |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | lemmascript |
| dependents | — |
| ecosystems | npm |
| total_downloads | — |
| monthly_downloads | 4,607 |
Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
56
Maintainer resilience (bus factor)
24Critical
How it's scored
| 9/54 | Bus factor — 1 contributor(s) cover half of all commits |
| 0.4/22.5 | Commit distribution — top contributor authored 98% of commits |
| 4.1/13.5 | Contributor breadth — 3 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 7 contributing companies or organizations |
Inputs used
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0.984 |
Issue & PR responsiveness
61Moderate
How it's scored
| 23.4/46.8 | Issue resolution — 50% of issues closed |
| 37.6/38.3 | PR acceptance — 167/170 decided PRs merged |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
Inputs used
| merged_prs | 167 |
| open_issues | 1 |
| closed_issues | 1 |
| issue_closed_ratio | 0.5 |
| closed_unmerged_prs | 3 |
Ownership & stewardship
53Moderate
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 10.3/25 | Owner reach — 26 followers of midspiral |
| 12.9/25 | Track record — 35 public repos, account ~0 yr old |
Inputs used
| followers | 26 |
| owner_type | Organization |
| is_verified | — |
| owner_login | midspiral |
| public_repos | 35 |
| account_age_days | 289 |
Package maintenance
100Excellent
How it's scored
| 25/25 | Published & resolvable — 1 package(s) on npm |
| 35/35 | Publish recency — latest publish 5 days ago |
| 20/20 | Version history — 27 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | lemmascript |
| ecosystems | npm |
| any_deprecated | no |
| min_days_since_publish | 5 |
Engineering Quality
Are baseline engineering and documentation practices in place?
52
Engineering practices
44At risk
How it's scored
| 24/24 | CI workflows — 6 workflow(s) |
| 0/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 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 |
Inputs used
| has_ci | yes |
| has_tests | no |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
65Moderate
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 15/15 | Documentation / homepage site — https://lemmascript.org |
| 10/10 | Repository description |
| 10/10 | Topics — 8 topics |
| 0/10 | Wiki |
Inputs used
| topics | dafny, lean, lean4, lemmascript, typescript, ai, llm, verification |
| has_wiki | no |
| homepage | https://lemmascript.org |
| has_readme | yes |
| has_docs_dir | no |
| has_description | yes |
Security
Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?
49
Security posture
42At risk
How it's scored
| 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 — 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 — no data |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 16 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 4.2 |
Excluded from scoring (no data or not applicable): signed_releases. Remaining weights renormalized.
Dependency advisories
77Good
How it's scored
| 35/35 | Direct dependencies free of known advisories — no direct dependency carries a known advisory |
| 8.4/25 | Indirect dependencies free of known advisories — 2 affected: brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5) |
| 33.7/40 | No advisories left outstanding — 1 advisory-carrying package(s) unaddressed past 90 days; oldest published 93 days ago |
Inputs used
| source | osv |
| advisories | 2 |
| affected_packages | 2 |
| assessed_packages | 165 |
| unassessed_packages | 0 |
| affected_by_severity | high 2 |
| direct_affected_packages | 0 |
Matched the npm:lemmascript@0.5.18 runtime dependency closure — what installing the published package pulls in — 165 packages. Reachability is not analyzed.
AI Readiness
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.
56
Agent context & guidance
70Good
How it's scored
| 45/45 | Agent instructions — AGENTS.md |
| 15/15 | Machine-readable docs (llms.txt) — llms.txt present |
| 10.1/40 | Legible commit history — 19 of 100 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | yes |
| legible_history_share | 0.19 |
| agent_instruction_files | AGENTS.md |
| agent_instruction_max_bytes | 12,661 |
Verify loop (build / test / typecheck)
27Critical
How it's scored
| 0/18 | One-command bootstrap |
| 0/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| 10/10 | Reproducible environment — lockfile |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 0/8 | Automated maintenance — no automated dependency updates observed |
| 6/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
Inputs used
| has_nix | no |
| has_tests | no |
| lockfiles | package-lock.json |
| has_dockerfile | no |
| typed_language | yes |
| bootstrap_files | — |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Code legibility for models
98Excellent
How it's scored
| 45/45 | Type-checkable code — TypeScript (statically typed) |
| 52.5/55 | Manageable file sizes — 4/89 source files over 60KB |
Inputs used
| primary_language | TypeScript |
| largest_source_bytes | 120,099 |
| source_files_sampled | 89 |
| oversized_source_files | 4 |
Machine-readable interfaces
60Moderate
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) |
| 20/20 | MCP server |
| 40/40 | Runnable examples — examples |
Inputs used
| example_dirs | examples |
| has_mcp_signal | yes |
| api_schema_files | — |
Key facts
72GitHub stars
3contributors
1,018commits, last 12 months
1days since last push
8releases
1bus factor
1open issues
npmpackage ecosystems
Data collection 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
More detail
Star and fork history 0 ★ / 5 ⇿
0Stars
5Forks
8Releases
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Major 0Minor 0Patch 8
OpenSSF Scorecard 4.2 / 10
4.2aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).
| 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 |
| n/a | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 16 existing vulnerabilities detected |
Direct dependencies 8
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| 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 |
All dependencies not collected
The resolved dependency set could not be collected for this report: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Dependency advisories 2
Installing npm:lemmascript@0.5.18 pulls in 165 packages, direct and transitive: 2 carry known advisories, of which 0 are direct dependencies.
| Package | Version | Relation | Severity | Advisories | Fixed in |
|---|---|---|---|---|---|
| brace-expansion | 2.1.2 | indirect | high | 1 | 5.0.8 |
| uuid | 9.0.1 | indirect | high | 1 | 13.0.1 |
An advisory means the version recorded in the dependency graph falls inside an advisory’s affected range. Reachability is not analysed, and the graph includes development and test pins — a finding may concern tooling rather than shipped software.
Raw JSON report machine-readable
{
"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"
}Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v1.13.0, schema v0.27.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — npm.