leanprover / vscode-lean4

每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。

每个点涵盖 6 天。

来自 GitHub 依赖图的完整解析依赖集合：42 个直接依赖与 830 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。

安装 npm:@leanprover/infoview@0.13.0 会引入 21 个包（直接与传递）：其中 0 个存在已知公告，0 个为直接依赖。

没有已知公告影响已评估的依赖。

公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。

{
  "data": {
    "repo": {
      "topics": [
        "vscode",
        "lean"
      ],
      "is_fork": false,
      "size_kb": 12713,
      "has_wiki": true,
      "homepage": "https://lean-lang.org/",
      "languages": {
        "CSS": 13248,
        "Nix": 300,
        "HTML": 4202,
        "Lean": 1870,
        "Shell": 3246,
        "JavaScript": 17453,
        "TypeScript": 821855
      },
      "pushed_at": "2026-07-29T08:34:27Z",
      "created_at": "2020-12-31T17:26:54Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-29T08:36:13Z",
      "description": "VS Code extension for the Lean 4 programming language and theorem prover",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "Apache-2.0",
      "default_branch": "master",
      "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": 1263,
      "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": 4494
    },
    "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.239",
          "kind": "patch",
          "published_at": "2026-07-29T08:37:04Z"
        },
        {
          "tag": "v0.0.238-pre",
          "kind": "prerelease",
          "published_at": "2026-05-27T12:22:14Z"
        },
        {
          "tag": "v0.0.237",
          "kind": "patch",
          "published_at": "2026-05-27T09:48:28Z"
        },
        {
          "tag": "v0.0.236",
          "kind": "patch",
          "published_at": "2026-04-28T08:01:15Z"
        },
        {
          "tag": "v0.0.235-pre",
          "kind": "prerelease",
          "published_at": "2026-04-15T09:12:34Z"
        },
        {
          "tag": "v0.0.234",
          "kind": "patch",
          "published_at": "2026-04-13T12:38:28Z"
        },
        {
          "tag": "v0.0.233-pre",
          "kind": "prerelease",
          "published_at": "2026-04-09T08:17:54Z"
        },
        {
          "tag": "v0.0.232-pre",
          "kind": "prerelease",
          "published_at": "2026-04-07T07:59:49Z"
        },
        {
          "tag": "v0.0.231-pre",
          "kind": "prerelease",
          "published_at": "2026-04-02T08:21:43Z"
        },
        {
          "tag": "v0.0.230-pre",
          "kind": "prerelease",
          "published_at": "2026-04-01T08:06:47Z"
        },
        {
          "tag": "v0.0.229",
          "kind": "patch",
          "published_at": "2026-03-31T09:44:40Z"
        },
        {
          "tag": "v0.0.228-pre",
          "kind": "prerelease",
          "published_at": "2026-03-25T07:51:18Z"
        },
        {
          "tag": "v0.0.227-pre",
          "kind": "prerelease",
          "published_at": "2026-03-24T14:45:58Z"
        },
        {
          "tag": "v0.0.226",
          "kind": "patch",
          "published_at": "2026-03-24T09:01:58Z"
        },
        {
          "tag": "v0.0.225",
          "kind": "patch",
          "published_at": "2026-03-05T12:44:05Z"
        },
        {
          "tag": "v0.0.224",
          "kind": "patch",
          "published_at": "2026-02-23T13:19:54Z"
        },
        {
          "tag": "v0.0.223",
          "kind": "patch",
          "published_at": "2026-02-09T12:18:20Z"
        },
        {
          "tag": "v0.0.222-pre",
          "kind": "prerelease",
          "published_at": "2026-01-19T10:51:14Z"
        },
        {
          "tag": "v0.0.221",
          "kind": "patch",
          "published_at": "2025-11-13T13:25:39Z"
        },
        {
          "tag": "v0.0.220",
          "kind": "patch",
          "published_at": "2025-11-04T13:20:36Z"
        },
        {
          "tag": "v0.0.219",
          "kind": "patch",
          "published_at": "2025-10-31T18:28:38Z"
        },
        {
          "tag": "v0.0.218",
          "kind": "patch",
          "published_at": "2025-10-29T08:34:28Z"
        },
        {
          "tag": "v0.0.217-pre",
          "kind": "prerelease",
          "published_at": "2025-10-21T08:26:30Z"
        },
        {
          "tag": "v0.0.216",
          "kind": "patch",
          "published_at": "2025-10-13T15:03:51Z"
        },
        {
          "tag": "v0.0.215",
          "kind": "patch",
          "published_at": "2025-09-30T11:16:37Z"
        },
        {
          "tag": "v0.0.214",
          "kind": "patch",
          "published_at": "2025-09-25T08:10:31Z"
        },
        {
          "tag": "v0.0.213",
          "kind": "patch",
          "published_at": "2025-09-23T16:22:46Z"
        },
        {
          "tag": "v0.0.212",
          "kind": "patch",
          "published_at": "2025-09-15T09:04:26Z"
        },
        {
          "tag": "v0.0.211-pre",
          "kind": "prerelease",
          "published_at": "2025-08-21T08:47:13Z"
        },
        {
          "tag": "v0.0.210-pre",
          "kind": "prerelease",
          "published_at": "2025-08-19T09:29:26Z"
        },
        {
          "tag": "v0.0.209",
          "kind": "patch",
          "published_at": "2025-06-26T11:36:00Z"
        },
        {
          "tag": "v0.0.208-pre",
          "kind": "prerelease",
          "published_at": "2025-06-11T12:22:31Z"
        },
        {
          "tag": "v0.0.207",
          "kind": "patch",
          "published_at": "2025-06-04T08:23:11Z"
        },
        {
          "tag": "v0.0.206",
          "kind": "patch",
          "published_at": "2025-06-03T11:53:09Z"
        },
        {
          "tag": "v0.0.205",
          "kind": "patch",
          "published_at": "2025-04-30T16:00:36Z"
        },
        {
          "tag": "v0.0.204",
          "kind": "patch",
          "published_at": "2025-04-23T14:56:37Z"
        },
        {
          "tag": "v0.0.203",
          "kind": "patch",
          "published_at": "2025-04-17T12:37:28Z"
        },
        {
          "tag": "v0.0.202",
          "kind": "patch",
          "published_at": "2025-04-15T08:13:42Z"
        },
        {
          "tag": "v0.0.201",
          "kind": "patch",
          "published_at": "2025-03-27T13:25:59Z"
        },
        {
          "tag": "v0.0.200-pre",
          "kind": "prerelease",
          "published_at": "2025-03-26T08:59:14Z"
        },
        {
          "tag": "v0.0.199-pre",
          "kind": "prerelease",
          "published_at": "2025-03-19T16:45:06Z"
        },
        {
          "tag": "v0.0.198-pre",
          "kind": "prerelease",
          "published_at": "2025-03-11T10:17:45Z"
        },
        {
          "tag": "v0.0.197-pre",
          "kind": "prerelease",
          "published_at": "2025-03-08T11:33:11Z"
        },
        {
          "tag": "v0.0.196-pre",
          "kind": "prerelease",
          "published_at": "2025-03-07T14:51:51Z"
        },
        {
          "tag": "v0.0.195",
          "kind": "patch",
          "published_at": "2025-02-25T15:43:10Z"
        },
        {
          "tag": "v0.0.194",
          "kind": "patch",
          "published_at": "2025-01-30T15:25:16Z"
        },
        {
          "tag": "v0.0.193",
          "kind": "patch",
          "published_at": "2025-01-30T15:01:50Z"
        },
        {
          "tag": "v0.0.192",
          "kind": "patch",
          "published_at": "2025-01-30T13:20:07Z"
        },
        {
          "tag": "v0.0.191-pre",
          "kind": "prerelease",
          "published_at": "2025-01-13T16:38:12Z"
        },
        {
          "tag": "v0.0.189-pre",
          "kind": "prerelease",
          "published_at": "2025-01-13T13:42:38Z"
        },
        {
          "tag": "v0.0.187-pre",
          "kind": "prerelease",
          "published_at": "2025-01-08T13:52:49Z"
        },
        {
          "tag": "v0.0.186",
          "kind": "patch",
          "published_at": "2024-12-05T17:08:33Z"
        },
        {
          "tag": "v0.0.185-pre",
          "kind": "prerelease",
          "published_at": "2024-11-20T15:02:36Z"
        },
        {
          "tag": "v0.0.184",
          "kind": "patch",
          "published_at": "2024-10-28T10:39:11Z"
        },
        {
          "tag": "v0.0.183",
          "kind": "patch",
          "published_at": "2024-10-17T23:26:40Z"
        },
        {
          "tag": "v0.0.182",
          "kind": "patch",
          "published_at": "2024-10-17T23:20:49Z"
        },
        {
          "tag": "v0.0.181",
          "kind": "patch",
          "published_at": "2024-10-17T17:12:05Z"
        },
        {
          "tag": "v0.0.180",
          "kind": "patch",
          "published_at": "2024-10-17T17:00:56Z"
        },
        {
          "tag": "v0.0.179",
          "kind": "patch",
          "published_at": "2024-10-14T11:00:26Z"
        },
        {
          "tag": "v0.0.178",
          "kind": "patch",
          "published_at": "2024-09-10T07:47:34Z"
        },
        {
          "tag": "v0.0.177",
          "kind": "patch",
          "published_at": "2024-08-28T12:16:28Z"
        },
        {
          "tag": "v0.0.176",
          "kind": "patch",
          "published_at": "2024-07-23T07:42:38Z"
        },
        {
          "tag": "v0.0.175",
          "kind": "patch",
          "published_at": "2024-07-22T07:58:48Z"
        },
        {
          "tag": "v0.0.174",
          "kind": "patch",
          "published_at": "2024-07-10T17:06:09Z"
        },
        {
          "tag": "v0.0.173",
          "kind": "patch",
          "published_at": "2024-07-10T16:15:16Z"
        },
        {
          "tag": "v0.0.172",
          "kind": "patch",
          "published_at": "2024-07-10T15:57:40Z"
        },
        {
          "tag": "v0.0.171",
          "kind": "patch",
          "published_at": "2024-07-01T09:57:30Z"
        },
        {
          "tag": "v0.0.170",
          "kind": "patch",
          "published_at": "2024-06-27T11:29:26Z"
        },
        {
          "tag": "v0.0.169",
          "kind": "patch",
          "published_at": "2024-06-26T07:54:54Z"
        },
        {
          "tag": "v0.0.164",
          "kind": "patch",
          "published_at": "2024-06-19T14:11:30Z"
        },
        {
          "tag": "v0.0.163",
          "kind": "patch",
          "published_at": "2024-06-18T12:43:31Z"
        },
        {
          "tag": "v0.0.162",
          "kind": "patch",
          "published_at": "2024-06-18T10:42:37Z"
        },
        {
          "tag": "v0.0.161",
          "kind": "patch",
          "published_at": "2024-06-18T09:40:03Z"
        },
        {
          "tag": "v0.0.160",
          "kind": "patch",
          "published_at": "2024-06-13T08:48:19Z"
        },
        {
          "tag": "v0.0.159",
          "kind": "patch",
          "published_at": "2024-06-06T08:48:13Z"
        },
        {
          "tag": "v0.0.158-pre",
          "kind": "prerelease",
          "published_at": "2024-06-05T14:19:02Z"
        },
        {
          "tag": "v0.0.157",
          "kind": "patch",
          "published_at": "2024-06-05T07:49:46Z"
        },
        {
          "tag": "v0.0.156",
          "kind": "patch",
          "published_at": "2024-06-04T13:01:20Z"
        },
        {
          "tag": "v0.0.155",
          "kind": "patch",
          "published_at": "2024-05-27T11:25:30Z"
        },
        {
          "tag": "v0.0.154-pre",
          "kind": "prerelease",
          "published_at": "2024-05-24T17:27:43Z"
        },
        {
          "tag": "v0.0.153-pre",
          "kind": "prerelease",
          "published_at": "2024-05-24T15:23:54Z"
        },
        {
          "tag": "v0.0.152-pre",
          "kind": "prerelease",
          "published_at": "2024-05-23T16:49:48Z"
        },
        {
          "tag": "v0.0.151-pre",
          "kind": "prerelease",
          "published_at": "2024-05-23T09:13:34Z"
        },
        {
          "tag": "v0.0.150-pre",
          "kind": "prerelease",
          "published_at": "2024-05-16T16:13:43Z"
        },
        {
          "tag": "v0.0.146-pre",
          "kind": "prerelease",
          "published_at": "2024-05-14T14:42:27Z"
        },
        {
          "tag": "v0.0.145-pre",
          "kind": "prerelease",
          "published_at": "2024-05-08T08:30:49Z"
        },
        {
          "tag": "v0.0.144",
          "kind": "patch",
          "published_at": "2024-05-06T08:48:49Z"
        },
        {
          "tag": "v0.0.143-pre",
          "kind": "prerelease",
          "published_at": "2024-04-26T15:10:56Z"
        },
        {
          "tag": "v0.0.142-pre",
          "kind": "prerelease",
          "published_at": "2024-04-19T11:23:45Z"
        },
        {
          "tag": "v0.0.141-pre",
          "kind": "prerelease",
          "published_at": "2024-04-19T09:18:19Z"
        },
        {
          "tag": "v0.0.140",
          "kind": "patch",
          "published_at": "2024-04-19T08:26:24Z"
        },
        {
          "tag": "v0.0.139",
          "kind": "patch",
          "published_at": "2024-04-19T08:13:49Z"
        },
        {
          "tag": "v0.0.138",
          "kind": "patch",
          "published_at": "2024-04-03T15:26:28Z"
        },
        {
          "tag": "v0.0.137",
          "kind": "patch",
          "published_at": "2024-04-03T12:50:28Z"
        },
        {
          "tag": "v0.0.136",
          "kind": "patch",
          "published_at": "2024-03-27T16:51:34Z"
        },
        {
          "tag": "v0.0.135",
          "kind": "patch",
          "published_at": "2024-03-20T09:55:09Z"
        },
        {
          "tag": "v0.0.134",
          "kind": "patch",
          "published_at": "2024-03-19T09:28:42Z"
        },
        {
          "tag": "v0.0.133",
          "kind": "patch",
          "published_at": "2024-03-18T12:15:12Z"
        },
        {
          "tag": "v0.0.132",
          "kind": "patch",
          "published_at": "2024-03-18T10:11:28Z"
        },
        {
          "tag": "v0.0.131",
          "kind": "patch",
          "published_at": "2024-03-18T09:20:15Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "5a25e6abb2e973b4c89a053acc74c479c0bb2e9f",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.239",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-07-29T08:34:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6f6bdb2b7d2250ba68d35d98a9d798bd4841a202",
          "body": "Automated version bump of `@leanprover/unicode-input` to `0.1.12`.\n\nCo-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore: bump @leanprover/unicode-input to 0.1.12 (#794)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-07-29T08:30:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "17c468cf658d1bf4b42db230fe0759ee341be640",
          "body": null,
          "is_bot": false,
          "headline": "fix: build project after \"Download Project\" (#791)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-07-29T08:28:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d08e3334beb5b3a68647897ff2e408a45cfdaaae",
          "body": "Nobody ended up providing more information based on this debug logging,\nso we are removing this again for now.",
          "is_bot": false,
          "headline": "chore: revert \"add dev console logging (#784)\" (#793)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-07-29T08:28:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "00a05fe2a7076e431cad7af1ad24cd14452145d0",
          "body": "This PR adds the `:t` and `typecolon` input abbreviations for `⦂`\n(U+2982, Z NOTATION TYPE COLON).\n\nThis is the colon-like character often used for typing in the\nliterature, and I would like to make use of it for a typing operator in\nthe project I am working on.\n\n🤖The choice of abbreviation was suggested by Claude, so feel free to\nbikeshed if necessary.",
          "is_bot": false,
          "headline": "feat: add type colon abbreviations (#792)",
          "author_name": "Mac Malone",
          "author_login": "tydeu",
          "committed_at": "2026-07-29T08:26:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9678072be1b3cef012402318fc67e43df3e6eb5c",
          "body": "This PR reduces infoview re-renders (1.) and simplifies the build setup\n(2.) Fixes leanprover-community/ProofWidgets4#176.\n\n1. `InfoAux` fetches goals and widgets whenever the `Object.is`-identity\nof `lspDiagsHere` changes. The React effect that sets `lspDiagsHere`\ntries to maintain its identity, bu\n[…]\naks building in a worktree folder nested within the main repo\nfolder (`vscode-lean4/worktree-my-branch/`). This also drops ~400\ntransitive dependencies and should otherwise be functionally equivalent.",
          "is_bot": false,
          "headline": "feat: deeply compare diagnostics and simplify build orchestration (#786)",
          "author_name": "Wojciech Nawrocki",
          "author_login": "Vtec234",
          "committed_at": "2026-07-29T08:25:42Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "17d1d086d9cce16f885dde102adb056cad15cb50",
          "body": "… palette (#781)\n\nThe correct commands are the \"Show Module Hierarchy\" and \"Show Inverse\nModule Hierarchy\" commands - the two commands in the title are internal\nimplementation details of the module hierarchy UI.",
          "is_bot": false,
          "headline": "chore: hide \"show imports\" and \"show imported by\" commands in command…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-05-29T13:06:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f51fd49573e8f3bf758730ed7b9a63eddceaa138",
          "body": "…ult are not present (#780)\n\nAddresses the defunct error message flow in #779.",
          "is_bot": false,
          "headline": "feat: improve error messages when deps that should be shipped by defa…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-05-29T13:05:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "25e8fc32e34f046695978af7514b43f5b3a88a04",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.238 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-05-27T12:18:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3c972bfea311051613461a2a71b586a9d7460b97",
          "body": "Adds some developer console logging about which documents are opened by\nVS Code for debugging an issue on the Lean Zulip.\n\nThis change will only be in a pre-release for debugging purposes.",
          "is_bot": false,
          "headline": "chore: add dev console logging (#784)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-05-27T12:18:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d73c2986053f0d701dd0b867488a42fbfeadfff9",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.237",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-05-27T09:43:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c659a8e1f978b80fd725f220b5df23321ac008aa",
          "body": "Automated version bump of `@leanprover/unicode-input` to `0.1.11`.\n\nCo-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore: bump @leanprover/unicode-input to 0.1.11 (#783)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-05-27T09:42:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7af7fa92a3883aeedb350e79a7925ca78c430658",
          "body": "This PR adds input abbreviations for `❰` (U+2770, HEAVY LEFT-POINTING\nANGLE BRACKET ORNAMENT) and `❱` (U+2771, HEAVY RIGHT-POINTING ANGLE\nBRACKET ORNAMENT), following the existing pattern for\nFrench/single-arrow brackets (`f<`, `f>`, `f<>` for `‹›`):\n\n- `\\h<` → `❰`\n- `\\h>` → `❱`\n- `\\h<>` → `❰$CURSOR\n[…]\ne characters or set up\ntheir own — these PRs aren't really usable without a way to type the\nbrackets.\n\n🤖 Prepared with Claude Code\n\nCo-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat: add input abbreviations for heavy angle brackets ❰❱ (#782)",
          "author_name": "Kim Morrison",
          "author_login": "kim-em",
          "committed_at": "2026-05-27T09:40:09Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "bbe3ff126cd54defd10ac6e07a2b94dd2d865c42",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.236",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-28T07:58:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0b629572b71d9c21e13c6a6c22e5cf02f6ee1506",
          "body": "This PR ensures completeness of `patchConverters` - all conversion\nfunctions that touch Lean-specific data are now patched. Fixes an issue\nwith snippet edits [reported on\nZulip](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Snippets.20in.20code.20actions.3F).\n\nAlso adds a `prebuild` step that ensures we don't bump\n`vscode-languageclient` without first fixing up the converters.",
          "is_bot": false,
          "headline": " fix: `CodeAction` converters (#777)",
          "author_name": "Wojciech Nawrocki",
          "author_login": "Vtec234",
          "committed_at": "2026-04-27T14:06:21Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "01a7fc91b5618c23584061f4cc969112b5272867",
          "body": "This PR removes the highlighting for HTML tags in the TextMate grammar\nfor Lean comments.\n\nThe Lean TextMate grammar uses a patched version of the official\nMarkdown TextMate grammar, which includes highlighting for HTML (by\ndeferring to VS Code's own HTML highlighting).\n\nIn most TextMate rules of th\n[…]\nhlighting in the Markdown of Lean comments isn't very useful\nbut has caused plenty of highlighting problems in the past, so this PR\nremoves it.\n\nCo-authored-by: Claude Opus 4.7 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix: remove html highlighting from markdown grammar (#770)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-24T18:40:45Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "9ca2a826c07ab07ea2a79e0d66105de0b7e33349",
          "body": "Fixes #774.",
          "is_bot": false,
          "headline": "fix: auto-closing bracket abbreviation (#775)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-24T18:35:22Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "976a025047bd86bd2fb2adb9d0bd4063fa2c8273",
          "body": null,
          "is_bot": false,
          "headline": "fix: another markdown grammar bug (#773)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-24T18:35:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d9a6701d7e8704808361a495b9a3a5b1e674becb",
          "body": null,
          "is_bot": false,
          "headline": "chore: add file icons for \"lean\" language id as well (#772)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-21T12:23:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "dd686d79794c90d5b91046fbde11edce9cbc74f1",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.235 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-15T09:10:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3861510a65de0fd3acaaf15e3caad2d8dcc3e7d6",
          "body": "…xts (#762)\n\nThis PR adds three new abbreviation-related commands that have the goal\nof making it easier to insert Unicode symbols into non-editor dialogs\nand to make abbreviations more discoverable:\n- 'Find Unicode Symbol...': Displays a picker dialog that allows\nsearching for Unicode symbols eithe\n[…]\ninstead of opening\nanother dialog to choose whether the symbol should be inserted or\ncopied. Bound to Ctrl+Alt+\\ when a text editor is focused.\n\nCo-authored-by: Claude Opus 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat: picker-based input method for abbreviations in non-editor conte…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-15T08:28:07Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "d6087e8c78af3145b4e12cf57e297a32679d69eb",
          "body": "This PR adds client-side support for\n[lean4#13260](https://github.com/leanprover/lean4/pull/13260).\n\nCurrently, none of the consumers of diagnostics in the VS Code extension\nsupport incremental diagnostics, but adding client-side support for it\nalready means that the server-side serialization overhead is reduced and\nwe send less diagnostic data over the wire.",
          "is_bot": false,
          "headline": "feat: client-side support for incremental diagnostics (#752)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-15T08:26:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "79a75881ed22e87a832c068accc048bb27ac67a7",
          "body": "Automated version bump of `@leanprover/unicode-input` to `0.1.10`.\n\nCo-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore: bump @leanprover/unicode-input to 0.1.10 (#769)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-15T08:14:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b8d27bf603717b57689b6cffa75b203ecf645846",
          "body": "The website favicon is too visually complex for the small size it is\nrendered at in VS Code.",
          "is_bot": false,
          "headline": "feat: forall icon for lean file icon instead of website favicon (#767)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-15T08:11:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e643566e107038bb76eedcd1441890236b246c51",
          "body": "Disables a flaky test that was broken due to the use of an old Lean\nversion in the test framework. We might want to update the Lean version\nat some point or just re-do the test framework entirely.",
          "is_bot": false,
          "headline": "test: disable flaky test (#768)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-14T22:01:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f97799f239bf4608e114b2e7a694acd492179026",
          "body": "C.f.\nhttps://github.com/leanprover/vscode-lean4/issues/522#issuecomment-4243488598",
          "is_bot": false,
          "headline": "chore: remove abbreviations linted in mathlib (#764)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-14T19:03:55Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "99a5705b0aebadb65712ad5cbf79aaa45cb48a9f",
          "body": "Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore: backport action (#765)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-14T19:03:37Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "b883b0bec19eb2f892ca6bfda95304a5447c007a",
          "body": null,
          "is_bot": false,
          "headline": "test: stabilize flaky restart test by waiting for fresh client (#766)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-14T19:03:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "988871a8e15fc43d379c9d064b812b545f60199a",
          "body": null,
          "is_bot": false,
          "headline": "refactor: clean up semver handling (#761)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-13T12:47:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "66528403779d277160f1e9b9ee54de1ac24b8fec",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.234",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-13T12:35:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e1505180e9e338ca69ea5a5d0a756803d964c9ff",
          "body": null,
          "is_bot": false,
          "headline": "chore: rename build-and-test jobs (#763)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-13T12:26:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9403ce07641df5627beee8839bdd77b0a88a6b52",
          "body": "…res (#758)\n\nPreviously, `vsce publish` and `ovsx publish` ran sequentially in the\nsame step of `build-and-test`, so a failure in one would skip the other\nand also skip the GitHub release creation. This PR restructures\n`.github/workflows/on-push.yml` so partial failures are recoverable and\nobvious.\n\n🤖 Generated with [Claude Code](https://claude.com/claude-code)\n\nCo-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore: publish to marketplaces independently and handle partial failu…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-13T12:17:47Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "d069af1a70023eb950d67c2044a0c6af63500b69",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.233 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-09T07:18:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "541cd8f4fac5cbb02ca0958b28f5a380865e2c1f",
          "body": "This PR splits the 'Fetch Mathlib Build Cache For Current Imports'\ncommand into three:\n1. 'Fetch Mathlib Build Cache For Open Files': Displayed in the forall\nmenu and the command prompt. Displays a quick select dialog where all\nopen files are selected by default and allows configuring the set of\nfil\n[…]\nwhich had the same functionality.\n\nAlso ensures that these commands can be used downstream of Mathlib,\nwhich was added in\n[mathlib4#21666](https://github.com/leanprover-community/mathlib4/pull/21666).",
          "is_bot": false,
          "headline": "feat: adjusted \"fetch mathlib cache for ...\" commands (#757)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-09T07:18:00Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "0de7d443873e419220612d7aa36d948b06760200",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.232 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-07T07:58:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "43c29e6a86cc15aa5b92a2f8a2aeba51e0c9e053",
          "body": null,
          "is_bot": false,
          "headline": "fix: closing infoview can yield 'undefined' error (#756)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-07T07:52:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "967343bcc77861f7ada2eeca5e8387eba5cbec4e",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.231 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-02T08:19:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0d07ab5496ddefda8cc0f4f8d80cd3a3ef3aee48",
          "body": null,
          "is_bot": false,
          "headline": "fix: swap light and dark Lean language file icons (#753)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-04-02T08:19:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "77b2e830770059b3930a23fdd1a7a5020f190ec4",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.230 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-04-01T08:05:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "66b82b596e4fc7c7a87215358f4c39c4b19f9033",
          "body": null,
          "is_bot": false,
          "headline": "doc: update manual (#751)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-31T14:26:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "46dfdd26b8033a848d8476b0b98211b43a68b1dc",
          "body": "This PR ensures that the infoview cancels interactive goal/term\ngoal/diagnostic/widget requests when they are no longer needed (e.g.\nbecause the user moved their cursor away).\n\n- Also cancel `infoToInteractive` (popup contents),\n`lazyTraceChildrenToInteractive` (trace explorer contents), and\n`msgToI\n[…]\n (message contents).\n- Remove the `autoCancel` RPC call option. I think it was a mistake and\nwe should just auto-cancel all requests when the infoview closes.\n- Cleanup `useAsyncWithTrigger` slightly.",
          "is_bot": false,
          "headline": "perf: cancel redundant interactive requests (#746)",
          "author_name": "Wojciech Nawrocki",
          "author_login": "Vtec234",
          "committed_at": "2026-03-31T12:38:29Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "39b9340bdd1dede3bee4099ae1b0bb3b3bdafa4b",
          "body": null,
          "is_bot": false,
          "headline": "fix: always use last active lean editor as active client (#750)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-31T11:00:01Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6f89d351608c1b3361ad90d50e0c03b710fc33d4",
          "body": null,
          "is_bot": false,
          "headline": "fix: don't resolve deps as part of `lake exe cache` query step (#748)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-31T09:49:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "df5cd40da71a6734fe534b6a3bdb83c47344abbe",
          "body": null,
          "is_bot": false,
          "headline": "feat: add file icons for .lean files (#749)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-31T09:48:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "26448b7193200436838d5b2541ecd34dad543f85",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.229",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-31T09:42:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9e3010b027245f820ad9970136291df69c19eeac",
          "body": null,
          "is_bot": false,
          "headline": "chore: include all commits in release notes (#747)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-25T08:26:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5f4aba5adccf67457e56efc107d3eeb7091ce33a",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.228 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-25T07:49:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "35a31ab7b468a271374190fccf7741b333dd24d8",
          "body": null,
          "is_bot": false,
          "headline": "chore: revert \"Release 0.0.228 (pre-release)\" (#745)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-24T15:54:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9c5717807eb30097e4f9ae7463d92ef60492bf42",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.228 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-24T15:43:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a7cb8f8dc4ba3c6662277a2fc108a20699547b73",
          "body": null,
          "is_bot": false,
          "headline": "fix: include user dir git installation path in process path (#744)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-24T15:42:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b3e53a18f0d258fc1e03f42cf005622fc0890290",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.227 (pre-release)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-24T14:44:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3e79c8ba08f6988997723bd9b5cd46b8ad9b2af0",
          "body": null,
          "is_bot": false,
          "headline": "fix: make git installation more resilient against ssl tampering (#743)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-24T14:43:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9370a4f2c3bdf46cba3bd526dc6ed75c1847f925",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.226",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-24T08:59:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "422b82f108a0ff887e51d4446e36046f31b03c24",
          "body": null,
          "is_bot": false,
          "headline": "chore: revert \"Release 0.0.226\" (#741)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-24T08:59:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ffb4f8d565da87a82ed824e095c21efbd734827d",
          "body": null,
          "is_bot": false,
          "headline": "chore: ensure that on-push release job runs (#740)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-24T08:56:19Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "32c0a2418c7a77f82b645dd542702762c3f20605",
          "body": null,
          "is_bot": true,
          "headline": "Release 0.0.226",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-24T07:59:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "88753d048e0c33b07486faf4a8de9c423f1e0e28",
          "body": null,
          "is_bot": false,
          "headline": "fix: guard against `lean` language id (#738)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-23T16:00:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9e9ab08e26c0acead7d56a2027149b17b3f4011f",
          "body": null,
          "is_bot": false,
          "headline": "feat: relative paths in `envPathExtensions` setting (#739)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-23T16:00:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "132d329aa8afa3e8508ef77cfdcff112d3b35c88",
          "body": "Client part of leanprover/lean4#12905. Fixes #712.",
          "is_bot": false,
          "headline": "fix: lengthen RPC reference field name (#719)",
          "author_name": "Wojciech Nawrocki",
          "author_login": "Vtec234",
          "committed_at": "2026-03-13T23:53:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9a7ed4a29f3117b529b2c7fb320529cd2225d2d2",
          "body": null,
          "is_bot": false,
          "headline": "chore: ensure Rollup reacts to changes in lean4-infoview-api (#737)",
          "author_name": "Wojciech Nawrocki",
          "author_login": "Vtec234",
          "committed_at": "2026-03-12T14:34:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a9abc9ed97154dfa55554567b8a2b3b85c6bbd27",
          "body": "Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore: bump @leanprover/unicode-input-component to 0.2.0 (#736)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-11T08:35:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ec5f13f7d8d03233640ade43228934140a2fa933",
          "body": "This PR fixes a prompt injection in the unicode input component, which is also used on several web pages (e.g. Loogle). The issue was originally reported [here](https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/with/578558458).\n\nThe tech\n[…]\n created by the unicode input component itself.\n\n**If you are using the unicode input component on a website, it is strongly recommended to update the unicode input component to 0.2.0 after this PR!**",
          "is_bot": false,
          "headline": "fix: (critical) prevent xss in unicode input component (#735)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-11T08:28:51Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "a884fa075489c3401e3702ad78aaa45a98a0841a",
          "body": "This PR ensures that we can set breakpoints in the InfoView again.\nSpecifically:\n- We fix a deadlock in the `watch` task which meant changes in the\ninfoview would not propagate to the extension build.\n- We ensure that all stages use development rather than production\nbuilds of the infoview and the i\n[…]\nthe\nlatest working version that `rehype-mathjax` is compatible with.\n\n---------\n\nCo-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>\nCo-authored-by: Wojciech Nawrocki <wjnawrocki@protonmail.com>",
          "is_bot": false,
          "headline": "chore: enable infoview debugging (#732)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-10T22:03:09Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "705168a3312c7e3319e6a3891707afcab6206f0e",
          "body": null,
          "is_bot": false,
          "headline": "chore: fix husky warning (#733)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-09T10:36:27Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "588356a808e765d474f418460aa7f1eaf5095fc4",
          "body": "OIDC via npm does not like multiple workflow files.\n\n---------\n\nCo-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore: consolidate workflows (#731)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-07T00:33:30Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "73398878b022220a77f473545980080cc21f7ff5",
          "body": "Automated version bump of `@leanprover/unicode-input` to `0.1.9`.\n\nCo-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore: bump @leanprover/unicode-input to 0.1.9 (#730)",
          "author_name": "github-actions[bot]",
          "author_login": "github-actions[bot]",
          "committed_at": "2026-03-06T23:45:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "46a46457d50c67e2106ff6efb45113f5294ef268",
          "body": "Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore: also bump dependents in package version bump script (#729)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-06T23:36:44Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "ab4ea5dd9ef9bdda12efefebb50c2e0b4837c9c1",
          "body": null,
          "is_bot": false,
          "headline": "chore: set git identity for package bump workflow (#727)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-06T23:11:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "066b51ca25bba6c87423e0fe2cfc7bdc185fb01b",
          "body": null,
          "is_bot": false,
          "headline": "chore: ignore scripts on package bump (#726)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-06T23:07:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6d42b215c56565fe61cfd26ee027e1840f1a1d9f",
          "body": "This PR adds the following scripts:\n- A bash script and a workflow dispatch action to bump the version of a\npackage in the monorepo\n- A workflow dispatch action to attempt to publish all packages in the\nmonorepo to npm\n- A workflow dispatch action to initiate a release or a prerelease\n- Automatic release note generation\n\nAll code in this PR was written by Claude.\n\n---------\n\nCo-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore: infra improvements (#725)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-06T23:01:00Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "e580bc26039d30d118a430777c230a7999409498",
          "body": null,
          "is_bot": false,
          "headline": "chore: allow CI to create releases again (#724)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-05T12:47:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1ce0c95536b2a9f064bd1c95cad4a1f4ef56bc24",
          "body": null,
          "is_bot": false,
          "headline": "chore: add repository everywhere (#723)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-05T12:31:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "27f5b365bec0cc61ffd7e414b70986b4bf15c946",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.0.225",
          "author_name": "mhuisi",
          "author_login": "mhuisi",
          "committed_at": "2026-03-05T12:23:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0f910d1c5fbed1bd2c3cbf2aa2879f79efbd788e",
          "body": null,
          "is_bot": false,
          "headline": "chore: bump infoview version (#722)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-05T10:44:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8e02cddb2cc9747ca0f113bbeffeb8a8f062c6f7",
          "body": null,
          "is_bot": false,
          "headline": "fix: change margin to padding in infoview spacing (#721)",
          "author_name": "Jacopo Philip Moretti",
          "author_login": "quartztz",
          "committed_at": "2026-03-05T10:08:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "776c4f00612d1b2d069c7c4fc19f4f8152a4f377",
          "body": "Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix: successive abbreviations in loogleview (#718)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-03-02T10:06:40Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "1e3bc289cb28eabb2334ae5b5e2988e2809a1414",
          "body": "This PR adds a new \"Copy Module Name\" command to the context menu on\nLean editor tabs and in the command palette. This command serves as an\napproximation; it determines the module name using the relative path to\nthe project root, while in general, Lean projects can configure their\nmodule roots arbitrarily.\n\nCloses #565.\n\nCo-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat: \"Copy Module Name\" command (#717)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T20:00:49Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "2100fd8e1a105a3ee6845fb92fbb981927736cd1",
          "body": "…ed regardless\" (#715)\n\nCloses #677.",
          "is_bot": false,
          "headline": "chore: replace \"proceed\" setup notification warning label with \"proce…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T19:52:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b26d9fc9e62e229a13cea3ba493e2020aa110fcc",
          "body": null,
          "is_bot": false,
          "headline": "chore: add CLAUDE.md (#716)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T19:52:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8416d8eaf8378216f20ff49772c567c837d6a719",
          "body": "Fixes #369 and #656, as well as the issues reported at\nhttps://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Comment.20syntax.20highlighting/near/565502952\nand\nhttps://leanprover.zulipchat.com/#narrow/channel/561906-Editors-.26-UIs/topic/Syntax.20highlighting.20bug.20makes.20everything.20blue/near/573942750.\n\nCo-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix: markdown highlighting comment termination bugs (#711)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T13:41:06Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "294a803de45f5302865d84c44783aeb4e18068bb",
          "body": "Closes #701.",
          "is_bot": false,
          "headline": "chore: remove alternative double bracket abbreviations (#710)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T13:40:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "011230c39c40b1115728d0bee5adf887f2c5a31c",
          "body": "…ticks (#709)\n\nAbbreviations like \\`a (for à) were rendered incorrectly in hover\ntooltips because wrapping them in single backtick code spans caused the\ninner backtick to prematurely close the span. Use double backtick\ndelimiters when the content contains a backtick, per the CommonMark spec\n(§6.1).\n\nCloses #708.\n\nCo-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix: use double backtick code spans for abbreviations containing back…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T13:40:14Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "b9ff8982fa301d6f36c739e549e8b0ce9ce232d6",
          "body": null,
          "is_bot": false,
          "headline": "chore: update `node-version` in `Setup Node.js` step  (#713)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T12:00:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3be48c3609ff1413a975a852ef95ace56d447b83",
          "body": null,
          "is_bot": false,
          "headline": "chore: enable oicd (#714)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-27T10:49:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8ae6710deae85b9f7b379e4fd3cf6a7495ec1424",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.0.224",
          "author_name": "mhuisi",
          "author_login": "mhuisi",
          "committed_at": "2026-02-23T13:17:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "af7079e764a65e0e460c6e9a1f2fbd64d6de7f71",
          "body": null,
          "is_bot": false,
          "headline": "feat: adjustments for elan path toolchains (#707)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-23T13:14:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3f8162028909f15d9a4bfab0cf84fd1292134559",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.0.223",
          "author_name": "mhuisi",
          "author_login": "mhuisi",
          "committed_at": "2026-02-09T12:15:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f1d481b2b683581178bd895b3e14871b8ee39028",
          "body": "Adds support for cancelling LSP and RPC requests in infoview code\n(including widgets). No changes to Lean are needed since the server\nalready handles `$/cancelRequest`, and `RequestM` includes\n[checkCancelled](https://leanprover-community.github.io/mathlib4_docs/Lean/Server/Requests.html#Lean.Server\n[…]\nations are cancelled when the infoview closes, for\nexample, without changing the extension. I also think it is better to\nuse builtin mechanisms already present in `RequestM` than to implement\nour own.",
          "is_bot": false,
          "headline": "feat: support cancellation of RPC requests (#700)",
          "author_name": "Wojciech Nawrocki",
          "author_login": "Vtec234",
          "committed_at": "2026-02-06T18:12:14Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "9dbf2bcf30b81863f2379af035b7293352c85445",
          "body": null,
          "is_bot": false,
          "headline": "feat: focus editor after infoview edit (#702)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-02-06T10:13:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e7c6dfcf5b96a7f77db2db2f527ce37f3848afbd",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.0.222 (pre-release)",
          "author_name": "mhuisi",
          "author_login": "mhuisi",
          "committed_at": "2026-01-19T10:48:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7dfbc35b31435c38951e87c7b67673f7b78ba0e6",
          "body": null,
          "is_bot": false,
          "headline": "feat: nested lean projects (#699)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2026-01-19T10:31:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a45318523691329a325301826e3d20b2c7f6e864",
          "body": "This pull request adds tests to make sure that\n[lakefile-toml-schema](https://raw.githubusercontent.com/leanprover/lean4/refs/heads/master/src/lake/schemas/lakefile-toml-schema.json)\nhas no false positives and minimal false negatives *(or the other way\naround? Maintainer please confirm/deny)*.\n\nAs d\n[…]\n536), tests for the\n`lakefile.toml` schema are placed here since the tests in this repo are\nbetter maintained and this location avoids adding another dependency to\nthe test suite for the main project.",
          "is_bot": false,
          "headline": "test: add tests for `lakefile-toml-schema.json` (#694)",
          "author_name": "maxwell3025",
          "author_login": "maxwell3025",
          "committed_at": "2025-12-20T18:28:00Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "f23cef6c3ef1b1f688b2a1b4cdde4e2f89555d95",
          "body": "This PR changes `rmdir*(..., {recursive: true})` to `rm*(...,\n{recursive: true})` as recommended in\n[DEP0147](https://nodejs.org/api/deprecations.html#dep0147-fsrmdirpath--recursive-true-).\n\nThis removes clutter in the testing suite output and prevents errors\nwhen the feature is removed by NodeJS.",
          "is_bot": false,
          "headline": "test: change recursive `rmdir` to `rm` to fix DEP0147 warning (#697)",
          "author_name": "maxwell3025",
          "author_login": "maxwell3025",
          "committed_at": "2025-12-19T09:59:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "744957c550f3aaeaeb5d1dcde3752f25077131fd",
          "body": "…dy exist (#695)\n\nCurrently, running tests locally as described in\n[`dev.md`](https://github.com/leanprover/vscode-lean4/blob/master/docs/dev.md)\nworks at most one time.\nIn subsequent runs, the user's local `elan` installation already has the\ntest and build toolchains installed.\nThis causes `elan to\n[…]\nstalled\n```\n\nThis PR makes the assertion succeed if the `...is already installed`\nerror is printed, even if the exit code indicates failure.\nThis allows the test suit to be run multiple times locally.",
          "is_bot": false,
          "headline": "test: allow bootstrap tests to succeed when targeted toolchains alrea…",
          "author_name": "maxwell3025",
          "author_login": "maxwell3025",
          "committed_at": "2025-12-18T12:15:44Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2ca585c47d447682452bd72f528feffd03ef4971",
          "body": "This PR removes the text mate grammar scope for name literals. As far as\nI can tell, it isn't being used in the VS Code default themes.\n\nExample of something that is causing problems with the current\nhighlighting where the whole file is highlighted:\n```\ndef x := s!\"{`False} \"\n\ndef y := 1\n```",
          "is_bot": false,
          "headline": "fix: remove backtick name highlighting (#692)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2025-12-17T15:47:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f15faf1a91ff9f1975fd0de8fd1f668b0f27e8ce",
          "body": "because `⟨n` is far more common, and instead remapped it to `\\notlt`\n\nZulip: [\\<n should not produce\n≮](https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/.5C.3Cn.20should.20not.20produce.20.E2.89.AE/with/547120970)",
          "is_bot": false,
          "headline": "chore: remove \"\\<n\" giving \"≮\" (#685)",
          "author_name": "Kenny Lau",
          "author_login": "kckennylau",
          "committed_at": "2025-12-17T15:46:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b7e3fc41ffcf5330d684c9c94f1a633ddc3cd649",
          "body": null,
          "is_bot": false,
          "headline": "chore: update package-lock.json (#696)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2025-12-16T12:12:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c15861c894c5e04c25751f5d624d9c25b1f93a24",
          "body": null,
          "is_bot": false,
          "headline": "Release 0.0.221",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2025-11-13T13:23:21Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c9465b97aece58bb5100a40d6a4d9f5d88058f1c",
          "body": "…ence manual (#691)",
          "is_bot": false,
          "headline": "chore: adjust minimum supported macos version to the one in the refer…",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2025-11-13T13:14:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "890db583e3847e3f53dfde080e745f36ab93fa13",
          "body": "This PR adds a setup diagnostic that displays a warning if we detect\nthat the user's OS version is unsupported for new Lean versions.\n\nThe macOS version is a placeholder for now.",
          "is_bot": false,
          "headline": "feat: setup diagnostic for whether OS is unsupported (#683)",
          "author_name": "Marc Huisinga",
          "author_login": "mhuisi",
          "committed_at": "2025-11-13T13:04:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        }
      ],
      "releases_count": 100,
      "commits_last_year": 145,
      "latest_release_at": "2026-07-29T08:37:04Z",
      "latest_release_tag": "v0.0.239",
      "releases_from_tags": false,
      "days_since_last_push": 0,
      "active_weeks_last_year": 27,
      "days_since_latest_release": 0,
      "mean_days_between_releases": 13.2
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": false,
      "health_percentage": 50,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": [
        {
          "name": "lean4",
          "exists": true,
          "license": null,
          "keywords": [],
          "ecosystem": "npm",
          "matches_repo": null,
          "registry_url": "https://www.npmjs.com/package/lean4",
          "is_deprecated": false,
          "latest_version": null,
          "repository_url": null,
          "versions_count": 0,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": "2024-05-02T08:36:17.985000Z",
          "latest_published_at": null,
          "latest_version_yanked": null,
          "days_since_latest_publish": null
        },
        {
          "name": "@leanprover/infoview",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "npm",
          "matches_repo": true,
          "registry_url": "https://www.npmjs.com/package/@leanprover/infoview",
          "is_deprecated": false,
          "latest_version": "0.13.0",
          "repository_url": "https://github.com/leanprover/vscode-lean4",
          "versions_count": 33,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": 2,
          "monthly_downloads": 3975,
          "first_published_at": "2022-07-26T21:23:13.830000Z",
          "latest_published_at": "2026-04-13T12:37:17.195000Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 107
        },
        {
          "name": "@leanprover/infoview-api",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "npm",
          "matches_repo": true,
          "registry_url": "https://www.npmjs.com/package/@leanprover/infoview-api",
          "is_deprecated": false,
          "latest_version": "0.13.0",
          "repository_url": "https://github.com/leanprover/vscode-lean4",
          "versions_count": 14,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": 2,
          "monthly_downloads": 3750,
          "first_published_at": "2022-07-26T21:22:58.637000Z",
          "latest_published_at": "2026-04-13T12:37:07.304000Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 107
        },
        {
          "name": "@leanprover/unicode-input",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "npm",
          "matches_repo": true,
          "registry_url": "https://www.npmjs.com/package/@leanprover/unicode-input",
          "is_deprecated": false,
          "latest_version": "0.1.12",
          "repository_url": "https://github.com/leanprover/vscode-lean4",
          "versions_count": 13,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": 2,
          "monthly_downloads": 5045,
          "first_published_at": "2024-06-18T08:53:00.080000Z",
          "latest_published_at": "2026-07-29T08:35:54.288000Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 0
        },
        {
          "name": "@leanprover/unicode-input-component",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [],
          "ecosystem": "npm",
          "matches_repo": true,
          "registry_url": "https://www.npmjs.com/package/@leanprover/unicode-input-component",
          "is_deprecated": false,
          "latest_version": "0.2.3",
          "repository_url": "https://github.com/leanprover/vscode-lean4",
          "versions_count": 14,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": 2,
          "monthly_downloads": 329,
          "first_published_at": "2024-06-18T08:54:50.888000Z",
          "latest_published_at": "2026-07-29T08:35:58.583000Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 0
        }
      ]
    },
    "popularity": {
      "forks": 97,
      "stars": 299,
      "watchers": 10,
      "fork_history": {
        "days": [
          {
            "date": "2021-01-03",
            "count": 1
          },
          {
            "date": "2021-01-05",
            "count": 1
          },
          {
            "date": "2021-01-15",
            "count": 1
          },
          {
            "date": "2021-04-21",
            "count": 1
          },
          {
            "date": "2021-04-29",
            "count": 1
          },
          {
            "date": "2021-06-09",
            "count": 1
          },
          {
            "date": "2022-01-20",
            "count": 1
          },
          {
            "date": "2022-02-12",
            "count": 1
          },
          {
            "date": "2022-04-12",
            "count": 1
          },
          {
            "date": "2022-04-26",
            "count": 1
          },
          {
            "date": "2022-08-17",
            "count": 1
          },
          {
            "date": "2022-10-24",
            "count": 1
          },
          {
            "date": "2023-02-07",
            "count": 1
          },
          {
            "date": "2023-03-15",
            "count": 1
          },
          {
            "date": "2023-05-13",
            "count": 1
          },
          {
            "date": "2023-05-18",
            "count": 1
          },
          {
            "date": "2023-05-30",
            "count": 1
          },
          {
            "date": "2023-06-27",
            "count": 1
          },
          {
            "date": "2023-07-03",
            "count": 1
          },
          {
            "date": "2023-07-19",
            "count": 1
          },
          {
            "date": "2023-09-20",
            "count": 2
          },
          {
            "date": "2023-10-13",
            "count": 1
          },
          {
            "date": "2023-10-14",
            "count": 1
          },
          {
            "date": "2023-12-06",
            "count": 1
          },
          {
            "date": "2023-12-22",
            "count": 1
          },
          {
            "date": "2024-01-12",
            "count": 1
          },
          {
            "date": "2024-02-08",
            "count": 1
          },
          {
            "date": "2024-02-23",
            "count": 1
          },
          {
            "date": "2024-03-20",
            "count": 1
          },
          {
            "date": "2024-03-21",
            "count": 1
          },
          {
            "date": "2024-04-09",
            "count": 1
          },
          {
            "date": "2024-04-10",
            "count": 1
          },
          {
            "date": "2024-05-19",
            "count": 1
          },
          {
            "date": "2024-06-05",
            "count": 1
          },
          {
            "date": "2024-06-22",
            "count": 1
          },
          {
            "date": "2024-07-05",
            "count": 1
          },
          {
            "date": "2024-08-15",
            "count": 1
          },
          {
            "date": "2024-08-20",
            "count": 1
          },
          {
            "date": "2024-09-09",
            "count": 1
          },
          {
            "date": "2024-09-10",
            "count": 1
          },
          {
            "date": "2024-11-24",
            "count": 1
          },
          {
            "date": "2024-12-09",
            "count": 1
          },
          {
            "date": "2024-12-15",
            "count": 1
          },
          {
            "date": "2024-12-22",
            "count": 1
          },
          {
            "date": "2025-01-19",
            "count": 1
          },
          {
            "date": "2025-02-06",
            "count": 1
          },
          {
            "date": "2025-02-10",
            "count": 1
          },
          {
            "date": "2025-03-02",
            "count": 1
          },
          {
            "date": "2025-03-09",
            "count": 1
          },
          {
            "date": "2025-03-14",
            "count": 1
          },
          {
            "date": "2025-03-15",
            "count": 1
          },
          {
            "date": "2025-03-20",
            "count": 1
          },
          {
            "date": "2025-03-26",
            "count": 1
          },
          {
            "date": "2025-05-16",
            "count": 1
          },
          {
            "date": "2025-05-30",
            "count": 1
          },
          {
            "date": "2025-06-09",
            "count": 1
          },
          {
            "date": "2025-06-10",
            "count": 1
          },
          {
            "date": "2025-06-18",
            "count": 1
          },
          {
            "date": "2025-06-21",
            "count": 1
          },
          {
            "date": "2025-06-26",
            "count": 1
          },
          {
            "date": "2025-07-07",
            "count": 1
          },
          {
            "date": "2025-07-11",
            "count": 1
          },
          {
            "date": "2025-07-14",
            "count": 1
          },
          {
            "date": "2025-08-19",
            "count": 1
          },
          {
            "date": "2025-08-21",
            "count": 1
          },
          {
            "date": "2025-09-03",
            "count": 1
          },
          {
            "date": "2025-09-27",
            "count": 1
          },
          {
            "date": "2025-10-02",
            "count": 1
          },
          {
            "date": "2025-10-09",
            "count": 1
          },
          {
            "date": "2025-10-12",
            "count": 1
          },
          {
            "date": "2025-10-27",
            "count": 1
          },
          {
            "date": "2025-11-02",
            "count": 1
          },
          {
            "date": "2025-11-16",
            "count": 1
          },
          {
            "date": "2025-11-21",
            "count": 1
          },
          {
            "date": "2025-12-03",
            "count": 1
          },
          {
            "date": "2025-12-08",
            "count": 1
          },
          {
            "date": "2025-12-14",
            "count": 1
          },
          {
            "date": "2026-01-14",
            "count": 1
          },
          {
            "date": "2026-02-12",
            "count": 1
          },
          {
            "date": "2026-02-24",
            "count": 1
          },
          {
            "date": "2026-03-03",
            "count": 1
          },
          {
            "date": "2026-03-05",
            "count": 1
          },
          {
            "date": "2026-03-24",
            "count": 1
          },
          {
            "date": "2026-04-02",
            "count": 2
          },
          {
            "date": "2026-04-11",
            "count": 1
          },
          {
            "date": "2026-04-12",
            "count": 1
          },
          {
            "date": "2026-04-28",
            "count": 1
          },
          {
            "date": "2026-05-23",
            "count": 1
          },
          {
            "date": "2026-06-02",
            "count": 1
          },
          {
            "date": "2026-06-14",
            "count": 1
          },
          {
            "date": "2026-06-19",
            "count": 2
          },
          {
            "date": "2026-06-22",
            "count": 1
          },
          {
            "date": "2026-06-27",
            "count": 1
          },
          {
            "date": "2026-07-18",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 97,
        "total_forks": 97
      },
      "star_history": null,
      "open_issues_and_prs": 59
    },
    "ai_readiness": {
      "has_nix": true,
      "example_dirs": [],
      "has_llms_txt": false,
      "has_dockerfile": false,
      "has_mcp_signal": false,
      "bootstrap_files": [],
      "api_schema_files": [],
      "has_devcontainer": false,
      "typecheck_configs": [
        "lean4-infoview-api/tsconfig.json",
        "lean4-infoview/test/tsconfig.json",
        "lean4-infoview/tsconfig.json",
        "lean4-unicode-input-component/tsconfig.json",
        "lean4-unicode-input/tsconfig.json",
        "vscode-lean4/abbreviationview/tsconfig.json",
        "vscode-lean4/loogleview/tsconfig.json",
        "vscode-lean4/tsconfig.json",
        "vscode-lean4/webview/tsconfig.json"
      ],
      "toolchain_manifests": [],
      "largest_source_bytes": 47701,
      "source_files_sampled": 104,
      "oversized_source_files": 0,
      "agent_instruction_files": [
        ".claude/CLAUDE.md"
      ],
      "agent_instruction_max_bytes": 5033
    },
    "dependencies": {
      "manifests": [
        "lean4-infoview-api/package.json",
        "lean4-infoview/package.json",
        "lean4-unicode-input-component/package.json",
        "lean4-unicode-input/package.json",
        "package.json",
        "vscode-lean4/package.json"
      ],
      "advisories": {
        "error": null,
        "scope": "published_package",
        "source": "osv",
        "findings": [],
        "collected": true,
        "malicious": [],
        "truncated": false,
        "by_severity": {},
        "advisory_count": 0,
        "affected_count": 0,
        "assessed_count": 21,
        "malicious_count": 0,
        "assessed_package": "npm:@leanprover/infoview@0.13.0",
        "unassessed_count": 0,
        "direct_affected_count": 0
      },
      "ecosystems": [
        "npm"
      ],
      "dependencies": [
        {
          "name": "@leanprover/infoview-api",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "~0.13.0"
        },
        {
          "name": "@vscode/codicons",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^0.0.40"
        },
        {
          "name": "@vscode-elements/react-elements",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^0.5.0"
        },
        {
          "name": "es-module-lexer",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^1.5.4"
        },
        {
          "name": "es-module-shims",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^2.8.0"
        },
        {
          "name": "react-fast-compare",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^3.2.2"
        },
        {
          "name": "tachyons",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^4.12.0"
        },
        {
          "name": "vscode-languageserver-protocol",
          "manifest": "lean4-infoview/package.json",
          "ecosystem": "npm",
          "version_constraint": "^3.17.3"
        },
        {
          "name": "@leanprover/unicode-input",
          "manifest": "lean4-unicode-input-component/package.json",
          "ecosystem": "npm",
          "version_constraint": "^0.1.12"
        },
        {
          "name": "@leanprover/infoview",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "~0.13.0"
        },
        {
          "name": "@leanprover/infoview-api",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "~0.13.0"
        },
        {
          "name": "@leanprover/unicode-input",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "~0.1.12"
        },
        {
          "name": "@leanprover/unicode-input-component",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "~0.2.3"
        },
        {
          "name": "@vscode/codicons",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "^0.0.36"
        },
        {
          "name": "@vscode-elements/elements",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "^1.7.1"
        },
        {
          "name": "markdown-it",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "^14.1.0"
        },
        {
          "name": "markdown-it-anchor",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "^9.0.1"
        },
        {
          "name": "semver",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "^7.6.0"
        },
        {
          "name": "vscode-languageclient",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "9.0.1"
        },
        {
          "name": "zod",
          "manifest": "vscode-lean4/package.json",
          "ecosystem": "npm",
          "version_constraint": "^3.22.4"
        }
      ],
      "all_dependencies": {
        "error": null,
        "source": "github-sbom",
        "packages": [
          {
            "name": "@leanprover/infoview",
            "direct": true,
            "version": "0.12.0",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/infoview",
            "direct": true,
            "version": "0.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/infoview",
            "direct": true,
            "version": "latest",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/infoview",
            "direct": true,
            "version": "~0.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/infoview-api",
            "direct": true,
            "version": "0.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/infoview-api",
            "direct": true,
            "version": "~0.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/unicode-input",
            "direct": true,
            "version": "0.1.12",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/unicode-input",
            "direct": true,
            "version": "^0.1.12",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/unicode-input",
            "direct": true,
            "version": "~0.1.12",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/unicode-input-component",
            "direct": true,
            "version": "0.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "@leanprover/unicode-input-component",
            "direct": true,
            "version": "~0.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode-elements/elements",
            "direct": true,
            "version": "1.7.1",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode-elements/elements",
            "direct": true,
            "version": "^1.7.1",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode-elements/react-elements",
            "direct": true,
            "version": "0.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode-elements/react-elements",
            "direct": true,
            "version": "^0.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/codicons",
            "direct": true,
            "version": "0.0.32",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/codicons",
            "direct": true,
            "version": "0.0.36",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/codicons",
            "direct": true,
            "version": "0.0.40",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/codicons",
            "direct": true,
            "version": "^0.0.36",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/codicons",
            "direct": true,
            "version": "^0.0.40",
            "ecosystem": "npm"
          },
          {
            "name": "es-module-lexer",
            "direct": true,
            "version": "1.5.4",
            "ecosystem": "npm"
          },
          {
            "name": "es-module-lexer",
            "direct": true,
            "version": "^1.5.4",
            "ecosystem": "npm"
          },
          {
            "name": "es-module-shims",
            "direct": true,
            "version": "2.8.0",
            "ecosystem": "npm"
          },
          {
            "name": "es-module-shims",
            "direct": true,
            "version": "^2.8.0",
            "ecosystem": "npm"
          },
          {
            "name": "markdown-it",
            "direct": true,
            "version": "12.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "markdown-it",
            "direct": true,
            "version": "14.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "markdown-it",
            "direct": true,
            "version": "^14.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "markdown-it-anchor",
            "direct": true,
            "version": "9.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "markdown-it-anchor",
            "direct": true,
            "version": "^9.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "react-fast-compare",
            "direct": true,
            "version": "3.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "react-fast-compare",
            "direct": true,
            "version": "^3.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "semver",
            "direct": true,
            "version": "5.7.2",
            "ecosystem": "npm"
          },
          {
            "name": "semver",
            "direct": true,
            "version": "6.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "semver",
            "direct": true,
            "version": "7.7.4",
            "ecosystem": "npm"
          },
          {
            "name": "semver",
            "direct": true,
            "version": "^7.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "tachyons",
            "direct": true,
            "version": "4.12.0",
            "ecosystem": "npm"
          },
          {
            "name": "tachyons",
            "direct": true,
            "version": "^4.12.0",
            "ecosystem": "npm"
          },
          {
            "name": "vscode-languageclient",
            "direct": true,
            "version": "9.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "vscode-languageserver-protocol",
            "direct": true,
            "version": "3.17.5",
            "ecosystem": "npm"
          },
          {
            "name": "vscode-languageserver-protocol",
            "direct": true,
            "version": "^3.17.3",
            "ecosystem": "npm"
          },
          {
            "name": "zod",
            "direct": true,
            "version": "3.23.8",
            "ecosystem": "npm"
          },
          {
            "name": "zod",
            "direct": true,
            "version": "^3.22.4",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/abort-controller",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/abort-controller",
            "direct": false,
            "version": "2.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/core-auth",
            "direct": false,
            "version": "1.8.0",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/core-client",
            "direct": false,
            "version": "1.9.2",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/core-rest-pipeline",
            "direct": false,
            "version": "1.17.0",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/core-tracing",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/core-util",
            "direct": false,
            "version": "1.10.0",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/identity",
            "direct": false,
            "version": "4.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/logger",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/msal-browser",
            "direct": false,
            "version": "3.26.1",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/msal-common",
            "direct": false,
            "version": "14.15.0",
            "ecosystem": "npm"
          },
          {
            "name": "@azure/msal-node",
            "direct": false,
            "version": "2.15.0",
            "ecosystem": "npm"
          },
          {
            "name": "@babel/runtime",
            "direct": false,
            "version": "7.28.4",
            "ecosystem": "npm"
          },
          {
            "name": "@discoveryjs/json-ext",
            "direct": false,
            "version": "0.5.7",
            "ecosystem": "npm"
          },
          {
            "name": "@emnapi/core",
            "direct": false,
            "version": "1.4.5",
            "ecosystem": "npm"
          },
          {
            "name": "@emnapi/runtime",
            "direct": false,
            "version": "1.4.5",
            "ecosystem": "npm"
          },
          {
            "name": "@emnapi/wasi-threads",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "@eslint-community/eslint-utils",
            "direct": false,
            "version": "4.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "@eslint-community/regexpp",
            "direct": false,
            "version": "4.11.1",
            "ecosystem": "npm"
          },
          {
            "name": "@eslint/eslintrc",
            "direct": false,
            "version": "2.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "@eslint/js",
            "direct": false,
            "version": "8.57.1",
            "ecosystem": "npm"
          },
          {
            "name": "@floating-ui/core",
            "direct": false,
            "version": "1.6.8",
            "ecosystem": "npm"
          },
          {
            "name": "@floating-ui/dom",
            "direct": false,
            "version": "1.6.11",
            "ecosystem": "npm"
          },
          {
            "name": "@floating-ui/react",
            "direct": false,
            "version": "0.26.25",
            "ecosystem": "npm"
          },
          {
            "name": "@floating-ui/react",
            "direct": false,
            "version": "^0.26.25",
            "ecosystem": "npm"
          },
          {
            "name": "@floating-ui/react-dom",
            "direct": false,
            "version": "2.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "@floating-ui/utils",
            "direct": false,
            "version": "0.2.8",
            "ecosystem": "npm"
          },
          {
            "name": "@humanwhocodes/config-array",
            "direct": false,
            "version": "0.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "@humanwhocodes/module-importer",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "@humanwhocodes/object-schema",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "@isaacs/cliui",
            "direct": false,
            "version": "8.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@jest/diff-sequences",
            "direct": false,
            "version": "30.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "@jridgewell/gen-mapping",
            "direct": false,
            "version": "0.3.5",
            "ecosystem": "npm"
          },
          {
            "name": "@jridgewell/resolve-uri",
            "direct": false,
            "version": "3.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "@jridgewell/set-array",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "@jridgewell/source-map",
            "direct": false,
            "version": "0.3.6",
            "ecosystem": "npm"
          },
          {
            "name": "@jridgewell/sourcemap-codec",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "@jridgewell/trace-mapping",
            "direct": false,
            "version": "0.3.25",
            "ecosystem": "npm"
          },
          {
            "name": "@lit-labs/ssr-dom-shim",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "@lit/react",
            "direct": false,
            "version": "1.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "@lit/reactive-element",
            "direct": false,
            "version": "2.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "@napi-rs/wasm-runtime",
            "direct": false,
            "version": "0.2.4",
            "ecosystem": "npm"
          },
          {
            "name": "@nodelib/fs.scandir",
            "direct": false,
            "version": "2.1.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nodelib/fs.stat",
            "direct": false,
            "version": "2.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nodelib/fs.walk",
            "direct": false,
            "version": "1.2.8",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-darwin-arm64",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-darwin-x64",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-freebsd-x64",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-linux-arm-gnueabihf",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-linux-arm64-gnu",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-linux-arm64-musl",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-linux-x64-gnu",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-linux-x64-musl",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-win32-arm64-msvc",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@nx/nx-win32-x64-msvc",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-commonjs",
            "direct": false,
            "version": "29.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-commonjs",
            "direct": false,
            "version": "^29.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-json",
            "direct": false,
            "version": "6.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-json",
            "direct": false,
            "version": "^6.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-node-resolve",
            "direct": false,
            "version": "16.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-node-resolve",
            "direct": false,
            "version": "^16.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-replace",
            "direct": false,
            "version": "6.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-replace",
            "direct": false,
            "version": "^6.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-terser",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-terser",
            "direct": false,
            "version": "^1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-typescript",
            "direct": false,
            "version": "12.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-typescript",
            "direct": false,
            "version": "^12.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-url",
            "direct": false,
            "version": "8.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/plugin-url",
            "direct": false,
            "version": "^8.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/pluginutils",
            "direct": false,
            "version": "5.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-android-arm-eabi",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-android-arm64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-darwin-arm64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-darwin-x64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-freebsd-arm64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-freebsd-x64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-arm-gnueabihf",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-arm-musleabihf",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-arm64-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-arm64-musl",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-loong64-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-loong64-musl",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-ppc64-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-ppc64-musl",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-riscv64-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-riscv64-musl",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-s390x-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-x64-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-linux-x64-musl",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-openbsd-x64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-openharmony-arm64",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-win32-arm64-msvc",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-win32-ia32-msvc",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-win32-x64-gnu",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@rollup/rollup-win32-x64-msvc",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "@sindresorhus/merge-streams",
            "direct": false,
            "version": "2.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "@tybys/wasm-util",
            "direct": false,
            "version": "0.9.0",
            "ecosystem": "npm"
          },
          {
            "name": "@types/debug",
            "direct": false,
            "version": "4.1.12",
            "ecosystem": "npm"
          },
          {
            "name": "@types/estree",
            "direct": false,
            "version": "1.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "@types/estree-jsx",
            "direct": false,
            "version": "1.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "@types/hast",
            "direct": false,
            "version": "2.3.10",
            "ecosystem": "npm"
          },
          {
            "name": "@types/hast",
            "direct": false,
            "version": "3.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "@types/json-schema",
            "direct": false,
            "version": "7.0.15",
            "ecosystem": "npm"
          },
          {
            "name": "@types/katex",
            "direct": false,
            "version": "0.16.7",
            "ecosystem": "npm"
          },
          {
            "name": "@types/linkify-it",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "@types/markdown-it",
            "direct": false,
            "version": "14.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "@types/markdown-it",
            "direct": false,
            "version": "^14.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "@types/mathjax",
            "direct": false,
            "version": "0.0.40",
            "ecosystem": "npm"
          },
          {
            "name": "@types/mdast",
            "direct": false,
            "version": "4.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "@types/mdurl",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "@types/mocha",
            "direct": false,
            "version": "10.0.9",
            "ecosystem": "npm"
          },
          {
            "name": "@types/mocha",
            "direct": false,
            "version": "^10.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "@types/ms",
            "direct": false,
            "version": "0.7.34",
            "ecosystem": "npm"
          },
          {
            "name": "@types/node",
            "direct": false,
            "version": "20.16.11",
            "ecosystem": "npm"
          },
          {
            "name": "@types/node",
            "direct": false,
            "version": "^20.12.12",
            "ecosystem": "npm"
          },
          {
            "name": "@types/prop-types",
            "direct": false,
            "version": "15.7.13",
            "ecosystem": "npm"
          },
          {
            "name": "@types/react",
            "direct": false,
            "version": "18.3.11",
            "ecosystem": "npm"
          },
          {
            "name": "@types/react",
            "direct": false,
            "version": "^18.2.15",
            "ecosystem": "npm"
          },
          {
            "name": "@types/react-dom",
            "direct": false,
            "version": "18.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "@types/react-dom",
            "direct": false,
            "version": "^18.2.7",
            "ecosystem": "npm"
          },
          {
            "name": "@types/react-syntax-highlighter",
            "direct": false,
            "version": "15.5.13",
            "ecosystem": "npm"
          },
          {
            "name": "@types/react-syntax-highlighter",
            "direct": false,
            "version": "^15.5.13",
            "ecosystem": "npm"
          },
          {
            "name": "@types/resolve",
            "direct": false,
            "version": "1.20.2",
            "ecosystem": "npm"
          },
          {
            "name": "@types/semver",
            "direct": false,
            "version": "7.5.8",
            "ecosystem": "npm"
          },
          {
            "name": "@types/semver",
            "direct": false,
            "version": "^7.5.7",
            "ecosystem": "npm"
          },
          {
            "name": "@types/trusted-types",
            "direct": false,
            "version": "2.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "@types/unist",
            "direct": false,
            "version": "2.0.11",
            "ecosystem": "npm"
          },
          {
            "name": "@types/unist",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "@types/vscode",
            "direct": false,
            "version": "1.94.0",
            "ecosystem": "npm"
          },
          {
            "name": "@types/vscode",
            "direct": false,
            "version": "^1.75.0",
            "ecosystem": "npm"
          },
          {
            "name": "@types/vscode-webview",
            "direct": false,
            "version": "1.57.5",
            "ecosystem": "npm"
          },
          {
            "name": "@types/vscode-webview",
            "direct": false,
            "version": "^1.57.5",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/eslint-plugin",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/parser",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/scope-manager",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/type-utils",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/types",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/typescript-estree",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/utils",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@typescript-eslint/visitor-keys",
            "direct": false,
            "version": "7.18.0",
            "ecosystem": "npm"
          },
          {
            "name": "@ungap/structured-clone",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/test-electron",
            "direct": false,
            "version": "2.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/test-electron",
            "direct": false,
            "version": "^2.3.9",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce",
            "direct": false,
            "version": "2.32.0",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce",
            "direct": false,
            "version": "3.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce",
            "direct": false,
            "version": "^2.21.1",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign",
            "direct": false,
            "version": "2.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-alpine-arm64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-alpine-x64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-darwin-arm64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-darwin-x64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-linux-arm",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-linux-arm64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-linux-x64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-win32-arm64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@vscode/vsce-sign-win32-x64",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/ast",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/floating-point-hex-parser",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/helper-api-error",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/helper-buffer",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/helper-numbers",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/helper-wasm-bytecode",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/helper-wasm-section",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/ieee754",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/leb128",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/utf8",
            "direct": false,
            "version": "1.11.6",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/wasm-edit",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/wasm-gen",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/wasm-opt",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/wasm-parser",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webassemblyjs/wast-printer",
            "direct": false,
            "version": "1.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webpack-cli/configtest",
            "direct": false,
            "version": "2.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "@webpack-cli/info",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "@webpack-cli/serve",
            "direct": false,
            "version": "2.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "@xtuc/ieee754",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "@xtuc/long",
            "direct": false,
            "version": "4.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "@yarnpkg/lockfile",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "@zkochan/js-yaml",
            "direct": false,
            "version": "0.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "acorn",
            "direct": false,
            "version": "8.12.1",
            "ecosystem": "npm"
          },
          {
            "name": "acorn-import-attributes",
            "direct": false,
            "version": "1.9.5",
            "ecosystem": "npm"
          },
          {
            "name": "acorn-jsx",
            "direct": false,
            "version": "5.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "agent-base",
            "direct": false,
            "version": "7.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "ajv",
            "direct": false,
            "version": "6.12.6",
            "ecosystem": "npm"
          },
          {
            "name": "ajv",
            "direct": false,
            "version": "8.17.1",
            "ecosystem": "npm"
          },
          {
            "name": "ajv-formats",
            "direct": false,
            "version": "2.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "ajv-keywords",
            "direct": false,
            "version": "3.5.2",
            "ecosystem": "npm"
          },
          {
            "name": "ajv-keywords",
            "direct": false,
            "version": "5.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-colors",
            "direct": false,
            "version": "4.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-escapes",
            "direct": false,
            "version": "7.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-regex",
            "direct": false,
            "version": "5.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-regex",
            "direct": false,
            "version": "6.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-styles",
            "direct": false,
            "version": "3.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-styles",
            "direct": false,
            "version": "4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "ansi-styles",
            "direct": false,
            "version": "6.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "anymatch",
            "direct": false,
            "version": "3.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "argparse",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "array-union",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "asynckit",
            "direct": false,
            "version": "0.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "axios",
            "direct": false,
            "version": "1.16.0",
            "ecosystem": "npm"
          },
          {
            "name": "azure-devops-node-api",
            "direct": false,
            "version": "12.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "bail",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "balanced-match",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "balanced-match",
            "direct": false,
            "version": "4.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "base64-js",
            "direct": false,
            "version": "1.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "binary-extensions",
            "direct": false,
            "version": "2.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "bl",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "bl",
            "direct": false,
            "version": "5.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "boolbase",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "brace-expansion",
            "direct": false,
            "version": "1.1.12",
            "ecosystem": "npm"
          },
          {
            "name": "brace-expansion",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "brace-expansion",
            "direct": false,
            "version": "5.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "braces",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "browser-stdout",
            "direct": false,
            "version": "1.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "browserslist",
            "direct": false,
            "version": "4.24.0",
            "ecosystem": "npm"
          },
          {
            "name": "buffer",
            "direct": false,
            "version": "5.7.1",
            "ecosystem": "npm"
          },
          {
            "name": "buffer",
            "direct": false,
            "version": "6.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "buffer-crc32",
            "direct": false,
            "version": "0.2.13",
            "ecosystem": "npm"
          },
          {
            "name": "buffer-equal-constant-time",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "buffer-from",
            "direct": false,
            "version": "1.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "call-bind",
            "direct": false,
            "version": "1.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "call-bind-apply-helpers",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "callsites",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "camelcase",
            "direct": false,
            "version": "6.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "caniuse-lite",
            "direct": false,
            "version": "1.0.30001668",
            "ecosystem": "npm"
          },
          {
            "name": "ccount",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "chalk",
            "direct": false,
            "version": "2.4.2",
            "ecosystem": "npm"
          },
          {
            "name": "chalk",
            "direct": false,
            "version": "4.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "chalk",
            "direct": false,
            "version": "5.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "character-entities",
            "direct": false,
            "version": "1.2.4",
            "ecosystem": "npm"
          },
          {
            "name": "character-entities",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "character-entities-html4",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "character-entities-legacy",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "character-entities-legacy",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "character-reference-invalid",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "character-reference-invalid",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "cheerio",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "cheerio-select",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "chokidar",
            "direct": false,
            "version": "3.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "chownr",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "chrome-trace-event",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "ci-info",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "cli-cursor",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "cli-cursor",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "cli-cursor",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "cli-spinners",
            "direct": false,
            "version": "2.6.1",
            "ecosystem": "npm"
          },
          {
            "name": "cli-spinners",
            "direct": false,
            "version": "2.9.2",
            "ecosystem": "npm"
          },
          {
            "name": "cli-truncate",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "cliui",
            "direct": false,
            "version": "7.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "cliui",
            "direct": false,
            "version": "8.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "clone",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "clone-deep",
            "direct": false,
            "version": "4.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "cockatiel",
            "direct": false,
            "version": "3.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "color-convert",
            "direct": false,
            "version": "1.9.3",
            "ecosystem": "npm"
          },
          {
            "name": "color-convert",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "color-name",
            "direct": false,
            "version": "1.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "color-name",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "colorette",
            "direct": false,
            "version": "2.0.20",
            "ecosystem": "npm"
          },
          {
            "name": "combined-stream",
            "direct": false,
            "version": "1.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "comma-separated-tokens",
            "direct": false,
            "version": "1.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "comma-separated-tokens",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "commander",
            "direct": false,
            "version": "10.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "commander",
            "direct": false,
            "version": "12.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "commander",
            "direct": false,
            "version": "2.20.3",
            "ecosystem": "npm"
          },
          {
            "name": "commander",
            "direct": false,
            "version": "6.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "commander",
            "direct": false,
            "version": "8.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "commander",
            "direct": false,
            "version": "9.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "commondir",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "concat-map",
            "direct": false,
            "version": "0.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "concurrently",
            "direct": false,
            "version": "8.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "concurrently",
            "direct": false,
            "version": "^8.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "copy-webpack-plugin",
            "direct": false,
            "version": "12.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "copy-webpack-plugin",
            "direct": false,
            "version": "^12.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "core-util-is",
            "direct": false,
            "version": "1.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "cross-spawn",
            "direct": false,
            "version": "7.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "css-select",
            "direct": false,
            "version": "5.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "css-what",
            "direct": false,
            "version": "6.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "csstype",
            "direct": false,
            "version": "3.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "date-fns",
            "direct": false,
            "version": "2.30.0",
            "ecosystem": "npm"
          },
          {
            "name": "debug",
            "direct": false,
            "version": "4.3.7",
            "ecosystem": "npm"
          },
          {
            "name": "decamelize",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "decode-named-character-reference",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "decompress-response",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "deep-extend",
            "direct": false,
            "version": "0.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "deep-is",
            "direct": false,
            "version": "0.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "deepmerge",
            "direct": false,
            "version": "4.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "defaults",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "define-data-property",
            "direct": false,
            "version": "1.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "define-lazy-prop",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "delayed-stream",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "dequal",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "detect-libc",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "devlop",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "diff",
            "direct": false,
            "version": "5.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "dir-glob",
            "direct": false,
            "version": "3.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "doctrine",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "dom-serializer",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "domelementtype",
            "direct": false,
            "version": "2.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "domhandler",
            "direct": false,
            "version": "5.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "domutils",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "dotenv",
            "direct": false,
            "version": "16.4.7",
            "ecosystem": "npm"
          },
          {
            "name": "dotenv-expand",
            "direct": false,
            "version": "12.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "dunder-proto",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "eastasianwidth",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "ecdsa-sig-formatter",
            "direct": false,
            "version": "1.0.11",
            "ecosystem": "npm"
          },
          {
            "name": "ejs",
            "direct": false,
            "version": "5.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "electron-to-chromium",
            "direct": false,
            "version": "1.5.39",
            "ecosystem": "npm"
          },
          {
            "name": "emoji-regex",
            "direct": false,
            "version": "10.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "emoji-regex",
            "direct": false,
            "version": "8.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "emoji-regex",
            "direct": false,
            "version": "9.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "encoding-sniffer",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "end-of-stream",
            "direct": false,
            "version": "1.4.5",
            "ecosystem": "npm"
          },
          {
            "name": "enhanced-resolve",
            "direct": false,
            "version": "5.17.1",
            "ecosystem": "npm"
          },
          {
            "name": "enquirer",
            "direct": false,
            "version": "2.3.6",
            "ecosystem": "npm"
          },
          {
            "name": "entities",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "entities",
            "direct": false,
            "version": "4.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "envinfo",
            "direct": false,
            "version": "7.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "environment",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "es-define-property",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "es-errors",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "es-object-atoms",
            "direct": false,
            "version": "1.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "es-set-tostringtag",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "escalade",
            "direct": false,
            "version": "3.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "escape-string-regexp",
            "direct": false,
            "version": "1.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "escape-string-regexp",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "eslint",
            "direct": false,
            "version": "8.57.1",
            "ecosystem": "npm"
          },
          {
            "name": "eslint-config-prettier",
            "direct": false,
            "version": "9.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "eslint-plugin-react-hooks",
            "direct": false,
            "version": "4.6.2",
            "ecosystem": "npm"
          },
          {
            "name": "eslint-scope",
            "direct": false,
            "version": "5.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "eslint-scope",
            "direct": false,
            "version": "7.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "eslint-visitor-keys",
            "direct": false,
            "version": "3.4.3",
            "ecosystem": "npm"
          },
          {
            "name": "esm",
            "direct": false,
            "version": "3.2.25",
            "ecosystem": "npm"
          },
          {
            "name": "espree",
            "direct": false,
            "version": "9.6.1",
            "ecosystem": "npm"
          },
          {
            "name": "esquery",
            "direct": false,
            "version": "1.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "esrecurse",
            "direct": false,
            "version": "4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "estraverse",
            "direct": false,
            "version": "4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "estraverse",
            "direct": false,
            "version": "5.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "estree-util-is-identifier-name",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "estree-walker",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "esutils",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "eventemitter3",
            "direct": false,
            "version": "5.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "events",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "execa",
            "direct": false,
            "version": "8.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "expand-template",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "extend",
            "direct": false,
            "version": "3.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "fast-deep-equal",
            "direct": false,
            "version": "3.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "fast-glob",
            "direct": false,
            "version": "3.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "fast-json-stable-stringify",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "fast-levenshtein",
            "direct": false,
            "version": "2.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "fast-uri",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "fastest-levenshtein",
            "direct": false,
            "version": "1.0.16",
            "ecosystem": "npm"
          },
          {
            "name": "fastq",
            "direct": false,
            "version": "1.17.1",
            "ecosystem": "npm"
          },
          {
            "name": "fault",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "fd-slicer",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "fdir",
            "direct": false,
            "version": "6.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "figures",
            "direct": false,
            "version": "3.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "file-entry-cache",
            "direct": false,
            "version": "6.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "fill-range",
            "direct": false,
            "version": "7.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "find-up",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "find-up",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "flat",
            "direct": false,
            "version": "5.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "flat-cache",
            "direct": false,
            "version": "3.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "flatted",
            "direct": false,
            "version": "3.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "follow-redirects",
            "direct": false,
            "version": "1.16.0",
            "ecosystem": "npm"
          },
          {
            "name": "foreground-child",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "form-data",
            "direct": false,
            "version": "4.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "format",
            "direct": false,
            "version": "0.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "fs-constants",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "fs.realpath",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "fsevents",
            "direct": false,
            "version": "2.3.3",
            "ecosystem": "npm"
          },
          {
            "name": "function-bind",
            "direct": false,
            "version": "1.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "get-caller-file",
            "direct": false,
            "version": "2.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "get-east-asian-width",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "get-intrinsic",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "get-proto",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "get-stream",
            "direct": false,
            "version": "8.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "github-from-package",
            "direct": false,
            "version": "0.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "glob",
            "direct": false,
            "version": "11.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "glob",
            "direct": false,
            "version": "11.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "glob",
            "direct": false,
            "version": "7.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "glob",
            "direct": false,
            "version": "8.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "glob",
            "direct": false,
            "version": "^10.4.5",
            "ecosystem": "npm"
          },
          {
            "name": "glob-parent",
            "direct": false,
            "version": "5.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "glob-parent",
            "direct": false,
            "version": "6.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "glob-to-regexp",
            "direct": false,
            "version": "0.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "globals",
            "direct": false,
            "version": "13.24.0",
            "ecosystem": "npm"
          },
          {
            "name": "globby",
            "direct": false,
            "version": "11.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "globby",
            "direct": false,
            "version": "14.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "gopd",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "graceful-fs",
            "direct": false,
            "version": "4.2.11",
            "ecosystem": "npm"
          },
          {
            "name": "graphemer",
            "direct": false,
            "version": "1.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "has-flag",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "has-flag",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "has-property-descriptors",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "has-symbols",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "has-tostringtag",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "hasown",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "hast-util-is-element",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "hast-util-parse-selector",
            "direct": false,
            "version": "2.2.5",
            "ecosystem": "npm"
          },
          {
            "name": "hast-util-parse-selector",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "hast-util-to-jsx-runtime",
            "direct": false,
            "version": "2.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "hast-util-to-text",
            "direct": false,
            "version": "4.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "hast-util-whitespace",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "hastscript",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "hastscript",
            "direct": false,
            "version": "9.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "he",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "highlight.js",
            "direct": false,
            "version": "10.7.3",
            "ecosystem": "npm"
          },
          {
            "name": "highlightjs-lean",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "highlightjs-lean",
            "direct": false,
            "version": "^1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "highlightjs-vue",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "hosted-git-info",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "html-url-attributes",
            "direct": false,
            "version": "3.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "htmlparser2",
            "direct": false,
            "version": "9.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "http-proxy-agent",
            "direct": false,
            "version": "7.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "https-proxy-agent",
            "direct": false,
            "version": "7.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "human-signals",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "husky",
            "direct": false,
            "version": "9.1.6",
            "ecosystem": "npm"
          },
          {
            "name": "iconv-lite",
            "direct": false,
            "version": "0.6.3",
            "ecosystem": "npm"
          },
          {
            "name": "ieee754",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "ignore",
            "direct": false,
            "version": "5.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "ignore",
            "direct": false,
            "version": "7.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "immediate",
            "direct": false,
            "version": "3.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "import-fresh",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "import-local",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "imurmurhash",
            "direct": false,
            "version": "0.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "inflight",
            "direct": false,
            "version": "1.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "inherits",
            "direct": false,
            "version": "2.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "ini",
            "direct": false,
            "version": "1.3.8",
            "ecosystem": "npm"
          },
          {
            "name": "inline-style-parser",
            "direct": false,
            "version": "0.2.4",
            "ecosystem": "npm"
          },
          {
            "name": "interpret",
            "direct": false,
            "version": "3.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-alphabetical",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "is-alphabetical",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-alphanumerical",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "is-alphanumerical",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-binary-path",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-ci",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-core-module",
            "direct": false,
            "version": "2.15.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-decimal",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "is-decimal",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-docker",
            "direct": false,
            "version": "2.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-extglob",
            "direct": false,
            "version": "2.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-fullwidth-code-point",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-fullwidth-code-point",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-fullwidth-code-point",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-glob",
            "direct": false,
            "version": "4.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "is-hexadecimal",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "is-hexadecimal",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-interactive",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-interactive",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-module",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-number",
            "direct": false,
            "version": "7.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-path-inside",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "is-plain-obj",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-plain-obj",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-plain-object",
            "direct": false,
            "version": "2.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "is-reference",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "is-stream",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-unicode-supported",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-unicode-supported",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "is-wsl",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "isarray",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "isexe",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "isobject",
            "direct": false,
            "version": "3.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "jackspeak",
            "direct": false,
            "version": "4.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "jest-worker",
            "direct": false,
            "version": "27.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "js-tokens",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "js-yaml",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "json-buffer",
            "direct": false,
            "version": "3.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "json-parse-even-better-errors",
            "direct": false,
            "version": "2.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "json-schema-traverse",
            "direct": false,
            "version": "0.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "json-schema-traverse",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "json-stable-stringify-without-jsonify",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "json5",
            "direct": false,
            "version": "2.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "jsonc-parser",
            "direct": false,
            "version": "3.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "jsonwebtoken",
            "direct": false,
            "version": "9.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "jszip",
            "direct": false,
            "version": "3.10.1",
            "ecosystem": "npm"
          },
          {
            "name": "jwa",
            "direct": false,
            "version": "1.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "jwa",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "jws",
            "direct": false,
            "version": "3.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "jws",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "katex",
            "direct": false,
            "version": "0.16.22",
            "ecosystem": "npm"
          },
          {
            "name": "keytar",
            "direct": false,
            "version": "7.9.0",
            "ecosystem": "npm"
          },
          {
            "name": "keyv",
            "direct": false,
            "version": "4.5.4",
            "ecosystem": "npm"
          },
          {
            "name": "kind-of",
            "direct": false,
            "version": "6.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "lean4",
            "direct": false,
            "version": "0.0.238",
            "ecosystem": "npm"
          },
          {
            "name": "leven",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "levn",
            "direct": false,
            "version": "0.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "lie",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "lilconfig",
            "direct": false,
            "version": "3.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "lines-and-columns",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "linkify-it",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "linkify-it",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "lint-staged",
            "direct": false,
            "version": "15.2.10",
            "ecosystem": "npm"
          },
          {
            "name": "listr2",
            "direct": false,
            "version": "8.2.5",
            "ecosystem": "npm"
          },
          {
            "name": "lit",
            "direct": false,
            "version": "3.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "lit-element",
            "direct": false,
            "version": "4.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "lit-html",
            "direct": false,
            "version": "3.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "loader-runner",
            "direct": false,
            "version": "4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "locate-path",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "locate-path",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "lodash",
            "direct": false,
            "version": "4.17.21",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.includes",
            "direct": false,
            "version": "4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.isboolean",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.isinteger",
            "direct": false,
            "version": "4.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.isnumber",
            "direct": false,
            "version": "3.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.isplainobject",
            "direct": false,
            "version": "4.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.isstring",
            "direct": false,
            "version": "4.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.merge",
            "direct": false,
            "version": "4.6.2",
            "ecosystem": "npm"
          },
          {
            "name": "lodash.once",
            "direct": false,
            "version": "4.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "log-symbols",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "log-symbols",
            "direct": false,
            "version": "5.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "log-update",
            "direct": false,
            "version": "6.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "longest-streak",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "loose-envify",
            "direct": false,
            "version": "1.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "lowlight",
            "direct": false,
            "version": "1.20.0",
            "ecosystem": "npm"
          },
          {
            "name": "lru-cache",
            "direct": false,
            "version": "11.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "lru-cache",
            "direct": false,
            "version": "11.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "lru-cache",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "magic-string",
            "direct": false,
            "version": "0.30.12",
            "ecosystem": "npm"
          },
          {
            "name": "make-dir",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "math-intrinsics",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "mathjax-full",
            "direct": false,
            "version": "3.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "mathjax-full",
            "direct": false,
            "version": "~3.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-from-markdown",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-math",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-mdx-expression",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-mdx-jsx",
            "direct": false,
            "version": "3.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-mdxjs-esm",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-phrasing",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-to-hast",
            "direct": false,
            "version": "13.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-to-markdown",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "mdast-util-to-string",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "mdurl",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "mdurl",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "merge-stream",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "merge2",
            "direct": false,
            "version": "1.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "mhchemparser",
            "direct": false,
            "version": "4.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "micromark",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-core-commonmark",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-extension-math",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-factory-destination",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-factory-label",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-factory-space",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-factory-title",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-factory-whitespace",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-character",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-chunked",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-classify-character",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-combine-extensions",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-decode-numeric-character-reference",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-decode-string",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-encode",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-html-tag-name",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-normalize-identifier",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-resolve-all",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-sanitize-uri",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-subtokenize",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-symbol",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromark-util-types",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "micromatch",
            "direct": false,
            "version": "4.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "mime",
            "direct": false,
            "version": "1.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "mime",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "mime-db",
            "direct": false,
            "version": "1.52.0",
            "ecosystem": "npm"
          },
          {
            "name": "mime-types",
            "direct": false,
            "version": "2.1.35",
            "ecosystem": "npm"
          },
          {
            "name": "mimic-fn",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "mimic-fn",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "mimic-function",
            "direct": false,
            "version": "5.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "mimic-response",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "minimatch",
            "direct": false,
            "version": "10.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "minimatch",
            "direct": false,
            "version": "10.2.5",
            "ecosystem": "npm"
          },
          {
            "name": "minimatch",
            "direct": false,
            "version": "3.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "minimatch",
            "direct": false,
            "version": "5.1.6",
            "ecosystem": "npm"
          },
          {
            "name": "minimatch",
            "direct": false,
            "version": "9.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "minimist",
            "direct": false,
            "version": "1.2.8",
            "ecosystem": "npm"
          },
          {
            "name": "minipass",
            "direct": false,
            "version": "7.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "mj-context-menu",
            "direct": false,
            "version": "0.6.1",
            "ecosystem": "npm"
          },
          {
            "name": "mkdirp-classic",
            "direct": false,
            "version": "0.5.3",
            "ecosystem": "npm"
          },
          {
            "name": "mocha",
            "direct": false,
            "version": "10.7.3",
            "ecosystem": "npm"
          },
          {
            "name": "mocha",
            "direct": false,
            "version": "^10.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "ms",
            "direct": false,
            "version": "2.1.3",
            "ecosystem": "npm"
          },
          {
            "name": "mute-stream",
            "direct": false,
            "version": "0.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "napi-build-utils",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "natural-compare",
            "direct": false,
            "version": "1.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "neo-async",
            "direct": false,
            "version": "2.6.2",
            "ecosystem": "npm"
          },
          {
            "name": "node-abi",
            "direct": false,
            "version": "3.71.0",
            "ecosystem": "npm"
          },
          {
            "name": "node-addon-api",
            "direct": false,
            "version": "4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "node-releases",
            "direct": false,
            "version": "2.0.18",
            "ecosystem": "npm"
          },
          {
            "name": "normalize-path",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "npm-run-path",
            "direct": false,
            "version": "4.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "npm-run-path",
            "direct": false,
            "version": "5.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "nth-check",
            "direct": false,
            "version": "2.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "nx",
            "direct": false,
            "version": "22.7.5",
            "ecosystem": "npm"
          },
          {
            "name": "object-inspect",
            "direct": false,
            "version": "1.13.2",
            "ecosystem": "npm"
          },
          {
            "name": "once",
            "direct": false,
            "version": "1.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "onetime",
            "direct": false,
            "version": "5.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "onetime",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "onetime",
            "direct": false,
            "version": "7.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "open",
            "direct": false,
            "version": "8.4.2",
            "ecosystem": "npm"
          },
          {
            "name": "optionator",
            "direct": false,
            "version": "0.9.4",
            "ecosystem": "npm"
          },
          {
            "name": "ora",
            "direct": false,
            "version": "5.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "ora",
            "direct": false,
            "version": "7.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "ovsx",
            "direct": false,
            "version": "0.9.5",
            "ecosystem": "npm"
          },
          {
            "name": "ovsx",
            "direct": false,
            "version": "^0.9.1",
            "ecosystem": "npm"
          },
          {
            "name": "p-limit",
            "direct": false,
            "version": "2.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "p-limit",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "p-locate",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "p-locate",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "p-try",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "package-json-from-dist",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "pako",
            "direct": false,
            "version": "1.0.11",
            "ecosystem": "npm"
          },
          {
            "name": "parent-module",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "parse-entities",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "parse-entities",
            "direct": false,
            "version": "4.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "parse-semver",
            "direct": false,
            "version": "1.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "parse5",
            "direct": false,
            "version": "7.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "parse5-htmlparser2-tree-adapter",
            "direct": false,
            "version": "7.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "parse5-parser-stream",
            "direct": false,
            "version": "7.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "path-exists",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "path-is-absolute",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "path-key",
            "direct": false,
            "version": "3.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "path-key",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "path-parse",
            "direct": false,
            "version": "1.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "path-scurry",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "path-type",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "path-type",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "pend",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "picocolors",
            "direct": false,
            "version": "1.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "picomatch",
            "direct": false,
            "version": "2.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "picomatch",
            "direct": false,
            "version": "4.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "pidtree",
            "direct": false,
            "version": "0.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "pkg-dir",
            "direct": false,
            "version": "4.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "prebuild-install",
            "direct": false,
            "version": "7.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "prelude-ls",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "prettier",
            "direct": false,
            "version": "3.3.3",
            "ecosystem": "npm"
          },
          {
            "name": "prettier-plugin-organize-imports",
            "direct": false,
            "version": "3.2.4",
            "ecosystem": "npm"
          },
          {
            "name": "prismjs",
            "direct": false,
            "version": "1.27.0",
            "ecosystem": "npm"
          },
          {
            "name": "prismjs",
            "direct": false,
            "version": "1.30.0",
            "ecosystem": "npm"
          },
          {
            "name": "process-nextick-args",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "property-information",
            "direct": false,
            "version": "5.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "property-information",
            "direct": false,
            "version": "6.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "property-information",
            "direct": false,
            "version": "7.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "proxy-from-env",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "pump",
            "direct": false,
            "version": "3.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "punycode",
            "direct": false,
            "version": "2.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "punycode.js",
            "direct": false,
            "version": "2.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "qs",
            "direct": false,
            "version": "6.13.0",
            "ecosystem": "npm"
          },
          {
            "name": "queue-microtask",
            "direct": false,
            "version": "1.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "randombytes",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "rc",
            "direct": false,
            "version": "1.2.8",
            "ecosystem": "npm"
          },
          {
            "name": "react",
            "direct": false,
            "version": "18.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "react",
            "direct": false,
            "version": "18.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "react",
            "direct": false,
            "version": "^18.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "react-dom",
            "direct": false,
            "version": "18.3.1",
            "ecosystem": "npm"
          },
          {
            "name": "react-dom",
            "direct": false,
            "version": "^18.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "react-markdown",
            "direct": false,
            "version": "9.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "react-markdown",
            "direct": false,
            "version": "^9.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "react-syntax-highlighter",
            "direct": false,
            "version": "15.6.6",
            "ecosystem": "npm"
          },
          {
            "name": "react-syntax-highlighter",
            "direct": false,
            "version": "^15.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "read",
            "direct": false,
            "version": "1.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "readable-stream",
            "direct": false,
            "version": "2.3.8",
            "ecosystem": "npm"
          },
          {
            "name": "readable-stream",
            "direct": false,
            "version": "3.6.2",
            "ecosystem": "npm"
          },
          {
            "name": "readdirp",
            "direct": false,
            "version": "3.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "rechoir",
            "direct": false,
            "version": "0.8.0",
            "ecosystem": "npm"
          },
          {
            "name": "refractor",
            "direct": false,
            "version": "3.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "rehype-mathjax",
            "direct": false,
            "version": "7.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "rehype-mathjax",
            "direct": false,
            "version": "^7.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "remark-math",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "remark-math",
            "direct": false,
            "version": "^6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "remark-parse",
            "direct": false,
            "version": "11.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "remark-rehype",
            "direct": false,
            "version": "11.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "require-directory",
            "direct": false,
            "version": "2.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "require-from-string",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "resolve",
            "direct": false,
            "version": "1.22.8",
            "ecosystem": "npm"
          },
          {
            "name": "resolve-cwd",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "resolve-from",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "resolve-from",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "resolve.exports",
            "direct": false,
            "version": "2.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "restore-cursor",
            "direct": false,
            "version": "3.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "restore-cursor",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "restore-cursor",
            "direct": false,
            "version": "5.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "reusify",
            "direct": false,
            "version": "1.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "rfdc",
            "direct": false,
            "version": "1.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "rimraf",
            "direct": false,
            "version": "3.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "rollup",
            "direct": false,
            "version": "4.59.0",
            "ecosystem": "npm"
          },
          {
            "name": "rollup",
            "direct": false,
            "version": "^4.24.0",
            "ecosystem": "npm"
          },
          {
            "name": "rollup-plugin-css-only",
            "direct": false,
            "version": "4.5.5",
            "ecosystem": "npm"
          },
          {
            "name": "rollup-plugin-css-only",
            "direct": false,
            "version": "^4.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "run-parallel",
            "direct": false,
            "version": "1.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "rxjs",
            "direct": false,
            "version": "7.8.1",
            "ecosystem": "npm"
          },
          {
            "name": "safe-buffer",
            "direct": false,
            "version": "5.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "safe-buffer",
            "direct": false,
            "version": "5.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "safer-buffer",
            "direct": false,
            "version": "2.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "sax",
            "direct": false,
            "version": "1.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "scheduler",
            "direct": false,
            "version": "0.23.2",
            "ecosystem": "npm"
          },
          {
            "name": "schema-utils",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "schema-utils",
            "direct": false,
            "version": "4.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "serialize-javascript",
            "direct": false,
            "version": "6.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "serialize-javascript",
            "direct": false,
            "version": "7.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "set-function-length",
            "direct": false,
            "version": "1.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "setimmediate",
            "direct": false,
            "version": "1.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "shallow-clone",
            "direct": false,
            "version": "3.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "shebang-command",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "shebang-regex",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "shell-quote",
            "direct": false,
            "version": "1.8.1",
            "ecosystem": "npm"
          },
          {
            "name": "side-channel",
            "direct": false,
            "version": "1.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "signal-exit",
            "direct": false,
            "version": "3.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "signal-exit",
            "direct": false,
            "version": "4.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "simple-concat",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "simple-get",
            "direct": false,
            "version": "4.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "slash",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "slash",
            "direct": false,
            "version": "5.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "slice-ansi",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "slice-ansi",
            "direct": false,
            "version": "7.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "smob",
            "direct": false,
            "version": "1.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "smol-toml",
            "direct": false,
            "version": "1.6.1",
            "ecosystem": "npm"
          },
          {
            "name": "source-map",
            "direct": false,
            "version": "0.6.1",
            "ecosystem": "npm"
          },
          {
            "name": "source-map",
            "direct": false,
            "version": "0.7.4",
            "ecosystem": "npm"
          },
          {
            "name": "source-map-js",
            "direct": false,
            "version": "1.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "source-map-loader",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "source-map-loader",
            "direct": false,
            "version": "^5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "source-map-support",
            "direct": false,
            "version": "0.5.21",
            "ecosystem": "npm"
          },
          {
            "name": "space-separated-tokens",
            "direct": false,
            "version": "1.1.5",
            "ecosystem": "npm"
          },
          {
            "name": "space-separated-tokens",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "spawn-command",
            "direct": false,
            "version": "0.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "speech-rule-engine",
            "direct": false,
            "version": "4.0.7",
            "ecosystem": "npm"
          },
          {
            "name": "stdin-discarder",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "stoppable",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "string-argv",
            "direct": false,
            "version": "0.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "string-replace-loader",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "string-replace-loader",
            "direct": false,
            "version": "^3.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "string-width",
            "direct": false,
            "version": "4.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "string-width",
            "direct": false,
            "version": "5.1.2",
            "ecosystem": "npm"
          },
          {
            "name": "string-width",
            "direct": false,
            "version": "6.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "string-width",
            "direct": false,
            "version": "7.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "string_decoder",
            "direct": false,
            "version": "1.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "string_decoder",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "stringify-entities",
            "direct": false,
            "version": "4.0.4",
            "ecosystem": "npm"
          },
          {
            "name": "strip-ansi",
            "direct": false,
            "version": "6.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "strip-ansi",
            "direct": false,
            "version": "7.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "strip-bom",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "strip-final-newline",
            "direct": false,
            "version": "3.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "strip-json-comments",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "strip-json-comments",
            "direct": false,
            "version": "3.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "style-to-object",
            "direct": false,
            "version": "1.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "supports-color",
            "direct": false,
            "version": "5.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "supports-color",
            "direct": false,
            "version": "7.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "supports-color",
            "direct": false,
            "version": "8.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "supports-preserve-symlinks-flag",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "tabbable",
            "direct": false,
            "version": "6.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "tapable",
            "direct": false,
            "version": "2.2.1",
            "ecosystem": "npm"
          },
          {
            "name": "tar-fs",
            "direct": false,
            "version": "2.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "tar-stream",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "terser",
            "direct": false,
            "version": "5.34.1",
            "ecosystem": "npm"
          },
          {
            "name": "terser-webpack-plugin",
            "direct": false,
            "version": "5.3.10",
            "ecosystem": "npm"
          },
          {
            "name": "text-table",
            "direct": false,
            "version": "0.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "tmp",
            "direct": false,
            "version": "0.2.6",
            "ecosystem": "npm"
          },
          {
            "name": "to-regex-range",
            "direct": false,
            "version": "5.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "tree-kill",
            "direct": false,
            "version": "1.2.2",
            "ecosystem": "npm"
          },
          {
            "name": "trim-lines",
            "direct": false,
            "version": "3.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "trough",
            "direct": false,
            "version": "2.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "ts-api-utils",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "ts-loader",
            "direct": false,
            "version": "9.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "ts-loader",
            "direct": false,
            "version": "^9.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "tsconfig-paths",
            "direct": false,
            "version": "4.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "tslib",
            "direct": false,
            "version": "2.8.1",
            "ecosystem": "npm"
          },
          {
            "name": "tunnel",
            "direct": false,
            "version": "0.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "tunnel-agent",
            "direct": false,
            "version": "0.6.0",
            "ecosystem": "npm"
          },
          {
            "name": "type-check",
            "direct": false,
            "version": "0.4.0",
            "ecosystem": "npm"
          },
          {
            "name": "type-fest",
            "direct": false,
            "version": "0.20.2",
            "ecosystem": "npm"
          },
          {
            "name": "typed-rest-client",
            "direct": false,
            "version": "1.8.11",
            "ecosystem": "npm"
          },
          {
            "name": "typescript",
            "direct": false,
            "version": "5.6.3",
            "ecosystem": "npm"
          },
          {
            "name": "typescript",
            "direct": false,
            "version": "^5.4.5",
            "ecosystem": "npm"
          },
          {
            "name": "uc.micro",
            "direct": false,
            "version": "1.0.6",
            "ecosystem": "npm"
          },
          {
            "name": "uc.micro",
            "direct": false,
            "version": "2.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "underscore",
            "direct": false,
            "version": "1.13.7",
            "ecosystem": "npm"
          },
          {
            "name": "undici",
            "direct": false,
            "version": "6.21.3",
            "ecosystem": "npm"
          },
          {
            "name": "undici-types",
            "direct": false,
            "version": "6.19.8",
            "ecosystem": "npm"
          },
          {
            "name": "unicorn-magic",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "unified",
            "direct": false,
            "version": "11.0.5",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-find-after",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-is",
            "direct": false,
            "version": "6.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-position",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-remove-position",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-stringify-position",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-visit",
            "direct": false,
            "version": "5.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "unist-util-visit-parents",
            "direct": false,
            "version": "6.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "update-browserslist-db",
            "direct": false,
            "version": "1.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "uri-js",
            "direct": false,
            "version": "4.4.1",
            "ecosystem": "npm"
          },
          {
            "name": "url-join",
            "direct": false,
            "version": "4.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "util-deprecate",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "uuid",
            "direct": false,
            "version": "8.3.2",
            "ecosystem": "npm"
          },
          {
            "name": "vfile",
            "direct": false,
            "version": "6.0.3",
            "ecosystem": "npm"
          },
          {
            "name": "vfile-message",
            "direct": false,
            "version": "4.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "vscode-jsonrpc",
            "direct": false,
            "version": "8.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "vscode-languageserver-types",
            "direct": false,
            "version": "3.17.5",
            "ecosystem": "npm"
          },
          {
            "name": "watchpack",
            "direct": false,
            "version": "2.4.2",
            "ecosystem": "npm"
          },
          {
            "name": "wcwidth",
            "direct": false,
            "version": "1.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "webpack",
            "direct": false,
            "version": "5.95.0",
            "ecosystem": "npm"
          },
          {
            "name": "webpack",
            "direct": false,
            "version": "^5.90.3",
            "ecosystem": "npm"
          },
          {
            "name": "webpack-cli",
            "direct": false,
            "version": "5.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "webpack-cli",
            "direct": false,
            "version": "^5.1.4",
            "ecosystem": "npm"
          },
          {
            "name": "webpack-merge",
            "direct": false,
            "version": "5.10.0",
            "ecosystem": "npm"
          },
          {
            "name": "webpack-sources",
            "direct": false,
            "version": "3.2.3",
            "ecosystem": "npm"
          },
          {
            "name": "whatwg-encoding",
            "direct": false,
            "version": "3.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "whatwg-mimetype",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "which",
            "direct": false,
            "version": "2.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "wicked-good-xpath",
            "direct": false,
            "version": "1.3.0",
            "ecosystem": "npm"
          },
          {
            "name": "wildcard",
            "direct": false,
            "version": "2.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "word-wrap",
            "direct": false,
            "version": "1.2.5",
            "ecosystem": "npm"
          },
          {
            "name": "workerpool",
            "direct": false,
            "version": "6.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "wrap-ansi",
            "direct": false,
            "version": "7.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "wrap-ansi",
            "direct": false,
            "version": "8.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "wrap-ansi",
            "direct": false,
            "version": "9.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "wrappy",
            "direct": false,
            "version": "1.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "xml2js",
            "direct": false,
            "version": "0.5.0",
            "ecosystem": "npm"
          },
          {
            "name": "xmlbuilder",
            "direct": false,
            "version": "11.0.1",
            "ecosystem": "npm"
          },
          {
            "name": "xmldom-sre",
            "direct": false,
            "version": "0.1.31",
            "ecosystem": "npm"
          },
          {
            "name": "xtend",
            "direct": false,
            "version": "4.0.2",
            "ecosystem": "npm"
          },
          {
            "name": "y18n",
            "direct": false,
            "version": "5.0.8",
            "ecosystem": "npm"
          },
          {
            "name": "yallist",
            "direct": false,
            "version": "4.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "yaml",
            "direct": false,
            "version": "2.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "yaml",
            "direct": false,
            "version": "2.9.0",
            "ecosystem": "npm"
          },
          {
            "name": "yargs",
            "direct": false,
            "version": "16.2.0",
            "ecosystem": "npm"
          },
          {
            "name": "yargs",
            "direct": false,
            "version": "17.7.2",
            "ecosystem": "npm"
          },
          {
            "name": "yargs-parser",
            "direct": false,
            "version": "20.2.9",
            "ecosystem": "npm"
          },
          {
            "name": "yargs-parser",
            "direct": false,
            "version": "21.1.1",
            "ecosystem": "npm"
          },
          {
            "name": "yargs-unparser",
            "direct": false,
            "version": "2.0.0",
            "ecosystem": "npm"
          },
          {
            "name": "yauzl",
            "direct": false,
            "version": "2.10.0",
            "ecosystem": "npm"
          },
          {
            "name": "yazl",
            "direct": false,
            "version": "2.5.1",
            "ecosystem": "npm"
          },
          {
            "name": "yocto-queue",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "npm"
          },
          {
            "name": "zwitch",
            "direct": false,
            "version": "2.0.4",
            "ecosystem": "npm"
          }
        ],
        "collected": true,
        "truncated": false,
        "total_count": 872,
        "direct_count": 42,
        "indirect_count": 830
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 9,
        "merged_prs": 469,
        "open_issues": 50,
        "closed_ratio": 0.804,
        "closed_issues": 205,
        "closed_unmerged_prs": 46
      },
      "bus_factor": 2,
      "bot_contributors": 2,
      "top_contributors": [
        {
          "type": "User",
          "login": "gebner",
          "commits": 812,
          "avatar_url": "https://avatars.githubusercontent.com/u/313929?v=4"
        },
        {
          "type": "User",
          "login": "mhuisi",
          "commits": 428,
          "avatar_url": "https://avatars.githubusercontent.com/u/10852073?v=4"
        },
        {
          "type": "User",
          "login": "Vtec234",
          "commits": 291,
          "avatar_url": "https://avatars.githubusercontent.com/u/13901751?v=4"
        },
        {
          "type": "User",
          "login": "EdAyers",
          "commits": 220,
          "avatar_url": "https://avatars.githubusercontent.com/u/5064353?v=4"
        },
        {
          "type": "User",
          "login": "marianaalanis93",
          "commits": 164,
          "avatar_url": "https://avatars.githubusercontent.com/u/40707114?v=4"
        },
        {
          "type": "User",
          "login": "jroesch",
          "commits": 77,
          "avatar_url": "https://avatars.githubusercontent.com/u/696509?v=4"
        },
        {
          "type": "User",
          "login": "bryangingechen",
          "commits": 63,
          "avatar_url": "https://avatars.githubusercontent.com/u/5209952?v=4"
        },
        {
          "type": "User",
          "login": "johoelzl",
          "commits": 22,
          "avatar_url": "https://avatars.githubusercontent.com/u/5176109?v=4"
        },
        {
          "type": "User",
          "login": "kim-em",
          "commits": 19,
          "avatar_url": "https://avatars.githubusercontent.com/u/477956?v=4"
        },
        {
          "type": "User",
          "login": "abentkamp",
          "commits": 17,
          "avatar_url": "https://avatars.githubusercontent.com/u/3168777?v=4"
        }
      ],
      "contributors_sampled": 69,
      "top_contributor_share": 0.357
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": true,
      "ci_workflows": [
        "backport.yml",
        "bump-package-version.yml",
        "on-push.yml"
      ],
      "has_docs_dir": true,
      "linter_configs": [
        ".eslintrc.js"
      ],
      "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": 7,
            "reason": "18 out of 24 merged PRs checked by a CI test -- score normalized to 7",
            "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": 1,
            "reason": "Found 5/27 approved changesets -- score normalized to 1",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 10,
            "reason": "project has 35 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": 10,
            "reason": "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": "13 commit(s) and 4 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": 3,
            "reason": "dependency not pinned by hash detected -- score normalized to 3",
            "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": 0,
            "reason": "Project has not signed or included provenance with any releases.",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
          },
          {
            "name": "Token-Permissions",
            "score": 0,
            "reason": "detected GitHub workflow tokens with excessive permissions",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
          },
          {
            "name": "Vulnerabilities",
            "score": 0,
            "reason": "63 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "5a25e6abb2e973b4c89a053acc74c479c0bb2e9f",
        "ran_at": "2026-07-29T18:47:12Z",
        "aggregate_score": 4.6,
        "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-29T08:40:28Z",
      "oldest_open_prs": [
        {
          "number": 561,
          "created_at": "2024-12-22T16:25:19Z",
          "last_comment_at": "2025-01-13T00:59:06Z",
          "last_comment_author": "Vtec234"
        },
        {
          "number": 625,
          "created_at": "2025-06-10T16:39:46Z",
          "last_comment_at": "2025-06-11T07:00:13Z",
          "last_comment_author": "adomani"
        },
        {
          "number": 684,
          "created_at": "2025-10-27T01:06:59Z",
          "last_comment_at": "2025-10-27T15:41:33Z",
          "last_comment_author": "mhuisi"
        },
        {
          "number": 754,
          "created_at": "2026-04-02T14:26:10Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 760,
          "created_at": "2026-04-12T10:39:12Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 776,
          "created_at": "2026-04-25T15:50:17Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 778,
          "created_at": "2026-05-02T11:37:38Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 788,
          "created_at": "2026-06-19T10:37:08Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 789,
          "created_at": "2026-06-19T19:25:35Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2026-07-29T08:30:38Z",
      "ci_last_conclusion": "SUCCESS",
      "oldest_open_issues": [
        {
          "number": 27,
          "created_at": "2021-06-08T08:31:24Z",
          "last_comment_at": "2022-07-06T17:49:02Z",
          "last_comment_author": "gebner"
        },
        {
          "number": 40,
          "created_at": "2021-09-29T19:29:29Z",
          "last_comment_at": "2024-09-29T01:08:41Z",
          "last_comment_author": "angeris"
        },
        {
          "number": 54,
          "created_at": "2021-10-18T19:44:53Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 107,
          "created_at": "2022-01-21T20:23:43Z",
          "last_comment_at": "2022-02-17T21:56:46Z",
          "last_comment_author": "marianaalanis93"
        },
        {
          "number": 143,
          "created_at": "2022-02-28T21:28:31Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 183,
          "created_at": "2022-05-26T02:08:50Z",
          "last_comment_at": "2022-07-06T18:26:03Z",
          "last_comment_author": "surrsmiff"
        },
        {
          "number": 206,
          "created_at": "2022-06-28T23:59:51Z",
          "last_comment_at": "2022-08-24T04:44:39Z",
          "last_comment_author": "lovettchris"
        },
        {
          "number": 225,
          "created_at": "2022-07-19T15:04:13Z",
          "last_comment_at": "2022-09-06T10:49:41Z",
          "last_comment_author": "Kha"
        },
        {
          "number": 241,
          "created_at": "2022-08-11T11:52:11Z",
          "last_comment_at": "2023-06-07T01:26:31Z",
          "last_comment_author": "rami3l"
        },
        {
          "number": 243,
          "created_at": "2022-08-12T09:40:44Z",
          "last_comment_at": "2022-08-17T10:40:39Z",
          "last_comment_author": "javra"
        },
        {
          "number": 279,
          "created_at": "2023-01-20T14:46:31Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 281,
          "created_at": "2023-01-20T21:17:18Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 283,
          "created_at": "2023-02-01T23:32:43Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 286,
          "created_at": "2023-02-18T22:11:33Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 287,
          "created_at": "2023-02-26T06:09:57Z",
          "last_comment_at": "2023-09-08T19:36:02Z",
          "last_comment_author": "PDeets"
        },
        {
          "number": 293,
          "created_at": "2023-03-27T18:16:43Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 294,
          "created_at": "2023-03-28T16:12:58Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 296,
          "created_at": "2023-04-06T15:56:45Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 305,
          "created_at": "2023-06-26T20:16:07Z",
          "last_comment_at": "2023-07-17T18:57:39Z",
          "last_comment_author": "Shreyas4991"
        },
        {
          "number": 308,
          "created_at": "2023-07-01T21:52:41Z",
          "last_comment_at": "2023-07-01T22:13:18Z",
          "last_comment_author": "Kha"
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/leanprover/vscode-lean4",
    "host": "github.com",
    "name": "vscode-lean4",
    "owner": "leanprover"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "good",
      "name": "Overall health",
      "note": null,
      "notes": [],
      "value": 75,
      "inputs": {
        "security": 57,
        "vitality": 86,
        "community": 60,
        "governance": 77,
        "engineering": 87
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "excellent",
        "name": "Vitality",
        "value": 86,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "good",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 83,
            "inputs": {
              "commits_last_year": 145,
              "human_commit_share": 0.79,
              "days_since_last_push": 0,
              "active_weeks_last_year": 27
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 0 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "27/52 weeks with commits",
                "points": 18.7,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 27
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "145 commits in the last year",
                "points": 18,
                "status": "met",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 145
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "13 commit(s) and 4 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": null,
            "notes": [],
            "value": 90,
            "inputs": {
              "releases_count": 100,
              "latest_release_tag": "v0.0.239",
              "releases_from_tags": false,
              "days_since_latest_release": 0,
              "mean_days_between_releases": 13.2
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "100 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 100
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 0 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~13.2 days",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 13.2
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "Project has not signed or included provenance with any releases.",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "excellent",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "cap": null,
              "state": "maintained",
              "guards": [],
              "signals": [],
              "red_flag": false,
              "multiplier_pct": 100,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": null,
              "unanswered_open_issues": null,
              "days_since_last_merged_pr": null,
              "days_since_last_human_commit": 0,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 0 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "moderate",
        "name": "Community & Adoption",
        "value": 60,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "moderate",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 62,
            "inputs": {
              "forks": 97,
              "stars": 299,
              "watchers": 10,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "299 stars",
                "points": 40.1,
                "status": "partial",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 299
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "97 forks",
                "points": 16.5,
                "status": "partial",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 97
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "10 watchers",
                "points": 5.3,
                "status": "partial",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 10
                    }
                  }
                ],
                "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
              }
            ]
          },
          {
            "key": "ecosystem_adoption",
            "band": "moderate",
            "name": "Ecosystem adoption (downloads)",
            "note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "registry_dependents"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 69,
            "inputs": {
              "packages": [
                "lean4",
                "@leanprover/infoview",
                "@leanprover/infoview-api",
                "@leanprover/unicode-input",
                "@leanprover/unicode-input-component"
              ],
              "dependents": null,
              "ecosystems": "npm",
              "total_downloads": null,
              "monthly_downloads": 13099
            },
            "components": [
              {
                "key": "monthly_downloads",
                "name": "Monthly downloads",
                "detail": "13,099 downloads/month across npm",
                "points": 54.9,
                "status": "partial",
                "details": [
                  {
                    "code": "downloads_monthly",
                    "params": {
                      "count": 13099,
                      "ecosystems": "npm"
                    }
                  }
                ],
                "max_points": 80
              },
              {
                "key": "registry_dependents",
                "name": "Registry dependents",
                "detail": "not reported by this ecosystem",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "not_reported_by_this_ecosystem",
                    "params": {}
                  }
                ],
                "max_points": 20
              }
            ]
          }
        ],
        "description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
      },
      {
        "key": "governance",
        "band": "good",
        "name": "Sustainability & Governance",
        "value": 77,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "moderate",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 63,
            "inputs": {
              "bus_factor": 2,
              "contributors_sampled": 69,
              "top_contributor_share": 0.357
            },
            "components": [
              {
                "key": "bus_factor",
                "name": "Bus factor",
                "detail": "2 contributor(s) cover half of all commits",
                "points": 25.2,
                "status": "partial",
                "details": [
                  {
                    "code": "bus_factor",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 54
              },
              {
                "key": "commit_distribution",
                "name": "Commit distribution",
                "detail": "top contributor authored 36% of commits",
                "points": 14.5,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 36
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "69 contributors",
                "points": 13.5,
                "status": "met",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 69
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 35 contributing companies or organizations",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "good",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 74,
            "inputs": {
              "merged_prs": 469,
              "open_issues": 50,
              "closed_issues": 205,
              "issue_closed_ratio": 0.804,
              "closed_unmerged_prs": 46
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "80% of issues closed",
                "points": 37.6,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 80
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "469/515 decided PRs merged",
                "points": 34.8,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 469,
                      "decided": 515
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 5/27 approved changesets -- score normalized to 1",
                "points": 1.5,
                "status": "partial",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "good",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 77,
            "inputs": {
              "followers": 1263,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "leanprover",
              "public_repos": 127,
              "account_age_days": 4494
            },
            "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,263 followers of leanprover",
                "points": 22.3,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 1263,
                      "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
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "excellent",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "packages": [
                "lean4",
                "@leanprover/infoview",
                "@leanprover/infoview-api",
                "@leanprover/unicode-input",
                "@leanprover/unicode-input-component"
              ],
              "ecosystems": "npm",
              "any_deprecated": false,
              "min_days_since_publish": 0
            },
            "components": [
              {
                "key": "published_resolvable",
                "name": "Published & resolvable",
                "detail": "5 package(s) on npm",
                "points": 25,
                "status": "met",
                "details": [
                  {
                    "code": "packages_published",
                    "params": {
                      "count": 5,
                      "ecosystems": "npm"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "publish_recency",
                "name": "Publish recency",
                "detail": "latest publish 0 days ago",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "publish_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "version_history",
                "name": "Version history",
                "detail": "33 published versions",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 33
                    }
                  }
                ],
                "max_points": 20
              },
              {
                "key": "not_deprecated",
                "name": "Not deprecated",
                "detail": "active, not deprecated or yanked",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "package_not_deprecated",
                    "params": {}
                  }
                ],
                "max_points": 20
              }
            ]
          }
        ],
        "description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
      },
      {
        "key": "engineering",
        "band": "excellent",
        "name": "Engineering Quality",
        "value": 87,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "good",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 78,
            "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": "3 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 3
                    }
                  }
                ],
                "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": ".eslintrc.js",
                "points": 16,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": ".eslintrc.js"
                    }
                  }
                ],
                "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": "18 out of 24 merged PRs checked by a CI test -- score normalized to 7",
                "points": 14,
                "status": "partial",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "excellent",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "topics": [
                "vscode",
                "lean"
              ],
              "has_wiki": true,
              "homepage": "https://lean-lang.org/",
              "has_readme": true,
              "has_docs_dir": true,
              "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": 25,
                "status": "met",
                "details": [],
                "max_points": 25
              },
              {
                "key": "documentation_homepage_site",
                "name": "Documentation / homepage site",
                "detail": "https://lean-lang.org/",
                "points": 15,
                "status": "met",
                "details": [],
                "max_points": 15
              },
              {
                "key": "repository_description",
                "name": "Repository description",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "topics",
                "name": "Topics",
                "detail": "2 topics",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "topics_count",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "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": 57,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "at_risk",
            "name": "Security posture",
            "note": null,
            "notes": [],
            "value": 46,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 18,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 0,
              "scorecard_aggregate": 4.6
            },
            "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": "18 out of 24 merged PRs checked by a CI test -- score normalized to 7",
                "points": 1.8,
                "status": "partial",
                "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 5/27 approved changesets -- score normalized to 1",
                "points": 0.8,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 35 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": "update tool detected",
                "points": 7.5,
                "status": "met",
                "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": "13 commit(s) and 4 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 3",
                "points": 1.5,
                "status": "partial",
                "details": [],
                "max_points": 5
              },
              {
                "key": "sast",
                "name": "SAST",
                "detail": "SAST tool is not run on all commits -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "security_policy",
                "name": "Security-Policy",
                "detail": "security policy file not detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "signed_releases",
                "name": "Signed-Releases",
                "detail": "Project has not signed or included provenance with any releases.",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "token_permissions",
                "name": "Token-Permissions",
                "detail": "detected GitHub workflow tokens with excessive permissions",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "vulnerabilities",
                "name": "Vulnerabilities",
                "detail": "63 existing vulnerabilities detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "key": "dependency_advisories",
            "band": "excellent",
            "name": "Dependency advisories",
            "note": "Excluded from scoring (no data or not applicable): No advisories left outstanding. Remaining weights renormalized. Matched the npm:@leanprover/infoview@0.13.0 runtime dependency closure — what installing the published package pulls in — 21 packages. Reachability is not analyzed.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "no_advisories_left_outstanding"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              },
              {
                "code": "advisories_scope_published",
                "params": {
                  "package": "npm:@leanprover/infoview@0.13.0",
                  "assessed": 21
                }
              },
              {
                "code": "advisories_reachability",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "source": "osv",
              "advisories": 0,
              "affected_packages": 0,
              "assessed_packages": 21,
              "unassessed_packages": 0,
              "affected_by_severity": "none",
              "direct_affected_packages": 0
            },
            "components": [
              {
                "key": "direct_dependencies_free_of_known_advisories",
                "name": "Direct dependencies free of known advisories",
                "detail": "no direct dependency carries a known advisory",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "no_direct_advisories",
                    "params": {}
                  }
                ],
                "max_points": 35
              },
              {
                "key": "indirect_dependencies_free_of_known_advisories",
                "name": "Indirect dependencies free of known advisories",
                "detail": "no indirect dependency carries a known advisory",
                "points": 25,
                "status": "met",
                "details": [
                  {
                    "code": "no_indirect_advisories",
                    "params": {}
                  }
                ],
                "max_points": 25
              },
              {
                "key": "no_advisories_left_outstanding",
                "name": "No advisories left outstanding",
                "detail": "no advisory carries a publication date",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "advisories_no_publication_date",
                    "params": {}
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "malicious_dependencies",
            "band": "excellent",
            "name": "Malicious dependencies",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "source": "osv",
              "meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
              "packages": [],
              "red_flag": false,
              "assessed_packages": 21,
              "malicious_packages": 0,
              "direct_malicious_packages": 0,
              "withdrawn_malicious_packages": 0,
              "installable_malicious_packages": 0
            },
            "components": [
              {
                "key": "no_dependency_reported_as_a_malicious_package",
                "name": "No dependency reported as a malicious package",
                "detail": "no dependency is reported as a malicious package",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "no_malicious_dependencies",
                    "params": {}
                  }
                ],
                "max_points": 100
              }
            ]
          },
          {
            "key": "high_risk_jurisdiction_exposure",
            "band": "excellent",
            "name": "High-Risk Jurisdiction Exposure",
            "note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
            "notes": [
              {
                "code": "jurisdiction_evidence_limits",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "meaning": "self-published location evidence; not nationality or citizenship",
              "red_flag": false,
              "exposures": [],
              "policy_countries": [
                "Russia",
                "Iran",
                "North Korea"
              ],
              "review_only_matches": 0,
              "assessed_self_published_locations": 12
            },
            "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": 79,
        "weight": 0,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "excellent",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 85,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 0.937,
              "agent_instruction_files": [
                ".claude/CLAUDE.md"
              ],
              "agent_instruction_max_bytes": 5033
            },
            "components": [
              {
                "key": "agent_instructions",
                "name": "Agent instructions",
                "detail": ".claude/CLAUDE.md",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": ".claude/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": "74 of 79 human commits state their intent (structured subject or explanatory body)",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 74,
                      "sampled": 79
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "moderate",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 67,
            "inputs": {
              "has_nix": true,
              "has_tests": true,
              "lockfiles": [
                "package-lock.json"
              ],
              "has_dockerfile": false,
              "typed_language": true,
              "bootstrap_files": [],
              "has_devcontainer": false,
              "has_linter_config": true,
              "typecheck_configs": [
                "lean4-infoview-api/tsconfig.json",
                "lean4-infoview/test/tsconfig.json",
                "lean4-infoview/tsconfig.json",
                "lean4-unicode-input-component/tsconfig.json",
                "lean4-unicode-input/tsconfig.json",
                "vscode-lean4/abbreviationview/tsconfig.json",
                "vscode-lean4/loogleview/tsconfig.json",
                "vscode-lean4/tsconfig.json",
                "vscode-lean4/webview/tsconfig.json"
              ],
              "agent_commit_share": 0.13,
              "toolchain_manifests": [],
              "dependency_bot_commit_share": 0
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 18
              },
              {
                "key": "automated_tests",
                "name": "Automated tests",
                "detail": null,
                "points": 22,
                "status": "met",
                "details": [],
                "max_points": 22
              },
              {
                "key": "lint_format_config",
                "name": "Lint / format config",
                "detail": ".eslintrc.js",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": ".eslintrc.js"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "lean4-infoview-api/tsconfig.json, lean4-infoview/test/tsconfig.json, lean4-infoview/tsconfig.json, lean4-unicode-input-component/tsconfig.json, lean4-unicode-input/tsconfig.json, vscode-lean4/abbreviationview/tsconfig.json, vscode-lean4/loogleview/tsconfig.json, vscode-lean4/tsconfig.json, vscode-lean4/webview/tsconfig.json",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "lean4-infoview-api/tsconfig.json, lean4-infoview/test/tsconfig.json, lean4-infoview/tsconfig.json, lean4-unicode-input-component/tsconfig.json, lean4-unicode-input/tsconfig.json, vscode-lean4/abbreviationview/tsconfig.json, vscode-lean4/loogleview/tsconfig.json, vscode-lean4/tsconfig.json, vscode-lean4/webview/tsconfig.json"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "reproducible_environment",
                "name": "Reproducible environment",
                "detail": "Nix, lockfile",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "Nix, lockfile"
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "demonstrated_agent_practice",
                "name": "Demonstrated agent practice",
                "detail": "13 of the last 100 commits agent-authored or agent-credited",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "agent_authored_commits",
                    "params": {
                      "count": 13,
                      "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 3",
                "points": 3,
                "status": "partial",
                "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": 47701,
              "source_files_sampled": 104,
              "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/104 source files over 60KB",
                "points": 55,
                "status": "met",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 104,
                      "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"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-29T18:47:40.074176Z",
  "schema_version": "0.27.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/l/leanprover/vscode-lean4.svg",
  "full_name": "leanprover/vscode-lean4",
  "license_state": "standard",
  "license_spdx": "Apache-2.0"
}