Registro públicoModerado
Informe de salud del softwareesquema 0.27.0 · métricas 1.13.0 · 2026-07-25 11:18 UTC
leanprover / lean-workbench
Online Lean Workbench
leanprover/lean-workbench tiene un índice de salud de 58 sobre 100, lo que lo sitúa en la banda Moderado. Su puntuación más alta es Vitality (83/100) y la más baja, Community & Adoption (26/100). Se actualizó por última vez hace 7 días. Una sola persona concentra la mayor parte del trabajo reciente.
58
global / 100Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala de 1 a 100. El resultado global parte de su media; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe el límite 49 (En riesgo). Preparación para IA queda fuera.
58
Excelente85-100Ejemplar; cumple prácticamente todos los criterios evaluados
Bueno70-84Saludable; carencias menores
Moderado50-69Aceptable con carencias notables; se recomienda revisión
En riesgo30-49Debilidades significativas; su adopción exige cautela
Crítico1-29Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
Titularidad
LeanOrganización
1255 seguidores127 repositorios públicosdesde abr 2014
Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
83
Actividad de desarrollo
79Bueno
Cómo se puntúa
| 36/36 | Recencia de push — último push hace 7 días |
| 15.2/36 | Cadencia de commits — 22/52 semanas con commits |
| 18/18 | Volumen de commits — 181 commits en el último año |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10 |
Datos de entrada utilizados
| commits_last_year | 181 |
| human_commit_share | 1 |
| days_since_last_push | 7 |
| active_weeks_last_year | 22 |
Disciplina de publicación
88Excelente
Cómo se puntúa
| 16.2/27 | Publica versiones — 8 etiquetas de versión (sin releases de GitHub) |
| 36/36 | Recencia de las versiones — última versión hace 7 días |
| 27/27 | Cadencia de publicación — una versión cada ~16,2 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — sin datos |
Datos de entrada utilizados
| releases_count | 8 |
| latest_release_tag | v0.0.9 |
| releases_from_tags | sí |
| days_since_latest_release | 7 |
| mean_days_between_releases | 16,2 |
Excluidos de la puntuación (sin datos o no aplicable): OpenSSF Scorecard: Signed-Releases. Los pesos restantes se han renormalizado.
Comunidad y Adopción
¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?
26
Popularidad y adopción
5Crítico
Cómo se puntúa
| 4.9/60 | Estrellas — 3 estrellas |
| 0/25 | Forks — 0 forks |
| 0/15 | Observadores — 2 observadores |
Datos de entrada utilizados
| forks | 0 |
| stars | 3 |
| watchers | 2 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Salud de la comunidad
50Moderado
Cómo se puntúa
| 22.5/22.5 | README |
| 22.5/22.5 | Licencia — licencia reconocida (Apache-2.0) |
| 0/18 | Guía CONTRIBUTING |
| 0/13.5 | Código de conducta |
| 0/7.2 | Plantilla de issues |
| 0/6.3 | Plantilla de PR |
Datos de entrada utilizados
| has_readme | sí |
| has_license | sí |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
54
Resiliencia de mantenedores (factor bus)
30En riesgo
Cómo se puntúa
| 9/54 | Factor bus — la mitad de los commits recae en 1 contribuyente(s) |
| 7/22.5 | Distribución de commits — el principal contribuyente firma el 69% de los commits |
| 4.1/13.5 | Amplitud de contribuyentes — 3 contribuyentes |
| 10/10 | OpenSSF Scorecard: Contributors — project has 9 contributing companies or organizations |
Datos de entrada utilizados
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0,691 |
Capacidad de respuesta a issues y PR
59Moderado
Cómo se puntúa
| 15.6/46.8 | Resolución de issues — 33% de issues cerradas |
| 36.1/38.3 | Aceptación de PR — 34/36 PR decididos fusionados |
| 7.5/15 | OpenSSF Scorecard: Code-Review — Found 8/16 approved changesets -- score normalized to 5 |
Datos de entrada utilizados
| merged_prs | 34 |
| open_issues | 18 |
| closed_issues | 9 |
| issue_closed_ratio | 0,333 |
| closed_unmerged_prs | 2 |
Propiedad y custodia
77Bueno
Cómo se puntúa
| 30/30 | Respaldo de la propiedad — propiedad de una organización |
| 0/20 | Dominio verificado |
| 22.3/25 | Alcance del propietario — 1255 seguidores de leanprover |
| 25/25 | Trayectoria — 127 repos públicos, cuenta de ~12 años |
Datos de entrada utilizados
| followers | 1255 |
| owner_type | Organization |
| is_verified | — |
| owner_login | leanprover |
| public_repos | 127 |
| account_age_days | 4490 |
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
70
Prácticas de ingeniería
84Bueno
Cómo se puntúa
| 24/24 | Flujos de trabajo de CI — 2 flujo(s) de trabajo |
| 24/24 | Pruebas presentes |
| 16/16 | Configuración de linter — eslint.config.mjs |
| 0/9.6 | Hooks de pre-commit |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 14 out of 14 merged PRs checked by a CI test -- score normalized to 10 |
Datos de entrada utilizados
| has_ci | sí |
| has_tests | sí |
| has_editorconfig | no |
| has_linter_config | sí |
| has_precommit_config | no |
Documentación
50Moderado
Cómo se puntúa
| 30/30 | README |
| 0/25 | Directorio de documentación |
| 0/15 | Sitio de documentación / página del proyecto |
| 10/10 | Descripción del repositorio |
| 0/10 | Topics |
| 10/10 | Wiki |
Datos de entrada utilizados
| topics | — |
| has_wiki | sí |
| homepage | — |
| has_readme | sí |
| has_docs_dir | no |
| has_description | sí |
Seguridad
¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?
52
Postura de seguridad
52Moderado
Cómo se puntúa
| 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 | Licencia — 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 — sin datos |
| 6.8/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 65 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 5,2 |
Excluidos de la puntuación (sin datos o no aplicable): signed_releases. Los pesos restantes se han renormalizado.
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Es una insignia independiente y experimental — peso 0,0, de modo que se presenta por separado y no afecta a la puntuación de salud global.
77
Contexto y guía para agentes
72Bueno
Cómo se puntúa
| 45/45 | Instrucciones para agentes — AGENTS.md, CLAUDE.md |
| 0/15 | Documentación legible por máquinas (llms.txt) |
| 26.7/40 | Historial de commits legible — 50 de 100 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo) |
Datos de entrada utilizados
| has_llms_txt | no |
| legible_history_share | 0,5 |
| agent_instruction_files | AGENTS.md, CLAUDE.md |
| agent_instruction_max_bytes | 3084 |
Cómo se puntúa
| 18/18 | Arranque con un solo comando — Makefile |
| 22/22 | Pruebas automatizadas |
| 11/11 | Configuración de lint / formato — eslint.config.mjs |
| 11/11 | Verificación estática de tipos — collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json |
| 10/10 | Entorno reproducible — Dockerfile, lockfile |
| 0/10 | Práctica demostrada con agentes — ningún commit con autoría de agente entre los últimos 100 |
| 0/8 | Mantenimiento automatizado — no se observan actualizaciones automáticas de dependencias |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Datos de entrada utilizados
| has_nix | no |
| has_tests | sí |
| lockfiles | package-lock.json |
| has_dockerfile | sí |
| typed_language | sí |
| bootstrap_files | Makefile |
| has_devcontainer | no |
| has_linter_config | sí |
| typecheck_configs | collab-server/tsconfig.json, tsconfig.json, vscode-workbench/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Legibilidad del código para modelos
100Excelente
Cómo se puntúa
| 45/45 | Código verificable por tipos — TypeScript (tipado estático) |
| 55/55 | Tamaños de archivo manejables — 0/66 archivos fuente de más de 60 KB |
Datos de entrada utilizados
| primary_language | TypeScript |
| largest_source_bytes | 17.629 |
| source_files_sampled | 66 |
| oversized_source_files | 0 |
Datos clave
3estrellas de GitHub
3contribuidores
181commits en los últimos 12 meses
7días desde el último push
8versiones publicadas
1factor bus
18issues abiertas
npmecosistemas de paquetes
Advertencias de recopilación de datos
- 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
Más detalle
OpenSSF Scorecard 5.2 / 10
5.2agregado
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).
| 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 |
| n/d | Signed-Releases | no releases found |
| 9 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 65 existing vulnerabilities detected |
Dependencias directas 19
| Registro | Paquete | Restricción de versión | Manifiesto |
|---|---|---|---|
| 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 |
Todas las dependencias no recopilado
No fue posible recopilar el conjunto de dependencias resuelto para este informe: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Informe JSON sin procesar legible por máquina
{
"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"
}Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v1.13.0, esquema v0.27.0 — metodología completa · wiki de métricas.
Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas.