Öffentliches RegisterMittel
Software-GesundheitsberichtSchema 0.27.0 · Metriken 1.13.0 · 2026-07-25 11:18 UTC
leanprover / lean-workbench
Online Lean Workbench
leanprover/lean-workbench erreicht einen Gesundheitsindex von 58 von 100 und liegt damit im Bereich Mittel. Am stärksten schneidet es bei Vitality (83/100) ab, am schwächsten bei Community & Adoption (26/100). Zuletzt vor 7 Tagen aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
58
gesamt / 100Software-Gesundheitsindex
Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
58
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Eigentümerschaft
LeanOrganisation
1.255 Follower127 öffentliche Reposseit Apr. 2014
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
83
Wie die Bewertung erfolgt
| 36/36 | Push-Aktualität — letzter Push vor 7 Tagen |
| 15.2/36 | Commit-Rhythmus — 22/52 Wochen mit Commits |
| 18/18 | Commit-Volumen — 181 Commits im letzten Jahr |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
Verwendete Eingangsdaten
| commits_last_year | 181 |
| human_commit_share | 1 |
| days_since_last_push | 7 |
| active_weeks_last_year | 22 |
Release-Disziplin
88Exzellent
Wie die Bewertung erfolgt
| 16.2/27 | Liefert Releases aus — 8 Versions-Tags (keine GitHub-Releases) |
| 36/36 | Release-Aktualität — letztes Release vor 7 Tagen |
| 27/27 | Release-Rhythmus — ein Release etwa alle 16,2 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — keine Daten |
Verwendete Eingangsdaten
| releases_count | 8 |
| latest_release_tag | v0.0.9 |
| releases_from_tags | ja |
| days_since_latest_release | 7 |
| mean_days_between_releases | 16,2 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
26
Popularität & Verbreitung
5Kritisch
Wie die Bewertung erfolgt
| 4.9/60 | Stars — 3 Stars |
| 0/25 | Forks — 0 Forks |
| 0/15 | Watcher — 2 Watcher |
Verwendete Eingangsdaten
| forks | 0 |
| stars | 3 |
| watchers | 2 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
50Mittel
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 22.5/22.5 | Lizenz — anerkannte Lizenz (Apache-2.0) |
| 0/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 0/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | ja |
| has_contributing | nein |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| has_pull_request_template | nein |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
54
Maintainer-Resilienz (Bus-Faktor)
30Gefährdet
Wie die Bewertung erfolgt
| 9/54 | Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab |
| 7/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 69 % der Commits |
| 4.1/13.5 | Breite der Beitragenden — 3 Beitragende |
| 10/10 | OpenSSF Scorecard: Contributors — project has 9 contributing companies or organizations |
Verwendete Eingangsdaten
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0,691 |
Wie die Bewertung erfolgt
| 15.6/46.8 | Issue-Lösungsquote — 33 % der Issues geschlossen |
| 36.1/38.3 | PR-Annahme — 34/36 entschiedene PRs gemergt |
| 7.5/15 | OpenSSF Scorecard: Code-Review — Found 8/16 approved changesets -- score normalized to 5 |
Verwendete Eingangsdaten
| merged_prs | 34 |
| open_issues | 18 |
| closed_issues | 9 |
| issue_closed_ratio | 0,333 |
| closed_unmerged_prs | 2 |
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 0/20 | Verifizierte Domain |
| 22.3/25 | Reichweite des Inhabers — 1.255 Follower von leanprover |
| 25/25 | Kontohistorie — 127 öffentliche Repos, Kontoalter ca. 12 Jahre |
Verwendete Eingangsdaten
| followers | 1.255 |
| owner_type | Organization |
| is_verified | — |
| owner_login | leanprover |
| public_repos | 127 |
| account_age_days | 4.490 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
70
Wie die Bewertung erfolgt
| 24/24 | CI-Workflows — 2 Workflow(s) |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration — eslint.config.mjs |
| 0/9.6 | Pre-Commit-Hooks |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
Verwendete Eingangsdaten
| has_ci | ja |
| has_tests | ja |
| has_editorconfig | nein |
| has_linter_config | ja |
| has_precommit_config | nein |
Dokumentation
50Mittel
Wie die Bewertung erfolgt
| 30/30 | README |
| 0/25 | Dokumentationsverzeichnis |
| 0/15 | Dokumentations-/Homepage-Site |
| 10/10 | Repository-Beschreibung |
| 0/10 | Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | — |
| has_wiki | ja |
| homepage | — |
| has_readme | ja |
| has_docs_dir | nein |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
52
Sicherheitslage
52Mittel
Wie die Bewertung erfolgt
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 2.2/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 3.8/7.5 | Code-Review — Found 8/16 approved changesets -- score normalized to 5 |
| 2.5/2.5 | Contributors — project has 9 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Lizenz — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — keine Daten |
| 6.8/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 65 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 5,2 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): signed_releases. Die verbleibenden Gewichte wurden renormalisiert.
AI Readiness
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
77
Wie die Bewertung erfolgt
| 45/45 | Agentenanweisungen — AGENTS.md, CLAUDE.md |
| 0/15 | Maschinenlesbare Doku (llms.txt) |
| 26.7/40 | Lesbare Commit-Historie — 50 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| legible_history_share | 0,5 |
| agent_instruction_files | AGENTS.md, CLAUDE.md |
| agent_instruction_max_bytes | 3.084 |
Wie die Bewertung erfolgt
| 18/18 | Bootstrap mit einem Befehl — Makefile |
| 22/22 | Automatisierte Tests |
| 11/11 | Lint-/Format-Konfiguration — eslint.config.mjs |
| 11/11 | Statische Typprüfung — collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json |
| 10/10 | Reproduzierbare Umgebung — Dockerfile, lockfile |
| 0/10 | Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100 |
| 0/8 | Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Verwendete Eingangsdaten
| has_nix | nein |
| has_tests | ja |
| lockfiles | package-lock.json |
| has_dockerfile | ja |
| typed_language | ja |
| bootstrap_files | Makefile |
| has_devcontainer | nein |
| has_linter_config | ja |
| typecheck_configs | collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
AI-Code-Lesbarkeit für Modelle
100Exzellent
Wie die Bewertung erfolgt
| 45/45 | Typprüfbarer Code — TypeScript (statisch typisiert) |
| 55/55 | Handhabbare Dateigrößen — 0/66 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | TypeScript |
| largest_source_bytes | 17.629 |
| source_files_sampled | 66 |
| oversized_source_files | 0 |
Eckdaten
3GitHub-Sterne
3Mitwirkende
181Commits, letzte 12 Monate
7Tage seit letztem Push
8Releases
1Bus-Faktor
18offene Issues
npmPaket-Ökosysteme
Warnungen zur Datenerhebung
- 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
Weitere Details
OpenSSF Scorecard 5.2 / 10
5.2Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 3 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 5 | Code-Review | Found 8/16 approved changesets -- score normalized to 5 |
| 10 | Contributors | project has 9 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| k. A. | Signed-Releases | no releases found |
| 9 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 65 existing vulnerabilities detected |
Direkte Abhängigkeiten 19
| Registry | Paket | Versionsvorgabe | Manifest |
|---|---|---|---|
| npm | @hocuspocus/extension-database | ^4.0.0 | collab-server/package.json |
| npm | @hocuspocus/server | ^4.0.0 | collab-server/package.json |
| npm | esbuild | ^0.28 | collab-server/package.json |
| npm | @hocuspocus/provider | ^4.0.0 | package.json |
| npm | @prisma/adapter-better-sqlite3 | ^7.7.0 | package.json |
| npm | @prisma/client | ^7.7.0 | package.json |
| npm | better-auth | ^1.6.2 | package.json |
| npm | chokidar | ^5.0.0 | package.json |
| npm | next | 16.2.3 | package.json |
| npm | prisma | ^7.7.0 | package.json |
| npm | react | 19.2.4 | package.json |
| npm | react-dom | 19.2.4 | package.json |
| npm | swr | ^2.4.1 | package.json |
| npm | ws | ^8.20.0 | package.json |
| npm | zod | ^4.3.6 | package.json |
| npm | @hocuspocus/provider | ^4.0 | vscode-workbench/package.json |
| npm | minimatch | ^10.2 | vscode-workbench/package.json |
| npm | ws | ^8.20 | vscode-workbench/package.json |
| npm | zod | ^4.4 | vscode-workbench/package.json |
Alle Abhängigkeiten nicht erhoben
Der aufgelöste Abhängigkeitssatz konnte für diesen Bericht nicht erhoben werden: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
JSON-Rohbericht maschinenlesbar
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 1170,
"has_wiki": true,
"homepage": null,
"languages": {
"CSS": 9204,
"Lean": 51,
"Shell": 15688,
"Makefile": 3216,
"Dockerfile": 7598,
"JavaScript": 3277,
"TypeScript": 173117
},
"pushed_at": "2026-07-17T23:07:48Z",
"created_at": "2026-03-05T17:37:55Z",
"owner_type": "Organization",
"updated_at": "2026-07-17T23:06:22Z",
"description": "Online Lean Workbench",
"is_archived": false,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "main",
"license_spdx_raw": "Apache-2.0",
"primary_language": "TypeScript",
"significant_languages": [
"TypeScript"
]
},
"owner": {
"blog": "https://lean-lang.org/",
"name": "Lean",
"type": "Organization",
"login": "leanprover",
"company": null,
"location": null,
"followers": 1255,
"avatar_url": "https://avatars.githubusercontent.com/u/7233018?v=4",
"created_at": "2014-04-09T01:36:59Z",
"is_verified": null,
"public_repos": 127,
"account_age_days": 4490
},
"license": {
"state": "standard",
"spdx_id": "Apache-2.0",
"raw_spdx": "Apache-2.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.0.9",
"kind": "patch",
"published_at": "2026-07-17T23:06:17Z"
},
{
"tag": "v0.0.8",
"kind": "patch",
"published_at": "2026-06-30T16:09:16Z"
},
{
"tag": "v0.0.7",
"kind": "patch",
"published_at": "2026-06-29T17:53:32Z"
},
{
"tag": "v0.0.6",
"kind": "patch",
"published_at": "2026-06-24T20:11:16Z"
},
{
"tag": "v0.0.4",
"kind": "patch",
"published_at": "2026-06-22T14:36:57Z"
},
{
"tag": "v0.0.3",
"kind": "patch",
"published_at": "2026-05-07T19:44:21Z"
},
{
"tag": "v0.0.2",
"kind": "patch",
"published_at": "2026-05-06T20:51:39Z"
},
{
"tag": "v0.0.1",
"kind": "patch",
"published_at": "2026-03-26T20:21:03Z"
}
],
"recent_commits": [
{
"oid": "151084fb26716feab38ceab01696d1d7aa353828",
"body": "* chore: bump code-server to v4.128.0\n\n* fix: make code-server build desktop VSC\n\n* doc: adjust README\n\n* chore: bump code-server to v4.129.0",
"is_bot": false,
"headline": "chore: bump code-server to v4.129.0 (#60)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-07-17T23:06:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c3240a71af4faa54dfe5e22b15f4fc25eda7206b",
"body": "chore: change eslint config to sort imports with --fix",
"is_bot": false,
"headline": "Merge pull request #57 from leanprover/sort-imports",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-04T22:09:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09280374f599765be40b77653b6ed3f5c81de4bf",
"body": null,
"is_bot": false,
"headline": "Fix package-lock.json",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-04T14:02:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ede7643290ba0c59d7a53d745e19351a53232650",
"body": null,
"is_bot": false,
"headline": "Fix all the emergent eslint problems",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:58:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "369d6cc75a8e542747068b80cf2df61186186fcd",
"body": "prettier autosave was making Rob sad",
"is_bot": false,
"headline": "chore: change eslint config to sort imports with --fix",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:57:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3154d991ad9a1b0ca40a81a475b0d7729ccf04ff",
"body": "chore: standardize on '@/' style paths instead of '../' relative ones",
"is_bot": false,
"headline": "Merge pull request #56 from leanprover/standardize-on-nonrelative-paths",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:49:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b2886d5152e9c6692f73fb4a5ddb6779301787ce",
"body": null,
"is_bot": false,
"headline": "undo vscode setting change",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:48:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e99c9bfd892c4674a7844f4ff25bcf9867588b39",
"body": null,
"is_bot": false,
"headline": "Update eslint.config.mjs",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:02:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1ed5568420544e75e5607e1a59c4f6505c4fdf20",
"body": "Co-authored-by: Wojciech Nawrocki <13901751+Vtec234@users.noreply.github.com>",
"is_bot": false,
"headline": "Update .vscode/settings.json",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T23:02:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d3add389a58a5d0796948ca5ce4762c4b0f40b6e",
"body": null,
"is_bot": false,
"headline": "do the eslint action",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T18:03:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "43e2717782eef746b3ccae3eb8f25fc83e1523c7",
"body": "enforced in vscode settings, checked in eslint",
"is_bot": false,
"headline": "chore: standardize on '@/' style paths",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-03T18:02:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3daffaaf2ab76bc856c8d046597f37371bdff814",
"body": "fix: keep sse session alive with comment lines",
"is_bot": false,
"headline": "Merge pull request #52 from leanprover/keepalive-sse",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T13:02:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4f1e7ed4cf6c3a1f7fb7dbd5c1c591c0f2e0fb68",
"body": "…idn't trip me up before",
"is_bot": false,
"headline": "Add lakecache.blob.core.windows.net to allowlist, not sure why that d…",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T01:39:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9e6e61db8cbf70055c9ac8b89111144ffc58c76e",
"body": null,
"is_bot": false,
"headline": "fix: keep sse session alive with comment lines",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T01:36:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "714284c47140de22931f075d7f38c0d74f0ee59f",
"body": "feat: sandboxed dev documentation, less telemetry",
"is_bot": false,
"headline": "Merge pull request #51 from leanprover/sandbox-observations",
"author_name": "Robert J. Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T01:07:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "53c7a1a5aff8b8d2ea8b2288c844f4f95f0c81c8",
"body": null,
"is_bot": false,
"headline": "Cleanup",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-02T00:38:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ff490df0f52535d9dfe0dca423e60ad7d56dd58",
"body": null,
"is_bot": false,
"headline": "feat: sandboxed dev documentation, less telemetry",
"author_name": "Rob Simmons",
"author_login": "robsimmons",
"committed_at": "2026-07-01T21:00:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9ed981ad8f48364e7e5bf7e8f148d7f4069ba6f1",
"body": null,
"is_bot": false,
"headline": "fix: set folder param (#48)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-30T16:09:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a26f124768e402e4194cf2071d81b89fdd03b31c",
"body": null,
"is_bot": false,
"headline": "fix: webview layout on older browsers (#47)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-29T17:53:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac040e6c65f4d5a83336b47f6724062b4338ce58",
"body": null,
"is_bot": false,
"headline": "fix: build collab-server (#46)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-24T20:11:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9736ac14b225ab1d623504347d66ff4e764a3047",
"body": null,
"is_bot": false,
"headline": "feat: file preview UI in vscode-workbench (#44)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-22T14:36:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2cd743d3f205b844863127ba62e55db8a704a772",
"body": "* fix: existsAsync\n\n* feat: /_file/ route\n\n* feat: preview page\n\n* chore: rm preview route",
"is_bot": false,
"headline": "File preview routes (#43)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-17T16:14:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "510586413fdd7626c864313ff894728227f92030",
"body": "chore: bump code-server to 4.124.2",
"is_bot": false,
"headline": "Merge pull request #42 from leanprover/code-123.0",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-16T13:44:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f822207f970bf47a8a2c021a1100a6d6cb156ef0",
"body": "Fix webview styles",
"is_bot": false,
"headline": "Merge pull request #39 from leanprover/infoview-css",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T14:39:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f8380f293e0d0ed0cbc92cce3242d344a21426",
"body": "More tools and user home directories",
"is_bot": false,
"headline": "Merge pull request #38 from leanprover/branch-tools",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T14:39:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b8d5d40839ffd36af1475e421a9b804809992334",
"body": null,
"is_bot": false,
"headline": "fix: lint",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T11:17:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "164f6c0d87183956365310ea2b96c07dd29a469f",
"body": null,
"is_bot": false,
"headline": "ci: pull from cache in test step",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T11:11:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7eb50faddac1e53ce7e7872041a68343c8166271",
"body": "Merge main into branch-tools",
"is_bot": false,
"headline": "Merge pull request #40 from leanprover/main",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T10:47:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "abd1ca91eb4d29c63251abec9c7fefeb26923e88",
"body": "Fixes #34.",
"is_bot": false,
"headline": "ci: cache docker layers",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T09:57:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1a27e57b7a677643cd0535bd976840c4ffcc7c00",
"body": null,
"is_bot": false,
"headline": "feat: add pdf reader extension",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T09:00:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6fbc9959de3e02ba13ecbb2cadf3f26e9c4e2fa8",
"body": null,
"is_bot": false,
"headline": "fix: make webview style requests cors",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-10T09:00:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5ccde0e803d70a90ac60df25484c45707b18d226",
"body": null,
"is_bot": false,
"headline": "fix: TeX",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T16:33:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "288b6368c885b67004e12fc5474e571b7248d61e",
"body": null,
"is_bot": false,
"headline": "chore: unshare IPC",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T15:15:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "756df3b44e94e6d8c42d67288836f323762cdb21",
"body": null,
"is_bot": false,
"headline": "feat: user homes",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T15:11:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "038273e3ee801132db6e0c66c16996e60d6b19e3",
"body": null,
"is_bot": false,
"headline": "feat: install common TeXLive and GCC",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T13:46:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "32e129f78cd872054f59a4246f0cca23819e35dd",
"body": "* feat: single overlay\n\n* chore: move\n\n* feat: RcMap\n\n* feat: ref-count resources\n\n* fix: check for W_OK and use named volume",
"is_bot": false,
"headline": "feat: build a single overlayfs on project directories (#37)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-09T12:33:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3f5f021789a0f44e3b2b2075413c3231394dfb0f",
"body": "* chore: move module\n\n* chore: this IS the Next.js you know\n\n* feat: stricter ID and name parsing\n\n* refactor: Error component\n\n* chore: move\n\n* feat: normalize names\n\n* fix: mathlib template ID\n\n* feat: copy all files from template\n\n* chore: rm old scripts\n\n* fix: normalize all usernames\n\n* refactor: validation helper\n\n* fix: doc\n\n* fix: use ID\n\n* feat: recasing natively in SQLite\n\n* fix: compare ID",
"is_bot": false,
"headline": "feat: validate and normalize input data (#36)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-05T17:08:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "35cd7da96f5ab3d38d0c6a0e49ad97799f0edef2",
"body": null,
"is_bot": false,
"headline": "chore: remove old conflict check",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-03T17:54:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7a131fdf5db676e042dae9d69c701ef667882255",
"body": "* feat: skip sync on tmpfs dirs\n\n* feat: writable overlay for packages",
"is_bot": false,
"headline": "fix: syncing of .lake/packages (#35)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-03T13:54:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f178c73d3c0a600a5994f9ce0ed8f5c71e298aed",
"body": "* chore: use code-server\n\n* fix: error message\n\n* feat: build code-server from source\n\n* feat: detailedReason patch for code-server\n\n* feat: test with patched code-server\n\n* chore: bump\n\n* fix: version\n\n* refactor: build both VSCs in one image",
"is_bot": false,
"headline": "feat: move to code-server and patch in edit tagging (#33)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-02T23:34:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e3bc59f1162e4db642c8ac4383650642c117b22a",
"body": "* feat: NavbarExtra\n\n* feat: canAccessProject util\n\n* refactor: sseStreamResponse\n\n* fix: sse close\n\n* feat: initial awareness backend\n\n* feat: workspace mdata\n\n* feat: share selections\n\n* feat: awareness navbar\n\n* feat: remote cursor indicators\n\n* chore: logWithPrefix\n\n* feat: add proposed API\n\n* f\n[…]\ne to disk on shutdown\n\n* chore: decouple\n\n* fix: bundle tests\n\n* feat: collab edit tests\n\n* ci: run tests\n\n* ci: try listening on localhost\n\n* feat: configurable timeout\n\n* chore: lint\n\n* doc: diagram",
"is_bot": false,
"headline": "feat: awareness for collaboration (#20)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-01T20:39:49Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "0d7449342122448ed6ea74d282994b98f6967a5a",
"body": "* chore: write-mount again\n\n* chore: absolute paths\n\n* feat: basic collab setup\n\n* feat: include better-sqlite in collab server\n\n* chore: paths\n\n* feat: collab FS\n\n* chore: persist container cache\n\n* chore: restore file: URIs\n\n* feat: syncable dir control\n\n* doc: unclear comment\n\n* chore: use node:sqlite in collab-server",
"is_bot": false,
"headline": "feat: collab support in vscode-workbench extension (#14)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-01T20:08:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7b722e9e7b4b1ae77e9ec44814e85125cda48b89",
"body": null,
"is_bot": false,
"headline": "chore: use older even-better-toml (#32)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-06-01T18:53:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ab1baa3a8742642c63752bfabf4b1d8d3525546e",
"body": null,
"is_bot": false,
"headline": "feat: quality of life improvements (#19)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-11T15:42:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ddcef93acb27fe59676c1dc59b4486396ef95016",
"body": "* feat: auth_request\n\n* fix: websocket auth\n\n* chore: silence auth-vsc log\n\n* feat: place VSC on UDS\n\n* chore: replace port code",
"is_bot": false,
"headline": "feat: use UDS instead of port for openvscode-server (#18)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-11T15:42:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8ce097b6f821a47cb394fb81ea12e5a3065268b3",
"body": "* feat: auth_request\n\n* fix: websocket auth\n\n* Apply suggestions from code review\n\nCo-authored-by: Wojciech Nawrocki <13901751+Vtec234@users.noreply.github.com>",
"is_bot": false,
"headline": "fix: guard /_vs/ routes behind Nginx auth_request (#17)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-11T15:41:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "adb5713ff385fa5ba6f64efab8bc188b77e0e4c2",
"body": "* ci: typecheck TS and build Docker\n\n* fix: build extension before docker\n\n* fix: next dev and lint",
"is_bot": false,
"headline": "ci: typecheck TS and build Docker container (#13)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-07T19:44:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "905f46d8a1c7ba52f99624d55d6c24691969887d",
"body": "* feat: set up workspace\n\n* perf: dev startup time\n\n* chore: ignore subfolders\n\n* feat: collab server\n\n* feat: start collab servers\n\n* feat: more robust server startup\n\nRemoves several race conditions from openvscode-server and collab-server startup/shutdown. Fixes 404 on initial editor session startup.\n\n* feat: invert dockerignore\n\n* fix: various paths\n\n* feat: collab server\n\n* fix: use FS dir and write-mount\n\n* fix: oops",
"is_bot": false,
"headline": "feat: collaboration server (#12)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-07T19:31:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "69a1b9a5b51cda24a9212ec37b9a18c527dcfcc3",
"body": null,
"is_bot": false,
"headline": "fix: strengthen warning in README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-05-07T16:46:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2aa3179e8ffaaeb90a4fdf7e190ecee3b10adab8",
"body": null,
"is_bot": false,
"headline": "chore: document release ci automation",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-05-06T21:06:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9fc3714b3c8c03f720872a045797fd3995511352",
"body": null,
"is_bot": false,
"headline": "add LICENSE file",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-05-06T20:51:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "13be6dd7f66530852edefce2134147a73aac5305",
"body": "* feat: debug extension host in workbench\n\n* doc: debug\n\n* feat: attach to vscode-lean4\n\n* feat: vscode-workbench extension\n\n* chore: cleanups\n\n* chore: more cleanup",
"is_bot": false,
"headline": "feat: vscode-workbench extension (#9)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-05-05T02:58:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f00394c127b93b90408effc51e3c7b26c6528c0e",
"body": "* fix: ci\n\n* fix: lint",
"is_bot": false,
"headline": "fix: ci (#10)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-29T21:52:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7226916515b7a995171659f016d090490173affd",
"body": "* feat: editor sessions cleanup\n\n* dev: HMR in Docker\n\n* feat: lean-version flag\n\n* fix: show progress in error state\n\n* feat: better session display\n\n* chore: install OCT\n\n* fix: 404 in dead _vs iframe\n\n* feat: install extensions as builtin\n\n* chore: make dir visible\n\n* feat: adapt paths\n\n* doc: document new setup",
"is_bot": false,
"headline": "Better multi-user support (#7)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-23T17:43:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34dd29c4016ce110f26ec5bff8f246ef099c760e",
"body": "* feat: scaffold\n\n* feat: ts settings\n\n* feat: prettier\n\n* feat: lint-staged\n\n* feat: other deps\n\n* feat: auth scaffold\n\n* feat: navbar\n\n* feat: page data\n\n* fix: logo warning\n\n* feat: setup redirect\n\n* fix: static route\n\n* chore: server-only\n\n* feat: root page\n\n* feat: dev routes\n\n* feat: port setu\n[…]\n\n\n* init more\n\n* setup URL\n\n* agents\n\n* files\n\n* fix: invalidate root layout\n\n* feat: Suspense\n\n* CSS fixes\n\n* chore: fully dynamic RSCs\n\n* chore: trim config\n\n* fix: gray out button\n\n* doc: AGENTS.md",
"is_bot": false,
"headline": "Port to Next.js (#6)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-20T23:41:58Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "defdddd7d23a81165fccb6a8e81e87858747821a",
"body": "* feat: dev live reload\n\n* fix: path",
"is_bot": false,
"headline": "feat: live reload (#4)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-09T23:36:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20f2458d007c8ef45e4479c4dbe5c3e139f041df",
"body": "* refactor: add NPM workspaces\n\n* fix: docker paths\n\n* style: add prettier\n\n* chore: run prettier\n\n* chore: unformat\n\n* style: add eslint\n\n* chore: tsconfigs\n\n* chore: lints\n\n* ci: lint\n\n* chore: reenable docker\n\n* chore: docker pkg versions\n\n* chore: more configurable paths\n\n* feat: host dev mode",
"is_bot": false,
"headline": "Add NPM workspaces, prettier, eslint, host-dev mode (#3)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-09T21:16:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5948c3dad8ddce44295d1da5bd7ba90061dfdcda",
"body": "* refactor: EditorSessionManager\n\n* refactor: move consts\n\n* feat: reclaim ports\n\n* fix: errors in spawner",
"is_bot": false,
"headline": "refactor: editor session manager (#2)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-08T02:12:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "190f4d4f26a8a8df0ad09f0378e784dc1b84deac",
"body": "* dev: custom DATA_DIR\n\n* fix: secure cookies\n\n* chore: IS_PROD\n\n* security: POST logout\n\n* chore: use requireAuth/Admin more\n\n* sec: use PUT to start sessions\n\n* chore: session -> editor session\n\nReduce ambiguity with 'user session'.\n\n* style: delete heading",
"is_bot": false,
"headline": "Initial security review (#1)",
"author_name": "Wojciech Nawrocki",
"author_login": "Vtec234",
"committed_at": "2026-04-07T02:45:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b020d2d6fffab702f5da72651ed7934abc432cb",
"body": null,
"is_bot": false,
"headline": "admin feature: system health",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T18:32:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "75879a2b7a61cb0377acd5fb545e498902ce02b5",
"body": null,
"is_bot": false,
"headline": "some more css tweaks",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T15:01:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b067acf70decae75a45707529a2a38bd031d0dbd",
"body": null,
"is_bot": false,
"headline": "slightly improve styling",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T14:57:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b9d4b52093493a0f1f32c7034fa00ff381da8d42",
"body": null,
"is_bot": false,
"headline": "add ability to modify users to be admin",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T14:57:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9f29cbb4433e62669fb1aa617b8e5d5efb6f13fd",
"body": null,
"is_bot": false,
"headline": "admin affordances for oauth reconfiguration",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T13:49:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cc2c25562469d64982278141170f342d00727282",
"body": null,
"is_bot": false,
"headline": "add ability for admins to kill sessions",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-04-02T13:25:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7429027bd682c8229b174aab968a3760f3cf012a",
"body": null,
"is_bot": false,
"headline": "fixes to seed script",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-27T19:18:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1494fb37aa27d52487ada915cdea00d97d427ab8",
"body": null,
"is_bot": false,
"headline": "split off developer information from README.md",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:49:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a9c1bb5914eaf70e28aebf44fb9752300c3baf9f",
"body": null,
"is_bot": false,
"headline": "don't actually bake lean into dockerfile",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:21:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9469cb56ead6c826e4387d2c9e3510b9e1fd22f9",
"body": null,
"is_bot": false,
"headline": "first attempt at release ci",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:11:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "25695842455c25d1cd88ecef8789cd59a5016974",
"body": null,
"is_bot": false,
"headline": "first draft of database migrations",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T20:09:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f9dcabbf16cca4830bc4db6a6570e9a7f5760bd3",
"body": null,
"is_bot": false,
"headline": "more cleanup",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T19:44:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c2bad636c79276aa4913dccd6d8239f2ed5e5a93",
"body": null,
"is_bot": false,
"headline": "avatar menu shows admin status",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T19:42:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9fe99c6098ab2bc005f932c995bc7e851cb661e1",
"body": null,
"is_bot": false,
"headline": "more tweaks to CLAUDE.md",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T18:42:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe7ce1bcd8a05d49d28b698adc7d0f08a9ffb006",
"body": null,
"is_bot": false,
"headline": "worktrees",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T18:40:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "44afb3af1643d6f13a19070c9e342140ab02f93e",
"body": null,
"is_bot": false,
"headline": "add some basic unit tests",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-26T17:21:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "05da034b42b6d3281355b397ffe6307be4010b90",
"body": null,
"is_bot": false,
"headline": "minor README cleanups",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:50:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2871b85fea7d65e399d286fc66638675baec13ea",
"body": null,
"is_bot": false,
"headline": "remove obsolete comment from README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:47:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52312a87594399ca868e60e45723b3e66e8cfd52",
"body": null,
"is_bot": false,
"headline": "check in client npm lockfile",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:45:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "68f7ec7171095c59b7dbd79eaf0a7e6c02ab1252",
"body": null,
"is_bot": false,
"headline": "don't erroneously show sessions on profile page",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:42:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8e98306d9fd2d8ed49eb292a6839678dcc33670",
"body": null,
"is_bot": false,
"headline": "first draft of admin page",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c4bc48b7a057aeac3706650e609c86523ac1c2c7",
"body": null,
"is_bot": false,
"headline": "first draft of being able to view non-owned projects",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-25T14:02:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09455c20d0205bc1712f46b78a3be08dfd98c6ad",
"body": null,
"is_bot": false,
"headline": "more plans",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-24T17:58:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3acd58aae476667003f695ffdc224580aee13d47",
"body": null,
"is_bot": false,
"headline": "improve confusing startup messages",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-24T15:45:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b8f5b9ef26abd4089ba3eb105705336ff434b421",
"body": null,
"is_bot": false,
"headline": "improve README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-24T15:40:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f348f4b05ec23fc0864206c5d251d46b5282dd1e",
"body": null,
"is_bot": false,
"headline": "eliminate old \"podserver\" name",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T21:46:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "38ac79ecd3dc672df224c45851538a13441a326c",
"body": "- scrolling and selection of installation log\n- `make clean-install` target",
"is_bot": false,
"headline": "various dev QoL improvements",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T20:09:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "55d1921879db60840542d6e3b06f3a9f9be3fa40",
"body": null,
"is_bot": false,
"headline": "convenience target for dev",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T19:52:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2fda5fee1776deda24d58171cbb14c2ec71b1482",
"body": null,
"is_bot": false,
"headline": "Move more config into web ui",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T19:45:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "eac2436a7e3bdb0f716db9faa8f26464eedad5fa",
"body": null,
"is_bot": false,
"headline": "update README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T16:07:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0a849f1fe194fe95441856a044c79f508c82bec0",
"body": null,
"is_bot": false,
"headline": "add installer script",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d0597ccfb10b15979d5df90e789dc2848562cbd2",
"body": null,
"is_bot": false,
"headline": "make a simple UI for setup phase",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c18dd1c59e96a4101bed7688cd2488a424e51177",
"body": "This makes test-setup-file pass",
"is_bot": false,
"headline": "fix permissions error",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "990677f74c3778229317f3db96bb97bfcdaa8ad2",
"body": null,
"is_bot": false,
"headline": "writing some better integration tests",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a5f8d4e67a6f6fde794bfa50c5c3b7928868055d",
"body": null,
"is_bot": false,
"headline": "first pass at rewriting spawner",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-12T15:50:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4fde14b42ffbf326686f1ed9bf129b7b5f85e9f4",
"body": null,
"is_bot": false,
"headline": "Reorganize some working documents",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-11T19:19:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d52947cde928cad932569580b46b9edd0771782f",
"body": null,
"is_bot": false,
"headline": "make a clear test for library/template management",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-11T19:14:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac559527c203624ee4bfd30905a9fab7b4ab23fe",
"body": "Also add .dockerignore",
"is_bot": false,
"headline": "improve (although probably not entirely fix) README",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-03-05T17:48:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ee007b38b4ad16397a316fe1b0e55d880994c63",
"body": null,
"is_bot": false,
"headline": "some better error messages",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-02-27T22:59:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e0fff68be9805bad321d939fb8104e077b0d2cba",
"body": null,
"is_bot": false,
"headline": "mathlib seeding",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-02-27T22:57:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c72c63857404a106bfc651f38d508f6d2e9640d1",
"body": null,
"is_bot": false,
"headline": "another plan",
"author_name": "Jason Reed",
"author_login": "jcreedcmu",
"committed_at": "2026-02-27T21:05:52Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 8,
"commits_last_year": 181,
"latest_release_at": "2026-07-17T23:06:17Z",
"latest_release_tag": "v0.0.9",
"releases_from_tags": true,
"days_since_last_push": 7,
"active_weeks_last_year": 22,
"days_since_latest_release": 7,
"mean_days_between_releases": 16.2
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 0,
"stars": 3,
"watchers": 2,
"fork_history": {
"days": [],
"complete": true,
"collected": 0,
"total_forks": 0
},
"star_history": null,
"open_issues_and_prs": 20
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": true,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"collab-server/tsconfig.json",
"tsconfig.json",
"vscode-workbench/tsconfig.json"
],
"toolchain_manifests": [],
"largest_source_bytes": 17629,
"source_files_sampled": 66,
"oversized_source_files": 0,
"agent_instruction_files": [
"AGENTS.md",
"CLAUDE.md"
],
"agent_instruction_max_bytes": 3084
},
"dependencies": {
"manifests": [
"collab-server/package.json",
"package.json",
"vscode-workbench/package.json"
],
"advisories": {
"error": null,
"scope": null,
"source": null,
"findings": [],
"collected": false,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 0,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"npm"
],
"dependencies": [
{
"name": "@hocuspocus/extension-database",
"manifest": "collab-server/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.0"
},
{
"name": "@hocuspocus/server",
"manifest": "collab-server/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.0"
},
{
"name": "esbuild",
"manifest": "collab-server/package.json",
"ecosystem": "npm",
"version_constraint": "^0.28"
},
{
"name": "@hocuspocus/provider",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.0"
},
{
"name": "@prisma/adapter-better-sqlite3",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^7.7.0"
},
{
"name": "@prisma/client",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^7.7.0"
},
{
"name": "better-auth",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^1.6.2"
},
{
"name": "chokidar",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^5.0.0"
},
{
"name": "next",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "16.2.3"
},
{
"name": "prisma",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^7.7.0"
},
{
"name": "react",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "19.2.4"
},
{
"name": "react-dom",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "19.2.4"
},
{
"name": "swr",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^2.4.1"
},
{
"name": "ws",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^8.20.0"
},
{
"name": "zod",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^4.3.6"
},
{
"name": "@hocuspocus/provider",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0"
},
{
"name": "minimatch",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^10.2"
},
{
"name": "ws",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^8.20"
},
{
"name": "zod",
"manifest": "vscode-workbench/package.json",
"ecosystem": "npm",
"version_constraint": "^4.4"
}
],
"all_dependencies": {
"error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"source": null,
"packages": [],
"collected": false,
"truncated": false,
"total_count": null,
"direct_count": null,
"indirect_count": null
}
},
"maintainership": {
"issues": {
"open_prs": 2,
"merged_prs": 34,
"open_issues": 18,
"closed_ratio": 0.333,
"closed_issues": 9,
"closed_unmerged_prs": 2
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "jcreedcmu",
"commits": 125,
"avatar_url": "https://avatars.githubusercontent.com/u/1500822?v=4"
},
{
"type": "User",
"login": "Vtec234",
"commits": 40,
"avatar_url": "https://avatars.githubusercontent.com/u/13901751?v=4"
},
{
"type": "User",
"login": "robsimmons",
"commits": 16,
"avatar_url": "https://avatars.githubusercontent.com/u/442315?v=4"
}
],
"contributors_sampled": 3,
"top_contributor_share": 0.691
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"release.yml",
"test.yml"
],
"has_docs_dir": false,
"linter_configs": [
"eslint.config.mjs"
],
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 3,
"reason": "branch protection is not maximal on development and all release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 5,
"reason": "Found 8/16 approved changesets -- score normalized to 5",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 9 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 9,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "65 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "151084fb26716feab38ceab01696d1d7aa353828",
"ran_at": "2026-07-25T11:17:45Z",
"aggregate_score": 5.2,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-17T23:53:49Z",
"oldest_open_prs": [
{
"number": 45,
"created_at": "2026-06-24T16:13:43Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 58,
"created_at": "2026-07-08T19:50:29Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-17T23:06:17Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 16,
"created_at": "2026-05-07T14:21:33Z",
"last_comment_at": "2026-06-17T13:57:16Z",
"last_comment_author": "jcreedcmu"
},
{
"number": 21,
"created_at": "2026-05-28T15:48:40Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 25,
"created_at": "2026-05-28T16:15:58Z",
"last_comment_at": "2026-07-10T18:13:40Z",
"last_comment_author": "Vtec234"
},
{
"number": 26,
"created_at": "2026-05-28T16:20:07Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 29,
"created_at": "2026-05-28T16:24:44Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 30,
"created_at": "2026-05-28T16:29:10Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 31,
"created_at": "2026-05-28T17:02:36Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 41,
"created_at": "2026-06-10T15:11:49Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 49,
"created_at": "2026-06-30T17:34:15Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 50,
"created_at": "2026-06-30T18:45:05Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 53,
"created_at": "2026-07-02T15:34:55Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 54,
"created_at": "2026-07-02T16:20:04Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 55,
"created_at": "2026-07-02T17:39:30Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 61,
"created_at": "2026-07-16T21:52:36Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 62,
"created_at": "2026-07-16T21:56:11Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 63,
"created_at": "2026-07-16T21:57:49Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 64,
"created_at": "2026-07-16T22:09:21Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 65,
"created_at": "2026-07-18T21:59:49Z",
"last_comment_at": null,
"last_comment_author": null
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/leanprover/lean-workbench",
"host": "github.com",
"name": "lean-workbench",
"owner": "leanprover"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 58,
"inputs": {
"security": 52,
"vitality": 83,
"community": 26,
"governance": 54,
"engineering": 70
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 83,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 79,
"inputs": {
"commits_last_year": 181,
"human_commit_share": 1,
"days_since_last_push": 7,
"active_weeks_last_year": 22
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 7 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 7
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "22/52 weeks with commits",
"points": 15.2,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 22
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "181 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 181
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 88,
"inputs": {
"releases_count": 8,
"latest_release_tag": "v0.0.9",
"releases_from_tags": true,
"days_since_latest_release": 7,
"mean_days_between_releases": 16.2
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "8 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 8
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 7 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 7
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~16.2 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 16.2
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "critical",
"name": "Community & Adoption",
"value": 26,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 5,
"inputs": {
"forks": 0,
"stars": 3,
"watchers": 2,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "3 stars",
"points": 4.9,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 3
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "0 forks",
"points": 0,
"status": "missed",
"details": [
{
"code": "forks",
"params": {
"count": 0
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "2 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 2
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (Apache-2.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "Apache-2.0"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 54,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 30,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 3,
"top_contributor_share": 0.691
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 69% of commits",
"points": 7,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 69
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "3 contributors",
"points": 4.1,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 3
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 9 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 59,
"inputs": {
"merged_prs": 34,
"open_issues": 18,
"closed_issues": 9,
"issue_closed_ratio": 0.333,
"closed_unmerged_prs": 2
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "33% of issues closed",
"points": 15.6,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 33
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "34/36 decided PRs merged",
"points": 36.1,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 34,
"decided": 36
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 8/16 approved changesets -- score normalized to 5",
"points": 7.5,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 77,
"inputs": {
"followers": 1255,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "leanprover",
"public_repos": 127,
"account_age_days": 4490
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "1,255 followers of leanprover",
"points": 22.3,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 1255,
"login": "leanprover"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "127 public repos, account ~12 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 127
}
},
{
"code": "account_age_years",
"params": {
"years": 12
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 70,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 84,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "2 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 2
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": "eslint.config.mjs",
"points": 16,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "eslint.config.mjs"
}
}
],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 52,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 52,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 5.2
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection is not maximal on development and all release branches",
"points": 2.2,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "14 out of 14 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 8/16 approved changesets -- score normalized to 5",
"points": 3.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 9 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "65 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 5
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "good",
"name": "AI Readiness",
"value": 77,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "good",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.5,
"agent_instruction_files": [
"AGENTS.md",
"CLAUDE.md"
],
"agent_instruction_max_bytes": 3084
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "AGENTS.md, CLAUDE.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "AGENTS.md, CLAUDE.md"
}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "50 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 26.7,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 50,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "good",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": true,
"typed_language": true,
"bootstrap_files": [
"Makefile"
],
"has_devcontainer": false,
"has_linter_config": true,
"typecheck_configs": [
"collab-server/tsconfig.json",
"tsconfig.json",
"vscode-workbench/tsconfig.json"
],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": "eslint.config.mjs",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "eslint.config.mjs"
}
}
],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "Dockerfile, lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Dockerfile, lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"primary_language": "TypeScript",
"largest_source_bytes": 17629,
"source_files_sampled": 66,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "TypeScript (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "TypeScript"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "0/66 source files over 60KB",
"points": 55,
"status": "met",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 66,
"oversized": 0
}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository"
],
"report_type": "repository",
"generated_at": "2026-07-25T11:18:02.429491Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/l/leanprover/lean-workbench.svg",
"full_name": "leanprover/lean-workbench",
"license_state": "standard",
"license_spdx": "Apache-2.0"
}Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken.