leanprover / lean-workbench

Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

{
  "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"
}