Public recordModerate
Software health reportschema 0.11.0 · metrics 1.13.0 · 2026-07-17 09:34 UTC
leanprover-community / proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
leanprover-community/proofwidgets4 holds a health index of 64 out of 100, placing it in the Moderate band. It scores highest on Vitality (90/100) and lowest on Security (36/100). It was last updated 1 day ago. 2 contributors account for most of its recent work.
64
overall / 100Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At risk ceiling of 49. AI Readiness sits outside the overall score.
64
Excellent85-100Exemplary; meets essentially all checked criteria
Good70-84Healthy; minor gaps
Moderate50-69Acceptable with notable gaps; review recommended
At risk30-49Significant weaknesses; adoption warrants caution
Critical1-29Severe problems (abandoned, single-maintainer, no hygiene)
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
Ownership
leanprover-communityOrganization
921 followers107 public repossince Jul 2018
This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.
Package ecosystems
| Registry | Package | Version | Downloads / mo | Versions | Last publish |
|---|---|---|---|---|---|
| npm | @leanprover-community/proofwidgets4 | 0.1.0 | 13 | 1 | 581 days ago |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
90
Development activity
83Good
How it's scored
| 36/36 | Push recency — last push 1 days ago |
| 20.1/36 | Commit cadence — 29/52 weeks with commits |
| 16.6/18 | Commit volume — 70 commits in the last year |
| 10/10 | OpenSSF Scorecard: Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
Inputs used
| commits_last_year | 70 |
| human_commit_share | — |
| days_since_last_push | 1 |
| active_weeks_last_year | 29 |
Release discipline
100Excellent
How it's scored
| 27/27 | Ships releases — 100 releases published |
| 36/36 | Release recency — latest release 1 days ago |
| 27/27 | Release cadence — a release every ~9.9 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 100 |
| latest_release_tag | v0.0.106 |
| releases_from_tags | no |
| days_since_latest_release | 1 |
| mean_days_between_releases | 9.9 |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
45
Popularity & adoption
56Moderate
How it's scored
| 37.8/60 | Stars — 216 stars |
| 13.8/25 | Forks — 46 forks |
| 4.7/15 | Watchers — 8 watchers |
Inputs used
| forks | 46 |
| stars | 216 |
| watchers | 8 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
50Moderate
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (Apache-2.0) |
| 0/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 0/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Ecosystem adoption (downloads)
19Critical
How it's scored
| 15.3/80 | Monthly downloads — 13 downloads/month across npm |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | @leanprover-community/proofwidgets4 |
| dependents | — |
| ecosystems | npm |
| total_downloads | — |
| monthly_downloads | 13 |
Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
66
Maintainer resilience (bus factor)
62Moderate
How it's scored
| 25.2/54 | Bus factor — 2 contributor(s) cover half of all commits |
| 13.6/22.5 | Commit distribution — top contributor authored 40% of commits |
| 13.5/13.5 | Contributor breadth — 22 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 9 contributing companies or organizations |
Inputs used
| bus_factor | 2 |
| contributors_sampled | 22 |
| top_contributor_share | 0.396 |
Issue & PR responsiveness
64Moderate
How it's scored
| 27.2/46.8 | Issue resolution — 58% of issues closed |
| 35/38.3 | PR acceptance — 142/155 decided PRs merged |
| 1.5/15 | OpenSSF Scorecard: Code-Review — Found 4/28 approved changesets -- score normalized to 1 |
Inputs used
| merged_prs | 142 |
| open_issues | 13 |
| closed_issues | 18 |
| issue_closed_ratio | 0.581 |
| closed_unmerged_prs | 13 |
Ownership & stewardship
76Good
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 21.3/25 | Owner reach — 921 followers of leanprover-community |
| 25/25 | Track record — 107 public repos, account ~7 yr old |
Inputs used
| followers | 921 |
| owner_type | Organization |
| is_verified | — |
| owner_login | leanprover-community |
| public_repos | 107 |
| account_age_days | 2,913 |
Package maintenance
63Moderate
How it's scored
| 25/25 | Published & resolvable — 1 package(s) on npm |
| 14/35 | Publish recency — latest publish 581 days ago |
| 4/20 | Version history — 1 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | @leanprover-community/proofwidgets4 |
| ecosystems | npm |
| any_deprecated | no |
| min_days_since_publish | 581 |
Engineering Quality
Are baseline engineering and documentation practices in place?
75
Engineering practices
68Moderate
How it's scored
| 24/24 | CI workflows — 1 workflow(s) |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10 |
Inputs used
| has_ci | yes |
| has_tests | yes |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
85Excellent
How it's scored
| 30/30 | README |
| 25/25 | Documentation directory |
| 0/15 | Documentation / homepage site |
| 10/10 | Repository description |
| 10/10 | Topics — 3 topics |
| 10/10 | Wiki |
Inputs used
| topics | lean, lean4, visualization |
| has_wiki | yes |
| homepage | — |
| has_readme | yes |
| has_docs_dir | yes |
| has_description | yes |
Security
Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?
36
Security posture
36At risk
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 2.5/2.5 | CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0.8/7.5 | Code-Review — Found 4/28 approved changesets -- score normalized to 1 |
| 2.5/2.5 | Contributors — project has 9 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | License — license file detected |
| 7.5/7.5 | Maintained — 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 0/5 | Packaging — no data |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — no data |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 15 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 3.6 |
Excluded from scoring (no data or not applicable): packaging, signed_releases. Remaining weights renormalized.
AI Readiness
How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score.
38
Agent context & guidance
1Critical
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 0/40 | Legible commit history — no data |
Inputs used
| has_llms_txt | no |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.
Verify loop (build / test / typecheck)
52Moderate
How it's scored
| 0/18 | One-command bootstrap |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — widget/tsconfig.json |
| 10/10 | Reproducible environment — lockfile |
| 0/10 | Demonstrated agent practice — no data |
| 0/8 | Automated maintenance — no data |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Inputs used
| has_nix | no |
| has_tests | yes |
| lockfiles | package-lock.json |
| has_dockerfile | no |
| typed_language | no |
| bootstrap_files | — |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | widget/tsconfig.json |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | — |
Excluded from scoring (no data or not applicable): Demonstrated agent practice, Automated maintenance. Remaining weights renormalized.
How it's scored
| 27/45 | Type-checkable code — Lean with type-check config (widget/tsconfig.json) |
| 44.5/55 | Manageable file sizes — 9/47 source files over 60KB |
Inputs used
| primary_language | Lean |
| largest_source_bytes | 2,663,470 |
| source_files_sampled | 47 |
| oversized_source_files | 9 |
Machine-readable interfaces
40At risk
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) |
| 0/20 | MCP server |
| 40/40 | Runnable examples — demos |
Inputs used
| example_dirs | demos |
| has_mcp_signal | no |
| api_schema_files | — |
Key facts
216GitHub stars
22contributors
70commits, last 12 months
1days since last push
100releases
2bus factor
13open issues
npmpackage ecosystems
More detail
OpenSSF Scorecard 3.6 / 10
3.6aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 10 | CI-Tests | 25 out of 25 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 1 | Code-Review | Found 4/28 approved changesets -- score normalized to 1 |
| 10 | Contributors | project has 9 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| n/a | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| n/a | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 15 existing vulnerabilities detected |
Direct dependencies 16
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| npm | @leanprover/infoview | ~0.11.0 | widget/package.json |
| npm | @penrose/core | ~3.2.0 | widget/package.json |
| npm | @react-three/drei | ^9.64.0 | widget/package.json |
| npm | @react-three/fiber | ^8.12.0 | widget/package.json |
| npm | @svgdotjs/svg.js | ^3.2.0 | widget/package.json |
| npm | d3 | ^7.9.0 | widget/package.json |
| npm | d3-graphviz | ^5.6 | widget/package.json |
| npm | deep-equal | ^2.2.3 | widget/package.json |
| npm | mathjax-full | ~3.2.2 | widget/package.json |
| npm | react | ^18.2.0 | widget/package.json |
| npm | react-dom | ^18.2.0 | widget/package.json |
| npm | react-d3-tree | ^3.5.1 | widget/package.json |
| npm | recharts | ^2.5.0 | widget/package.json |
| npm | use-resize-observer | ^9.1.0 | widget/package.json |
| npm | vscode-languageserver-protocol | ^3.17.2 | widget/package.json |
| npm | react-fast-compare | ^3.2.2 | widget/package.json |
All dependencies 386
Full resolved dependency set from the GitHub dependency graph: 17 direct and 369 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
| Registry | Package | Version | Relation |
|---|---|---|---|
| npm | @leanprover/infoview | 0.11.0 | direct |
| npm | @penrose/core | 3.2.0 | direct |
| npm | @react-three/drei | 9.122.0 | direct |
| npm | @react-three/fiber | 8.18.0 | direct |
| npm | @svgdotjs/svg.js | 3.2.5 | direct |
| npm | d3 | 7.9.0 | direct |
| npm | d3-graphviz | 5.6.0 | direct |
| npm | deep-equal | 2.2.3 | direct |
| npm | mathjax-full | 3.2.2 | direct |
| npm | react | 18.0.0 | direct |
| npm | react | 18.3.1 | direct |
| npm | react-d3-tree | 3.6.6 | direct |
| npm | react-dom | 18.3.1 | direct |
| npm | react-fast-compare | 3.2.2 | direct |
| npm | recharts | 2.15.4 | direct |
| npm | use-resize-observer | 9.1.0 | direct |
| npm | vscode-languageserver-protocol | 3.17.5 | direct |
| npm | @babel/runtime | 7.28.6 | indirect |
| npm | @bkrem/react-transition-group | 1.3.5 | indirect |
| npm | @datastructures-js/queue | 4.3.0 | indirect |
| npm | @dimforge/rapier3d-compat | 0.12.0 | indirect |
| npm | @hpcc-js/wasm | 2.34.2 | indirect |
| npm | @isaacs/cliui | 9.0.0 | indirect |
| npm | @jridgewell/gen-mapping | 0.3.13 | indirect |
| npm | @jridgewell/resolve-uri | 3.1.2 | indirect |
| npm | @jridgewell/source-map | 0.3.11 | indirect |
| npm | @jridgewell/sourcemap-codec | 1.5.5 | indirect |
| npm | @jridgewell/trace-mapping | 0.3.31 | indirect |
| npm | @juggle/resize-observer | 3.4.0 | indirect |
| npm | @leanprover/infoview-api | 0.11.0 | indirect |
| npm | @lit-labs/ssr-dom-shim | 1.5.1 | indirect |
| npm | @lit/react | 1.0.8 | indirect |
| npm | @lit/reactive-element | 2.1.2 | indirect |
| npm | @mediapipe/tasks-vision | 0.10.17 | indirect |
| npm | @monogrid/gainmap-js | 3.4.0 | indirect |
| npm | @penrose/optimizer | 3.2.0 | indirect |
| npm | @react-spring/animated | 9.7.5 | indirect |
| npm | @react-spring/core | 9.7.5 | indirect |
| npm | @react-spring/rafz | 9.7.5 | indirect |
| npm | @react-spring/shared | 9.7.5 | indirect |
| npm | @react-spring/three | 9.7.5 | indirect |
| npm | @react-spring/types | 9.7.5 | indirect |
| npm | @rollup/plugin-commonjs | 28.0.9 | indirect |
| npm | @rollup/plugin-node-resolve | 15.3.1 | indirect |
| npm | @rollup/plugin-replace | 6.0.3 | indirect |
| npm | @rollup/plugin-terser | 0.4.4 | indirect |
| npm | @rollup/pluginutils | 5.3.0 | indirect |
| npm | @rollup/rollup-android-arm-eabi | 4.59.0 | indirect |
| npm | @rollup/rollup-android-arm64 | 4.59.0 | indirect |
| npm | @rollup/rollup-darwin-arm64 | 4.59.0 | indirect |
| npm | @rollup/rollup-darwin-x64 | 4.59.0 | indirect |
| npm | @rollup/rollup-freebsd-arm64 | 4.59.0 | indirect |
| npm | @rollup/rollup-freebsd-x64 | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-arm-gnueabihf | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-arm-musleabihf | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-arm64-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-arm64-musl | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-loong64-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-loong64-musl | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-ppc64-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-ppc64-musl | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-riscv64-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-riscv64-musl | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-s390x-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-x64-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-linux-x64-musl | 4.59.0 | indirect |
| npm | @rollup/rollup-openbsd-x64 | 4.59.0 | indirect |
| npm | @rollup/rollup-openharmony-arm64 | 4.59.0 | indirect |
| npm | @rollup/rollup-win32-arm64-msvc | 4.59.0 | indirect |
| npm | @rollup/rollup-win32-ia32-msvc | 4.59.0 | indirect |
| npm | @rollup/rollup-win32-x64-gnu | 4.59.0 | indirect |
| npm | @rollup/rollup-win32-x64-msvc | 4.59.0 | indirect |
| npm | @tweenjs/tween.js | 23.1.3 | indirect |
| npm | @types/d3 | 7.4.3 | indirect |
| npm | @types/d3-array | 3.2.2 | indirect |
| npm | @types/d3-axis | 3.0.6 | indirect |
| npm | @types/d3-brush | 3.0.6 | indirect |
| npm | @types/d3-chord | 3.0.6 | indirect |
| npm | @types/d3-color | 1.4.5 | indirect |
| npm | @types/d3-color | 3.1.3 | indirect |
| npm | @types/d3-contour | 3.0.6 | indirect |
| npm | @types/d3-delaunay | 6.0.4 | indirect |
| npm | @types/d3-dispatch | 3.0.7 | indirect |
| npm | @types/d3-drag | 3.0.7 | indirect |
| npm | @types/d3-dsv | 3.0.7 | indirect |
| npm | @types/d3-ease | 3.0.2 | indirect |
| npm | @types/d3-fetch | 3.0.7 | indirect |
| npm | @types/d3-force | 3.0.10 | indirect |
| npm | @types/d3-format | 3.0.4 | indirect |
| npm | @types/d3-geo | 3.1.0 | indirect |
| npm | @types/d3-graphviz | 2.6.10 | indirect |
| npm | @types/d3-hierarchy | 1.1.11 | indirect |
| npm | @types/d3-hierarchy | 3.1.7 | indirect |
| npm | @types/d3-interpolate | 1.4.5 | indirect |
| npm | @types/d3-interpolate | 3.0.4 | indirect |
| npm | @types/d3-path | 3.1.1 | indirect |
| npm | @types/d3-polygon | 3.0.2 | indirect |
| npm | @types/d3-quadtree | 3.0.6 | indirect |
| npm | @types/d3-random | 3.0.3 | indirect |
| npm | @types/d3-scale | 4.0.9 | indirect |
| npm | @types/d3-scale-chromatic | 3.1.0 | indirect |
| npm | @types/d3-selection | 1.4.7 | indirect |
| npm | @types/d3-selection | 3.0.11 | indirect |
| npm | @types/d3-shape | 3.1.8 | indirect |
| npm | @types/d3-time | 3.0.4 | indirect |
| npm | @types/d3-time-format | 4.0.3 | indirect |
| npm | @types/d3-timer | 3.0.2 | indirect |
| npm | @types/d3-transition | 1.3.6 | indirect |
| npm | @types/d3-transition | 3.0.9 | indirect |
| npm | @types/d3-zoom | 1.8.7 | indirect |
| npm | @types/d3-zoom | 3.0.8 | indirect |
| npm | @types/deep-equal | 1.0.4 | indirect |
| npm | @types/draco3d | 1.4.10 | indirect |
| npm | @types/estree | 1.0.8 | indirect |
| npm | @types/geojson | 7946.0.16 | indirect |
| npm | @types/offscreencanvas | 2019.7.3 | indirect |
| npm | @types/prop-types | 15.7.15 | indirect |
| npm | @types/react | 18.3.28 | indirect |
| npm | @types/react-dom | 18.3.7 | indirect |
| npm | @types/react-reconciler | 0.26.7 | indirect |
| npm | @types/react-reconciler | 0.28.9 | indirect |
| npm | @types/resolve | 1.20.2 | indirect |
| npm | @types/stats.js | 0.17.4 | indirect |
| npm | @types/three | 0.183.1 | indirect |
| npm | @types/trusted-types | 2.0.7 | indirect |
| npm | @types/webxr | 0.5.24 | indirect |
| npm | @use-gesture/core | 10.3.1 | indirect |
| npm | @use-gesture/react | 10.3.1 | indirect |
| npm | @vscode-elements/elements | 1.7.1 | indirect |
| npm | @vscode-elements/react-elements | 0.5.0 | indirect |
| npm | @vscode/codicons | 0.0.40 | indirect |
| npm | @webgpu/types | 0.1.69 | indirect |
| npm | @xmldom/xmldom | 0.9.8 | indirect |
| npm | acorn | 8.16.0 | indirect |
| npm | ansi-regex | 6.2.2 | indirect |
| npm | ansi-styles | 6.2.3 | indirect |
| npm | array-buffer-byte-length | 1.0.2 | indirect |
| npm | available-typed-arrays | 1.0.7 | indirect |
| npm | balanced-match | 4.0.4 | indirect |
| npm | base64-js | 1.5.1 | indirect |
| npm | bidi-js | 1.0.3 | indirect |
| npm | brace-expansion | 5.0.3 | indirect |
| npm | buffer | 6.0.3 | indirect |
| npm | buffer-from | 1.1.2 | indirect |
| npm | call-bind | 1.0.8 | indirect |
| npm | call-bind-apply-helpers | 1.0.2 | indirect |
| npm | call-bound | 1.0.4 | indirect |
| npm | camera-controls | 2.10.1 | indirect |
| npm | chain-function | 1.0.1 | indirect |
| npm | cliui | 9.0.1 | indirect |
| npm | clone | 2.1.2 | indirect |
| npm | clsx | 2.1.1 | indirect |
| npm | commander | 13.1.0 | indirect |
| npm | commander | 2.20.3 | indirect |
| npm | commander | 7.2.0 | indirect |
| npm | commondir | 1.0.1 | indirect |
| npm | consola | 2.15.3 | indirect |
| npm | cross-env | 7.0.3 | indirect |
| npm | cross-spawn | 7.0.6 | indirect |
| npm | csstype | 3.2.3 | indirect |
| npm | d3-array | 3.2.4 | indirect |
| npm | d3-axis | 3.0.0 | indirect |
| npm | d3-brush | 3.0.0 | indirect |
| npm | d3-chord | 3.0.1 | indirect |
| npm | d3-color | 3.1.0 | indirect |
| npm | d3-contour | 4.0.2 | indirect |
| npm | d3-delaunay | 6.0.4 | indirect |
| npm | d3-dispatch | 3.0.1 | indirect |
| npm | d3-drag | 3.0.0 | indirect |
| npm | d3-dsv | 3.0.1 | indirect |
| npm | d3-ease | 3.0.1 | indirect |
| npm | d3-fetch | 3.0.1 | indirect |
| npm | d3-force | 3.0.0 | indirect |
| npm | d3-format | 3.1.2 | indirect |
| npm | d3-geo | 3.1.1 | indirect |
| npm | d3-hierarchy | 1.1.9 | indirect |
| npm | d3-hierarchy | 3.1.2 | indirect |
| npm | d3-interpolate | 3.0.1 | indirect |
| npm | d3-path | 1.0.9 | indirect |
| npm | d3-path | 3.1.0 | indirect |
| npm | d3-polygon | 3.0.1 | indirect |
| npm | d3-quadtree | 3.0.1 | indirect |
| npm | d3-random | 3.0.1 | indirect |
| npm | d3-scale | 4.0.2 | indirect |
| npm | d3-scale-chromatic | 3.1.0 | indirect |
| npm | d3-selection | 3.0.0 | indirect |
| npm | d3-shape | 1.3.7 | indirect |
| npm | d3-shape | 3.2.0 | indirect |
| npm | d3-time | 3.1.0 | indirect |
| npm | d3-time-format | 4.1.0 | indirect |
| npm | d3-timer | 3.0.1 | indirect |
| npm | d3-transition | 3.0.1 | indirect |
| npm | d3-zoom | 3.0.0 | indirect |
| npm | decimal.js-light | 2.5.1 | indirect |
| npm | deepmerge | 4.3.1 | indirect |
| npm | define-data-property | 1.1.4 | indirect |
| npm | define-properties | 1.2.1 | indirect |
| npm | delaunator | 5.0.1 | indirect |
| npm | dequal | 2.0.3 | indirect |
| npm | detect-gpu | 5.0.70 | indirect |
| npm | discontinuous-range | 1.0.0 | indirect |
| npm | dom-helpers | 3.4.0 | indirect |
| npm | dom-helpers | 5.2.1 | indirect |
| npm | draco3d | 1.5.7 | indirect |
| npm | dunder-proto | 1.0.1 | indirect |
| npm | emoji-regex | 10.6.0 | indirect |
| npm | es-define-property | 1.0.1 | indirect |
| npm | es-errors | 1.3.0 | indirect |
| npm | es-get-iterator | 1.1.3 | indirect |
| npm | es-module-lexer | 1.7.0 | indirect |
| npm | es-module-shims | 1.10.1 | indirect |
| npm | es-object-atoms | 1.1.1 | indirect |
| npm | escalade | 3.2.0 | indirect |
| npm | esm | 3.2.25 | indirect |
| npm | estree-walker | 2.0.2 | indirect |
| npm | eventemitter3 | 4.0.7 | indirect |
| npm | fast-equals | 5.4.0 | indirect |
| npm | fdir | 6.5.0 | indirect |
| npm | fflate | 0.6.10 | indirect |
| npm | fflate | 0.8.2 | indirect |
| npm | for-each | 0.3.5 | indirect |
| npm | foreground-child | 3.3.1 | indirect |
| npm | fsevents | 2.3.3 | indirect |
| npm | function-bind | 1.1.2 | indirect |
| npm | functions-have-names | 1.2.3 | indirect |
| npm | get-caller-file | 2.0.5 | indirect |
| npm | get-east-asian-width | 1.6.0 | indirect |
| npm | get-intrinsic | 1.3.0 | indirect |
| npm | get-proto | 1.0.1 | indirect |
| npm | glob | 11.1.0 | indirect |
| npm | glsl-noise | 0.0.0 | indirect |
| npm | gopd | 1.2.0 | indirect |
| npm | has-bigints | 1.1.0 | indirect |
| npm | has-property-descriptors | 1.0.2 | indirect |
| npm | has-symbols | 1.1.0 | indirect |
| npm | has-tostringtag | 1.0.2 | indirect |
| npm | hasown | 2.0.2 | indirect |
| npm | hls.js | 1.6.15 | indirect |
| npm | iconv-lite | 0.6.3 | indirect |
| npm | ieee754 | 1.2.1 | indirect |
| npm | immediate | 3.0.6 | indirect |
| npm | immutable | 4.3.7 | indirect |
| npm | internal-slot | 1.1.0 | indirect |
| npm | internmap | 2.0.3 | indirect |
| npm | is-arguments | 1.2.0 | indirect |
| npm | is-array-buffer | 3.0.5 | indirect |
| npm | is-bigint | 1.1.0 | indirect |
| npm | is-boolean-object | 1.2.2 | indirect |
| npm | is-callable | 1.2.7 | indirect |
| npm | is-core-module | 2.16.1 | indirect |
| npm | is-date-object | 1.1.0 | indirect |
| npm | is-map | 2.0.3 | indirect |
| npm | is-module | 1.0.0 | indirect |
| npm | is-number-object | 1.1.1 | indirect |
| npm | is-promise | 2.2.2 | indirect |
| npm | is-reference | 1.2.1 | indirect |
| npm | is-regex | 1.2.1 | indirect |
| npm | is-set | 2.0.3 | indirect |
| npm | is-shared-array-buffer | 1.0.4 | indirect |
| npm | is-string | 1.1.1 | indirect |
| npm | is-symbol | 1.1.1 | indirect |
| npm | is-weakmap | 2.0.2 | indirect |
| npm | is-weakset | 2.0.4 | indirect |
| npm | isarray | 2.0.5 | indirect |
| npm | isexe | 2.0.0 | indirect |
| npm | its-fine | 1.2.5 | indirect |
| npm | jackspeak | 4.2.3 | indirect |
| npm | js-tokens | 4.0.0 | indirect |
| npm | lie | 3.3.0 | indirect |
| npm | lit | 3.3.2 | indirect |
| npm | lit-element | 4.2.2 | indirect |
| npm | lit-html | 3.3.2 | indirect |
| npm | lodash | 4.17.23 | indirect |
| npm | loose-envify | 1.4.0 | indirect |
| npm | lru-cache | 11.2.6 | indirect |
| npm | maath | 0.10.8 | indirect |
| npm | magic-string | 0.30.21 | indirect |
| npm | math-intrinsics | 1.1.0 | indirect |
| npm | meshline | 3.3.1 | indirect |
| npm | meshoptimizer | 1.0.1 | indirect |
| npm | mhchemparser | 4.2.1 | indirect |
| npm | minimatch | 10.2.4 | indirect |
| npm | minipass | 7.1.3 | indirect |
| npm | mj-context-menu | 0.6.1 | indirect |
| npm | mnemonist | 0.39.8 | indirect |
| npm | moo | 0.5.2 | indirect |
| npm | nearley | 2.20.1 | indirect |
| npm | object-assign | 4.1.1 | indirect |
| npm | object-inspect | 1.13.4 | indirect |
| npm | object-is | 1.1.6 | indirect |
| npm | object-keys | 1.1.1 | indirect |
| npm | object.assign | 4.1.7 | indirect |
| npm | obliterator | 2.0.5 | indirect |
| npm | package-json-from-dist | 1.0.1 | indirect |
| npm | pandemonium | 2.4.1 | indirect |
| npm | path-key | 3.1.1 | indirect |
| npm | path-parse | 1.0.7 | indirect |
| npm | path-scurry | 2.0.2 | indirect |
| npm | picomatch | 4.0.3 | indirect |
| npm | poly-partition | 1.0.2 | indirect |
| npm | possible-typed-array-names | 1.1.0 | indirect |
| npm | potpack | 1.0.2 | indirect |
| npm | promise-worker-transferable | 1.0.4 | indirect |
| npm | prop-types | 15.8.1 | indirect |
| npm | railroad-diagrams | 1.0.0 | indirect |
| npm | randexp | 0.4.6 | indirect |
| npm | randombytes | 2.1.0 | indirect |
| npm | react-composer | 5.0.3 | indirect |
| npm | react-is | 16.13.1 | indirect |
| npm | react-is | 18.3.1 | indirect |
| npm | react-lifecycles-compat | 3.0.4 | indirect |
| npm | react-reconciler | 0.27.0 | indirect |
| npm | react-smooth | 4.0.4 | indirect |
| npm | react-transition-group | 4.4.5 | indirect |
| npm | react-use-measure | 2.1.7 | indirect |
| npm | recharts-scale | 0.4.5 | indirect |
| npm | recursive-diff | 1.0.9 | indirect |
| npm | regexp.prototype.flags | 1.5.4 | indirect |
| npm | require-from-string | 2.0.2 | indirect |
| npm | resolve | 1.22.11 | indirect |
| npm | ret | 0.1.15 | indirect |
| npm | robust-predicates | 3.0.2 | indirect |
| npm | rollup | 4.59.0 | indirect |
| npm | rw | 1.3.3 | indirect |
| npm | safe-buffer | 5.2.1 | indirect |
| npm | safe-regex-test | 1.1.0 | indirect |
| npm | safer-buffer | 2.1.2 | indirect |
| npm | scheduler | 0.21.0 | indirect |
| npm | scheduler | 0.23.2 | indirect |
| npm | seedrandom | 3.0.5 | indirect |
| npm | serialize-javascript | 6.0.2 | indirect |
| npm | set-function-length | 1.2.2 | indirect |
| npm | set-function-name | 2.0.2 | indirect |
| npm | shebang-command | 2.0.0 | indirect |
| npm | shebang-regex | 3.0.0 | indirect |
| npm | side-channel | 1.1.0 | indirect |
| npm | side-channel-list | 1.0.0 | indirect |
| npm | side-channel-map | 1.0.1 | indirect |
| npm | side-channel-weakmap | 1.0.2 | indirect |
| npm | signal-exit | 4.1.0 | indirect |
| npm | smob | 1.6.1 | indirect |
| npm | source-map | 0.6.1 | indirect |
| npm | source-map-support | 0.5.21 | indirect |
| npm | speech-rule-engine | 4.1.2 | indirect |
| npm | stats-gl | 2.4.2 | indirect |
| npm | stats.js | 0.17.0 | indirect |
| npm | stop-iteration-iterator | 1.1.0 | indirect |
| npm | string-width | 7.2.0 | indirect |
| npm | strip-ansi | 7.2.0 | indirect |
| npm | supports-preserve-symlinks-flag | 1.0.0 | indirect |
| npm | suspend-react | 0.1.3 | indirect |
| npm | tachyons | 4.12.0 | indirect |
| npm | terser | 5.46.0 | indirect |
| npm | three | 0.170.0 | indirect |
| npm | three | 0.183.1 | indirect |
| npm | three-mesh-bvh | 0.7.8 | indirect |
| npm | three-stdlib | 2.36.1 | indirect |
| npm | tiny-invariant | 1.3.3 | indirect |
| npm | troika-three-text | 0.52.4 | indirect |
| npm | troika-three-utils | 0.52.4 | indirect |
| npm | troika-worker-utils | 0.52.0 | indirect |
| npm | true-myth | 4.1.1 | indirect |
| npm | tslib | 2.8.1 | indirect |
| npm | tunnel-rat | 0.1.2 | indirect |
| npm | typescript | 5.9.3 | indirect |
| npm | use-sync-external-store | 1.6.0 | indirect |
| npm | utility-types | 3.11.0 | indirect |
| npm | uuid | 8.3.2 | indirect |
| npm | victory-vendor | 36.9.2 | indirect |
| npm | vscode-jsonrpc | 8.2.0 | indirect |
| npm | vscode-languageserver-types | 3.17.5 | indirect |
| npm | warning | 3.0.0 | indirect |
| npm | webgl-constants | 1.1.1 | indirect |
| npm | webgl-sdf-generator | 1.1.1 | indirect |
| npm | which | 2.0.2 | indirect |
| npm | which-boxed-primitive | 1.1.1 | indirect |
| npm | which-collection | 1.0.2 | indirect |
| npm | which-typed-array | 1.1.20 | indirect |
| npm | wicked-good-xpath | 1.3.0 | indirect |
| npm | wrap-ansi | 9.0.2 | indirect |
| npm | y18n | 5.0.8 | indirect |
| npm | yargs | 18.0.0 | indirect |
| npm | yargs-parser | 22.0.0 | indirect |
| npm | zustand | 3.7.2 | indirect |
| npm | zustand | 4.5.7 | indirect |
| npm | zustand | 5.0.11 | indirect |
Raw JSON report machine-readable
{
"data": {
"repo": {
"topics": [
"lean",
"lean4",
"visualization"
],
"is_fork": false,
"size_kb": 4419,
"has_wiki": true,
"homepage": null,
"languages": {
"ASL": 454,
"TeX": 6299,
"Lean": 155017,
"JavaScript": 2980,
"TypeScript": 76963
},
"pushed_at": "2026-07-15T15:14:47Z",
"created_at": "2022-11-15T09:42:25Z",
"owner_type": "Organization",
"updated_at": "2026-07-15T15:05:32Z",
"description": "Helper toolkit for creating your own Lean 4 UserWidgets",
"is_archived": false,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "main",
"primary_language": "Lean",
"significant_languages": [
"Lean",
"TypeScript"
]
},
"owner": {
"blog": "https://leanprover-community.github.io/",
"name": null,
"type": "Organization",
"login": "leanprover-community",
"company": null,
"followers": 921,
"avatar_url": "https://avatars.githubusercontent.com/u/41703605?v=4",
"created_at": "2018-07-25T19:24:45Z",
"is_verified": null,
"public_repos": 107,
"account_age_days": 2913
},
"activity": {
"releases_count": 100,
"commits_last_year": 70,
"latest_release_at": "2026-07-15T15:15:47Z",
"latest_release_tag": "v0.0.106",
"releases_from_tags": false,
"days_since_last_push": 1,
"active_weeks_last_year": 29,
"days_since_latest_release": 1,
"mean_days_between_releases": 9.9
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "@leanprover-community/proofwidgets4",
"exists": true,
"license": "Apache-2.0",
"keywords": [],
"ecosystem": "npm",
"matches_repo": null,
"registry_url": "https://www.npmjs.com/package/@leanprover-community/proofwidgets4",
"is_deprecated": false,
"latest_version": "0.1.0",
"repository_url": null,
"versions_count": 1,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": 1,
"monthly_downloads": 13,
"first_published_at": "2024-12-12T15:59:30.432000Z",
"latest_published_at": "2024-12-12T15:59:30.760000Z",
"latest_version_yanked": null,
"days_since_latest_publish": 581
}
]
},
"popularity": {
"forks": 46,
"stars": 216,
"watchers": 8,
"open_issues_and_prs": 13
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"demos"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"widget/tsconfig.json"
],
"largest_source_bytes": 2663470,
"source_files_sampled": 47,
"oversized_source_files": 9,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"widget/package.json"
],
"ecosystems": [
"npm"
],
"dependencies": [
{
"name": "@leanprover/infoview",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "~0.11.0"
},
{
"name": "@penrose/core",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "~3.2.0"
},
{
"name": "@react-three/drei",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^9.64.0"
},
{
"name": "@react-three/fiber",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^8.12.0"
},
{
"name": "@svgdotjs/svg.js",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^3.2.0"
},
{
"name": "d3",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^7.9.0"
},
{
"name": "d3-graphviz",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^5.6"
},
{
"name": "deep-equal",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^2.2.3"
},
{
"name": "mathjax-full",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "~3.2.2"
},
{
"name": "react",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^18.2.0"
},
{
"name": "react-dom",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^18.2.0"
},
{
"name": "react-d3-tree",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^3.5.1"
},
{
"name": "recharts",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^2.5.0"
},
{
"name": "use-resize-observer",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^9.1.0"
},
{
"name": "vscode-languageserver-protocol",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^3.17.2"
},
{
"name": "react-fast-compare",
"manifest": "widget/package.json",
"ecosystem": "npm",
"version_constraint": "^3.2.2"
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "@leanprover/infoview",
"direct": true,
"version": "0.11.0",
"ecosystem": "npm"
},
{
"name": "@penrose/core",
"direct": true,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "@react-three/drei",
"direct": true,
"version": "9.122.0",
"ecosystem": "npm"
},
{
"name": "@react-three/fiber",
"direct": true,
"version": "8.18.0",
"ecosystem": "npm"
},
{
"name": "@svgdotjs/svg.js",
"direct": true,
"version": "3.2.5",
"ecosystem": "npm"
},
{
"name": "d3",
"direct": true,
"version": "7.9.0",
"ecosystem": "npm"
},
{
"name": "d3-graphviz",
"direct": true,
"version": "5.6.0",
"ecosystem": "npm"
},
{
"name": "deep-equal",
"direct": true,
"version": "2.2.3",
"ecosystem": "npm"
},
{
"name": "mathjax-full",
"direct": true,
"version": "3.2.2",
"ecosystem": "npm"
},
{
"name": "react",
"direct": true,
"version": "18.0.0",
"ecosystem": "npm"
},
{
"name": "react",
"direct": true,
"version": "18.3.1",
"ecosystem": "npm"
},
{
"name": "react-d3-tree",
"direct": true,
"version": "3.6.6",
"ecosystem": "npm"
},
{
"name": "react-dom",
"direct": true,
"version": "18.3.1",
"ecosystem": "npm"
},
{
"name": "react-fast-compare",
"direct": true,
"version": "3.2.2",
"ecosystem": "npm"
},
{
"name": "recharts",
"direct": true,
"version": "2.15.4",
"ecosystem": "npm"
},
{
"name": "use-resize-observer",
"direct": true,
"version": "9.1.0",
"ecosystem": "npm"
},
{
"name": "vscode-languageserver-protocol",
"direct": true,
"version": "3.17.5",
"ecosystem": "npm"
},
{
"name": "@babel/runtime",
"direct": false,
"version": "7.28.6",
"ecosystem": "npm"
},
{
"name": "@bkrem/react-transition-group",
"direct": false,
"version": "1.3.5",
"ecosystem": "npm"
},
{
"name": "@datastructures-js/queue",
"direct": false,
"version": "4.3.0",
"ecosystem": "npm"
},
{
"name": "@dimforge/rapier3d-compat",
"direct": false,
"version": "0.12.0",
"ecosystem": "npm"
},
{
"name": "@hpcc-js/wasm",
"direct": false,
"version": "2.34.2",
"ecosystem": "npm"
},
{
"name": "@isaacs/cliui",
"direct": false,
"version": "9.0.0",
"ecosystem": "npm"
},
{
"name": "@jridgewell/gen-mapping",
"direct": false,
"version": "0.3.13",
"ecosystem": "npm"
},
{
"name": "@jridgewell/resolve-uri",
"direct": false,
"version": "3.1.2",
"ecosystem": "npm"
},
{
"name": "@jridgewell/source-map",
"direct": false,
"version": "0.3.11",
"ecosystem": "npm"
},
{
"name": "@jridgewell/sourcemap-codec",
"direct": false,
"version": "1.5.5",
"ecosystem": "npm"
},
{
"name": "@jridgewell/trace-mapping",
"direct": false,
"version": "0.3.31",
"ecosystem": "npm"
},
{
"name": "@juggle/resize-observer",
"direct": false,
"version": "3.4.0",
"ecosystem": "npm"
},
{
"name": "@leanprover/infoview-api",
"direct": false,
"version": "0.11.0",
"ecosystem": "npm"
},
{
"name": "@lit-labs/ssr-dom-shim",
"direct": false,
"version": "1.5.1",
"ecosystem": "npm"
},
{
"name": "@lit/react",
"direct": false,
"version": "1.0.8",
"ecosystem": "npm"
},
{
"name": "@lit/reactive-element",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "@mediapipe/tasks-vision",
"direct": false,
"version": "0.10.17",
"ecosystem": "npm"
},
{
"name": "@monogrid/gainmap-js",
"direct": false,
"version": "3.4.0",
"ecosystem": "npm"
},
{
"name": "@penrose/optimizer",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "@react-spring/animated",
"direct": false,
"version": "9.7.5",
"ecosystem": "npm"
},
{
"name": "@react-spring/core",
"direct": false,
"version": "9.7.5",
"ecosystem": "npm"
},
{
"name": "@react-spring/rafz",
"direct": false,
"version": "9.7.5",
"ecosystem": "npm"
},
{
"name": "@react-spring/shared",
"direct": false,
"version": "9.7.5",
"ecosystem": "npm"
},
{
"name": "@react-spring/three",
"direct": false,
"version": "9.7.5",
"ecosystem": "npm"
},
{
"name": "@react-spring/types",
"direct": false,
"version": "9.7.5",
"ecosystem": "npm"
},
{
"name": "@rollup/plugin-commonjs",
"direct": false,
"version": "28.0.9",
"ecosystem": "npm"
},
{
"name": "@rollup/plugin-node-resolve",
"direct": false,
"version": "15.3.1",
"ecosystem": "npm"
},
{
"name": "@rollup/plugin-replace",
"direct": false,
"version": "6.0.3",
"ecosystem": "npm"
},
{
"name": "@rollup/plugin-terser",
"direct": false,
"version": "0.4.4",
"ecosystem": "npm"
},
{
"name": "@rollup/pluginutils",
"direct": false,
"version": "5.3.0",
"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": "@tweenjs/tween.js",
"direct": false,
"version": "23.1.3",
"ecosystem": "npm"
},
{
"name": "@types/d3",
"direct": false,
"version": "7.4.3",
"ecosystem": "npm"
},
{
"name": "@types/d3-array",
"direct": false,
"version": "3.2.2",
"ecosystem": "npm"
},
{
"name": "@types/d3-axis",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "@types/d3-brush",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "@types/d3-chord",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "@types/d3-color",
"direct": false,
"version": "1.4.5",
"ecosystem": "npm"
},
{
"name": "@types/d3-color",
"direct": false,
"version": "3.1.3",
"ecosystem": "npm"
},
{
"name": "@types/d3-contour",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "@types/d3-delaunay",
"direct": false,
"version": "6.0.4",
"ecosystem": "npm"
},
{
"name": "@types/d3-dispatch",
"direct": false,
"version": "3.0.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-drag",
"direct": false,
"version": "3.0.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-dsv",
"direct": false,
"version": "3.0.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-ease",
"direct": false,
"version": "3.0.2",
"ecosystem": "npm"
},
{
"name": "@types/d3-fetch",
"direct": false,
"version": "3.0.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-force",
"direct": false,
"version": "3.0.10",
"ecosystem": "npm"
},
{
"name": "@types/d3-format",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "@types/d3-geo",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "@types/d3-graphviz",
"direct": false,
"version": "2.6.10",
"ecosystem": "npm"
},
{
"name": "@types/d3-hierarchy",
"direct": false,
"version": "1.1.11",
"ecosystem": "npm"
},
{
"name": "@types/d3-hierarchy",
"direct": false,
"version": "3.1.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-interpolate",
"direct": false,
"version": "1.4.5",
"ecosystem": "npm"
},
{
"name": "@types/d3-interpolate",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "@types/d3-path",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "@types/d3-polygon",
"direct": false,
"version": "3.0.2",
"ecosystem": "npm"
},
{
"name": "@types/d3-quadtree",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "@types/d3-random",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "@types/d3-scale",
"direct": false,
"version": "4.0.9",
"ecosystem": "npm"
},
{
"name": "@types/d3-scale-chromatic",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "@types/d3-selection",
"direct": false,
"version": "1.4.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-selection",
"direct": false,
"version": "3.0.11",
"ecosystem": "npm"
},
{
"name": "@types/d3-shape",
"direct": false,
"version": "3.1.8",
"ecosystem": "npm"
},
{
"name": "@types/d3-time",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "@types/d3-time-format",
"direct": false,
"version": "4.0.3",
"ecosystem": "npm"
},
{
"name": "@types/d3-timer",
"direct": false,
"version": "3.0.2",
"ecosystem": "npm"
},
{
"name": "@types/d3-transition",
"direct": false,
"version": "1.3.6",
"ecosystem": "npm"
},
{
"name": "@types/d3-transition",
"direct": false,
"version": "3.0.9",
"ecosystem": "npm"
},
{
"name": "@types/d3-zoom",
"direct": false,
"version": "1.8.7",
"ecosystem": "npm"
},
{
"name": "@types/d3-zoom",
"direct": false,
"version": "3.0.8",
"ecosystem": "npm"
},
{
"name": "@types/deep-equal",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "@types/draco3d",
"direct": false,
"version": "1.4.10",
"ecosystem": "npm"
},
{
"name": "@types/estree",
"direct": false,
"version": "1.0.8",
"ecosystem": "npm"
},
{
"name": "@types/geojson",
"direct": false,
"version": "7946.0.16",
"ecosystem": "npm"
},
{
"name": "@types/offscreencanvas",
"direct": false,
"version": "2019.7.3",
"ecosystem": "npm"
},
{
"name": "@types/prop-types",
"direct": false,
"version": "15.7.15",
"ecosystem": "npm"
},
{
"name": "@types/react",
"direct": false,
"version": "18.3.28",
"ecosystem": "npm"
},
{
"name": "@types/react-dom",
"direct": false,
"version": "18.3.7",
"ecosystem": "npm"
},
{
"name": "@types/react-reconciler",
"direct": false,
"version": "0.26.7",
"ecosystem": "npm"
},
{
"name": "@types/react-reconciler",
"direct": false,
"version": "0.28.9",
"ecosystem": "npm"
},
{
"name": "@types/resolve",
"direct": false,
"version": "1.20.2",
"ecosystem": "npm"
},
{
"name": "@types/stats.js",
"direct": false,
"version": "0.17.4",
"ecosystem": "npm"
},
{
"name": "@types/three",
"direct": false,
"version": "0.183.1",
"ecosystem": "npm"
},
{
"name": "@types/trusted-types",
"direct": false,
"version": "2.0.7",
"ecosystem": "npm"
},
{
"name": "@types/webxr",
"direct": false,
"version": "0.5.24",
"ecosystem": "npm"
},
{
"name": "@use-gesture/core",
"direct": false,
"version": "10.3.1",
"ecosystem": "npm"
},
{
"name": "@use-gesture/react",
"direct": false,
"version": "10.3.1",
"ecosystem": "npm"
},
{
"name": "@vscode-elements/elements",
"direct": false,
"version": "1.7.1",
"ecosystem": "npm"
},
{
"name": "@vscode-elements/react-elements",
"direct": false,
"version": "0.5.0",
"ecosystem": "npm"
},
{
"name": "@vscode/codicons",
"direct": false,
"version": "0.0.40",
"ecosystem": "npm"
},
{
"name": "@webgpu/types",
"direct": false,
"version": "0.1.69",
"ecosystem": "npm"
},
{
"name": "@xmldom/xmldom",
"direct": false,
"version": "0.9.8",
"ecosystem": "npm"
},
{
"name": "acorn",
"direct": false,
"version": "8.16.0",
"ecosystem": "npm"
},
{
"name": "ansi-regex",
"direct": false,
"version": "6.2.2",
"ecosystem": "npm"
},
{
"name": "ansi-styles",
"direct": false,
"version": "6.2.3",
"ecosystem": "npm"
},
{
"name": "array-buffer-byte-length",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "available-typed-arrays",
"direct": false,
"version": "1.0.7",
"ecosystem": "npm"
},
{
"name": "balanced-match",
"direct": false,
"version": "4.0.4",
"ecosystem": "npm"
},
{
"name": "base64-js",
"direct": false,
"version": "1.5.1",
"ecosystem": "npm"
},
{
"name": "bidi-js",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "brace-expansion",
"direct": false,
"version": "5.0.3",
"ecosystem": "npm"
},
{
"name": "buffer",
"direct": false,
"version": "6.0.3",
"ecosystem": "npm"
},
{
"name": "buffer-from",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "call-bind",
"direct": false,
"version": "1.0.8",
"ecosystem": "npm"
},
{
"name": "call-bind-apply-helpers",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "call-bound",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "camera-controls",
"direct": false,
"version": "2.10.1",
"ecosystem": "npm"
},
{
"name": "chain-function",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "cliui",
"direct": false,
"version": "9.0.1",
"ecosystem": "npm"
},
{
"name": "clone",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "clsx",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "commander",
"direct": false,
"version": "13.1.0",
"ecosystem": "npm"
},
{
"name": "commander",
"direct": false,
"version": "2.20.3",
"ecosystem": "npm"
},
{
"name": "commander",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "commondir",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "consola",
"direct": false,
"version": "2.15.3",
"ecosystem": "npm"
},
{
"name": "cross-env",
"direct": false,
"version": "7.0.3",
"ecosystem": "npm"
},
{
"name": "cross-spawn",
"direct": false,
"version": "7.0.6",
"ecosystem": "npm"
},
{
"name": "csstype",
"direct": false,
"version": "3.2.3",
"ecosystem": "npm"
},
{
"name": "d3-array",
"direct": false,
"version": "3.2.4",
"ecosystem": "npm"
},
{
"name": "d3-axis",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "d3-brush",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "d3-chord",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-color",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "d3-contour",
"direct": false,
"version": "4.0.2",
"ecosystem": "npm"
},
{
"name": "d3-delaunay",
"direct": false,
"version": "6.0.4",
"ecosystem": "npm"
},
{
"name": "d3-dispatch",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-drag",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "d3-dsv",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-ease",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-fetch",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-force",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "d3-format",
"direct": false,
"version": "3.1.2",
"ecosystem": "npm"
},
{
"name": "d3-geo",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "d3-hierarchy",
"direct": false,
"version": "1.1.9",
"ecosystem": "npm"
},
{
"name": "d3-hierarchy",
"direct": false,
"version": "3.1.2",
"ecosystem": "npm"
},
{
"name": "d3-interpolate",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-path",
"direct": false,
"version": "1.0.9",
"ecosystem": "npm"
},
{
"name": "d3-path",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "d3-polygon",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-quadtree",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-random",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-scale",
"direct": false,
"version": "4.0.2",
"ecosystem": "npm"
},
{
"name": "d3-scale-chromatic",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "d3-selection",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "d3-shape",
"direct": false,
"version": "1.3.7",
"ecosystem": "npm"
},
{
"name": "d3-shape",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "d3-time",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "d3-time-format",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "d3-timer",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-transition",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "d3-zoom",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "decimal.js-light",
"direct": false,
"version": "2.5.1",
"ecosystem": "npm"
},
{
"name": "deepmerge",
"direct": false,
"version": "4.3.1",
"ecosystem": "npm"
},
{
"name": "define-data-property",
"direct": false,
"version": "1.1.4",
"ecosystem": "npm"
},
{
"name": "define-properties",
"direct": false,
"version": "1.2.1",
"ecosystem": "npm"
},
{
"name": "delaunator",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "dequal",
"direct": false,
"version": "2.0.3",
"ecosystem": "npm"
},
{
"name": "detect-gpu",
"direct": false,
"version": "5.0.70",
"ecosystem": "npm"
},
{
"name": "discontinuous-range",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "dom-helpers",
"direct": false,
"version": "3.4.0",
"ecosystem": "npm"
},
{
"name": "dom-helpers",
"direct": false,
"version": "5.2.1",
"ecosystem": "npm"
},
{
"name": "draco3d",
"direct": false,
"version": "1.5.7",
"ecosystem": "npm"
},
{
"name": "dunder-proto",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "emoji-regex",
"direct": false,
"version": "10.6.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-get-iterator",
"direct": false,
"version": "1.1.3",
"ecosystem": "npm"
},
{
"name": "es-module-lexer",
"direct": false,
"version": "1.7.0",
"ecosystem": "npm"
},
{
"name": "es-module-shims",
"direct": false,
"version": "1.10.1",
"ecosystem": "npm"
},
{
"name": "es-object-atoms",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "escalade",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "esm",
"direct": false,
"version": "3.2.25",
"ecosystem": "npm"
},
{
"name": "estree-walker",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "eventemitter3",
"direct": false,
"version": "4.0.7",
"ecosystem": "npm"
},
{
"name": "fast-equals",
"direct": false,
"version": "5.4.0",
"ecosystem": "npm"
},
{
"name": "fdir",
"direct": false,
"version": "6.5.0",
"ecosystem": "npm"
},
{
"name": "fflate",
"direct": false,
"version": "0.6.10",
"ecosystem": "npm"
},
{
"name": "fflate",
"direct": false,
"version": "0.8.2",
"ecosystem": "npm"
},
{
"name": "for-each",
"direct": false,
"version": "0.3.5",
"ecosystem": "npm"
},
{
"name": "foreground-child",
"direct": false,
"version": "3.3.1",
"ecosystem": "npm"
},
{
"name": "fsevents",
"direct": false,
"version": "2.3.3",
"ecosystem": "npm"
},
{
"name": "function-bind",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "functions-have-names",
"direct": false,
"version": "1.2.3",
"ecosystem": "npm"
},
{
"name": "get-caller-file",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "get-east-asian-width",
"direct": false,
"version": "1.6.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": "glob",
"direct": false,
"version": "11.1.0",
"ecosystem": "npm"
},
{
"name": "glsl-noise",
"direct": false,
"version": "0.0.0",
"ecosystem": "npm"
},
{
"name": "gopd",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "has-bigints",
"direct": false,
"version": "1.1.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": "hls.js",
"direct": false,
"version": "1.6.15",
"ecosystem": "npm"
},
{
"name": "iconv-lite",
"direct": false,
"version": "0.6.3",
"ecosystem": "npm"
},
{
"name": "ieee754",
"direct": false,
"version": "1.2.1",
"ecosystem": "npm"
},
{
"name": "immediate",
"direct": false,
"version": "3.0.6",
"ecosystem": "npm"
},
{
"name": "immutable",
"direct": false,
"version": "4.3.7",
"ecosystem": "npm"
},
{
"name": "internal-slot",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "internmap",
"direct": false,
"version": "2.0.3",
"ecosystem": "npm"
},
{
"name": "is-arguments",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "is-array-buffer",
"direct": false,
"version": "3.0.5",
"ecosystem": "npm"
},
{
"name": "is-bigint",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "is-boolean-object",
"direct": false,
"version": "1.2.2",
"ecosystem": "npm"
},
{
"name": "is-callable",
"direct": false,
"version": "1.2.7",
"ecosystem": "npm"
},
{
"name": "is-core-module",
"direct": false,
"version": "2.16.1",
"ecosystem": "npm"
},
{
"name": "is-date-object",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "is-map",
"direct": false,
"version": "2.0.3",
"ecosystem": "npm"
},
{
"name": "is-module",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "is-number-object",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "is-promise",
"direct": false,
"version": "2.2.2",
"ecosystem": "npm"
},
{
"name": "is-reference",
"direct": false,
"version": "1.2.1",
"ecosystem": "npm"
},
{
"name": "is-regex",
"direct": false,
"version": "1.2.1",
"ecosystem": "npm"
},
{
"name": "is-set",
"direct": false,
"version": "2.0.3",
"ecosystem": "npm"
},
{
"name": "is-shared-array-buffer",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "is-string",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "is-symbol",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "is-weakmap",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "is-weakset",
"direct": false,
"version": "2.0.4",
"ecosystem": "npm"
},
{
"name": "isarray",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "isexe",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "its-fine",
"direct": false,
"version": "1.2.5",
"ecosystem": "npm"
},
{
"name": "jackspeak",
"direct": false,
"version": "4.2.3",
"ecosystem": "npm"
},
{
"name": "js-tokens",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "lie",
"direct": false,
"version": "3.3.0",
"ecosystem": "npm"
},
{
"name": "lit",
"direct": false,
"version": "3.3.2",
"ecosystem": "npm"
},
{
"name": "lit-element",
"direct": false,
"version": "4.2.2",
"ecosystem": "npm"
},
{
"name": "lit-html",
"direct": false,
"version": "3.3.2",
"ecosystem": "npm"
},
{
"name": "lodash",
"direct": false,
"version": "4.17.23",
"ecosystem": "npm"
},
{
"name": "loose-envify",
"direct": false,
"version": "1.4.0",
"ecosystem": "npm"
},
{
"name": "lru-cache",
"direct": false,
"version": "11.2.6",
"ecosystem": "npm"
},
{
"name": "maath",
"direct": false,
"version": "0.10.8",
"ecosystem": "npm"
},
{
"name": "magic-string",
"direct": false,
"version": "0.30.21",
"ecosystem": "npm"
},
{
"name": "math-intrinsics",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "meshline",
"direct": false,
"version": "3.3.1",
"ecosystem": "npm"
},
{
"name": "meshoptimizer",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "mhchemparser",
"direct": false,
"version": "4.2.1",
"ecosystem": "npm"
},
{
"name": "minimatch",
"direct": false,
"version": "10.2.4",
"ecosystem": "npm"
},
{
"name": "minipass",
"direct": false,
"version": "7.1.3",
"ecosystem": "npm"
},
{
"name": "mj-context-menu",
"direct": false,
"version": "0.6.1",
"ecosystem": "npm"
},
{
"name": "mnemonist",
"direct": false,
"version": "0.39.8",
"ecosystem": "npm"
},
{
"name": "moo",
"direct": false,
"version": "0.5.2",
"ecosystem": "npm"
},
{
"name": "nearley",
"direct": false,
"version": "2.20.1",
"ecosystem": "npm"
},
{
"name": "object-assign",
"direct": false,
"version": "4.1.1",
"ecosystem": "npm"
},
{
"name": "object-inspect",
"direct": false,
"version": "1.13.4",
"ecosystem": "npm"
},
{
"name": "object-is",
"direct": false,
"version": "1.1.6",
"ecosystem": "npm"
},
{
"name": "object-keys",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "object.assign",
"direct": false,
"version": "4.1.7",
"ecosystem": "npm"
},
{
"name": "obliterator",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "package-json-from-dist",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "pandemonium",
"direct": false,
"version": "2.4.1",
"ecosystem": "npm"
},
{
"name": "path-key",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "path-parse",
"direct": false,
"version": "1.0.7",
"ecosystem": "npm"
},
{
"name": "path-scurry",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "picomatch",
"direct": false,
"version": "4.0.3",
"ecosystem": "npm"
},
{
"name": "poly-partition",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "possible-typed-array-names",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "potpack",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "promise-worker-transferable",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "prop-types",
"direct": false,
"version": "15.8.1",
"ecosystem": "npm"
},
{
"name": "railroad-diagrams",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "randexp",
"direct": false,
"version": "0.4.6",
"ecosystem": "npm"
},
{
"name": "randombytes",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "react-composer",
"direct": false,
"version": "5.0.3",
"ecosystem": "npm"
},
{
"name": "react-is",
"direct": false,
"version": "16.13.1",
"ecosystem": "npm"
},
{
"name": "react-is",
"direct": false,
"version": "18.3.1",
"ecosystem": "npm"
},
{
"name": "react-lifecycles-compat",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "react-reconciler",
"direct": false,
"version": "0.27.0",
"ecosystem": "npm"
},
{
"name": "react-smooth",
"direct": false,
"version": "4.0.4",
"ecosystem": "npm"
},
{
"name": "react-transition-group",
"direct": false,
"version": "4.4.5",
"ecosystem": "npm"
},
{
"name": "react-use-measure",
"direct": false,
"version": "2.1.7",
"ecosystem": "npm"
},
{
"name": "recharts-scale",
"direct": false,
"version": "0.4.5",
"ecosystem": "npm"
},
{
"name": "recursive-diff",
"direct": false,
"version": "1.0.9",
"ecosystem": "npm"
},
{
"name": "regexp.prototype.flags",
"direct": false,
"version": "1.5.4",
"ecosystem": "npm"
},
{
"name": "require-from-string",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "resolve",
"direct": false,
"version": "1.22.11",
"ecosystem": "npm"
},
{
"name": "ret",
"direct": false,
"version": "0.1.15",
"ecosystem": "npm"
},
{
"name": "robust-predicates",
"direct": false,
"version": "3.0.2",
"ecosystem": "npm"
},
{
"name": "rollup",
"direct": false,
"version": "4.59.0",
"ecosystem": "npm"
},
{
"name": "rw",
"direct": false,
"version": "1.3.3",
"ecosystem": "npm"
},
{
"name": "safe-buffer",
"direct": false,
"version": "5.2.1",
"ecosystem": "npm"
},
{
"name": "safe-regex-test",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "safer-buffer",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "scheduler",
"direct": false,
"version": "0.21.0",
"ecosystem": "npm"
},
{
"name": "scheduler",
"direct": false,
"version": "0.23.2",
"ecosystem": "npm"
},
{
"name": "seedrandom",
"direct": false,
"version": "3.0.5",
"ecosystem": "npm"
},
{
"name": "serialize-javascript",
"direct": false,
"version": "6.0.2",
"ecosystem": "npm"
},
{
"name": "set-function-length",
"direct": false,
"version": "1.2.2",
"ecosystem": "npm"
},
{
"name": "set-function-name",
"direct": false,
"version": "2.0.2",
"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": "side-channel",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "side-channel-list",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "side-channel-map",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "side-channel-weakmap",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "signal-exit",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "smob",
"direct": false,
"version": "1.6.1",
"ecosystem": "npm"
},
{
"name": "source-map",
"direct": false,
"version": "0.6.1",
"ecosystem": "npm"
},
{
"name": "source-map-support",
"direct": false,
"version": "0.5.21",
"ecosystem": "npm"
},
{
"name": "speech-rule-engine",
"direct": false,
"version": "4.1.2",
"ecosystem": "npm"
},
{
"name": "stats-gl",
"direct": false,
"version": "2.4.2",
"ecosystem": "npm"
},
{
"name": "stats.js",
"direct": false,
"version": "0.17.0",
"ecosystem": "npm"
},
{
"name": "stop-iteration-iterator",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "string-width",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "strip-ansi",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "supports-preserve-symlinks-flag",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "suspend-react",
"direct": false,
"version": "0.1.3",
"ecosystem": "npm"
},
{
"name": "tachyons",
"direct": false,
"version": "4.12.0",
"ecosystem": "npm"
},
{
"name": "terser",
"direct": false,
"version": "5.46.0",
"ecosystem": "npm"
},
{
"name": "three",
"direct": false,
"version": "0.170.0",
"ecosystem": "npm"
},
{
"name": "three",
"direct": false,
"version": "0.183.1",
"ecosystem": "npm"
},
{
"name": "three-mesh-bvh",
"direct": false,
"version": "0.7.8",
"ecosystem": "npm"
},
{
"name": "three-stdlib",
"direct": false,
"version": "2.36.1",
"ecosystem": "npm"
},
{
"name": "tiny-invariant",
"direct": false,
"version": "1.3.3",
"ecosystem": "npm"
},
{
"name": "troika-three-text",
"direct": false,
"version": "0.52.4",
"ecosystem": "npm"
},
{
"name": "troika-three-utils",
"direct": false,
"version": "0.52.4",
"ecosystem": "npm"
},
{
"name": "troika-worker-utils",
"direct": false,
"version": "0.52.0",
"ecosystem": "npm"
},
{
"name": "true-myth",
"direct": false,
"version": "4.1.1",
"ecosystem": "npm"
},
{
"name": "tslib",
"direct": false,
"version": "2.8.1",
"ecosystem": "npm"
},
{
"name": "tunnel-rat",
"direct": false,
"version": "0.1.2",
"ecosystem": "npm"
},
{
"name": "typescript",
"direct": false,
"version": "5.9.3",
"ecosystem": "npm"
},
{
"name": "use-sync-external-store",
"direct": false,
"version": "1.6.0",
"ecosystem": "npm"
},
{
"name": "utility-types",
"direct": false,
"version": "3.11.0",
"ecosystem": "npm"
},
{
"name": "uuid",
"direct": false,
"version": "8.3.2",
"ecosystem": "npm"
},
{
"name": "victory-vendor",
"direct": false,
"version": "36.9.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": "warning",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "webgl-constants",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "webgl-sdf-generator",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "which",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "which-boxed-primitive",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "which-collection",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "which-typed-array",
"direct": false,
"version": "1.1.20",
"ecosystem": "npm"
},
{
"name": "wicked-good-xpath",
"direct": false,
"version": "1.3.0",
"ecosystem": "npm"
},
{
"name": "wrap-ansi",
"direct": false,
"version": "9.0.2",
"ecosystem": "npm"
},
{
"name": "y18n",
"direct": false,
"version": "5.0.8",
"ecosystem": "npm"
},
{
"name": "yargs",
"direct": false,
"version": "18.0.0",
"ecosystem": "npm"
},
{
"name": "yargs-parser",
"direct": false,
"version": "22.0.0",
"ecosystem": "npm"
},
{
"name": "zustand",
"direct": false,
"version": "3.7.2",
"ecosystem": "npm"
},
{
"name": "zustand",
"direct": false,
"version": "4.5.7",
"ecosystem": "npm"
},
{
"name": "zustand",
"direct": false,
"version": "5.0.11",
"ecosystem": "npm"
}
],
"collected": true,
"truncated": false,
"total_count": 386,
"direct_count": 17,
"indirect_count": 369
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 142,
"open_issues": 13,
"closed_ratio": 0.581,
"closed_issues": 18,
"closed_unmerged_prs": 13
},
"bus_factor": 2,
"top_contributors": [
{
"type": "User",
"login": "Vtec234",
"commits": 193,
"avatar_url": "https://avatars.githubusercontent.com/u/13901751?u=6f185107359284ecc9a321f52d934e086e293b05&v=4"
},
{
"type": "User",
"login": "kim-em",
"commits": 171,
"avatar_url": "https://avatars.githubusercontent.com/u/477956?u=b0eae48895c773e3f90d1583d0d1cc9d52787b11&v=4"
},
{
"type": "User",
"login": "EdAyers",
"commits": 28,
"avatar_url": "https://avatars.githubusercontent.com/u/5064353?u=c438d652e71cea1008142a7899db4303d47c5357&v=4"
},
{
"type": "User",
"login": "lecopivo",
"commits": 22,
"avatar_url": "https://avatars.githubusercontent.com/u/6596305?u=8b696b1c1ea7675e7145238dd26d3a5de8edde9e&v=4"
},
{
"type": "User",
"login": "Garmelon",
"commits": 11,
"avatar_url": "https://avatars.githubusercontent.com/u/11077553?u=924b0b5ffa6a1665da4de6e9d587dee688a1cbd7&v=4"
},
{
"type": "User",
"login": "jcommelin",
"commits": 11,
"avatar_url": "https://avatars.githubusercontent.com/u/5636705?u=907ca97dd2ab06d852f1eff14cd402c1f963cd98&v=4"
},
{
"type": "User",
"login": "VladaSedlacek",
"commits": 11,
"avatar_url": "https://avatars.githubusercontent.com/u/20140206?u=85a2c5766b72d1c4c4eb43ac8ec5027900db3df3&v=4"
},
{
"type": "User",
"login": "tydeu",
"commits": 8,
"avatar_url": "https://avatars.githubusercontent.com/u/9020483?u=b4da723e711de079b172bd6f7b0993282ff933f2&v=4"
},
{
"type": "User",
"login": "JovanGerb",
"commits": 6,
"avatar_url": "https://avatars.githubusercontent.com/u/56355248?v=4"
},
{
"type": "User",
"login": "Vierkantor",
"commits": 5,
"avatar_url": "https://avatars.githubusercontent.com/u/2116570?v=4"
}
],
"contributors_sampled": 22,
"top_contributor_share": 0.396
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"build.yml"
],
"has_docs_dir": true,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "25 out of 25 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 1,
"reason": "Found 4/28 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 9 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 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": "15 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "b1436dc749e722c9920036b52cdc43b3451d0b69",
"ran_at": "2026-07-17T09:34:32Z",
"aggregate_score": 3.6,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/leanprover-community/proofwidgets4",
"host": "github.com",
"name": "proofwidgets4",
"owner": "leanprover-community"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 64,
"inputs": {
"security": 36,
"vitality": 90,
"community": 45,
"governance": 66,
"engineering": 75
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "excellent",
"name": "Vitality",
"value": 90,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 83,
"inputs": {
"commits_last_year": 70,
"human_commit_share": null,
"days_since_last_push": 1,
"active_weeks_last_year": 29
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "29/52 weeks with commits",
"points": 20.1,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 29
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "70 commits in the last year",
"points": 16.6,
"status": "partial",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 70
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 100,
"inputs": {
"releases_count": 100,
"latest_release_tag": "v0.0.106",
"releases_from_tags": false,
"days_since_latest_release": 1,
"mean_days_between_releases": 9.9
},
"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 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~9.9 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 9.9
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "no_commit_sample",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 45,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "moderate",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 56,
"inputs": {
"forks": 46,
"stars": 216,
"watchers": 8,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "216 stars",
"points": 37.8,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 216
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "46 forks",
"points": 13.8,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 46
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "8 watchers",
"points": 4.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 8
}
}
],
"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": "critical",
"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": 19,
"inputs": {
"packages": [
"@leanprover-community/proofwidgets4"
],
"dependents": null,
"ecosystems": "npm",
"total_downloads": null,
"monthly_downloads": 13
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "13 downloads/month across npm",
"points": 15.3,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 13,
"ecosystems": "npm"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 66,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "moderate",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 62,
"inputs": {
"bus_factor": 2,
"contributors_sampled": 22,
"top_contributor_share": 0.396
},
"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 40% of commits",
"points": 13.6,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 40
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "22 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 22
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 9 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 64,
"inputs": {
"merged_prs": 142,
"open_issues": 13,
"closed_issues": 18,
"issue_closed_ratio": 0.581,
"closed_unmerged_prs": 13
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "58% of issues closed",
"points": 27.2,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 58
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "142/155 decided PRs merged",
"points": 35,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 142,
"decided": 155
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 4/28 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": 76,
"inputs": {
"followers": 921,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "leanprover-community",
"public_repos": 107,
"account_age_days": 2913
},
"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": "921 followers of leanprover-community",
"points": 21.3,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 921,
"login": "leanprover-community"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "107 public repos, account ~7 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 107
}
},
{
"code": "account_age_years",
"params": {
"years": 7
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "moderate",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 63,
"inputs": {
"packages": [
"@leanprover-community/proofwidgets4"
],
"ecosystems": "npm",
"any_deprecated": false,
"min_days_since_publish": 581
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on npm",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "npm"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 581 days ago",
"points": 14,
"status": "partial",
"details": [
{
"code": "publish_recency",
"params": {
"days": 581
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "1 published versions",
"points": 4,
"status": "partial",
"details": [
{
"code": "published_versions",
"params": {
"count": 1
}
}
],
"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": "good",
"name": "Engineering Quality",
"value": 75,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "1 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 1
}
}
],
"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": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "25 out of 25 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "excellent",
"name": "Documentation",
"note": null,
"notes": [],
"value": 85,
"inputs": {
"topics": [
"lean",
"lean4",
"visualization"
],
"has_wiki": true,
"homepage": null,
"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": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "3 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 3
}
}
],
"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": "at_risk",
"name": "Security",
"value": 36,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Packaging, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"packaging",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 36,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 3.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 not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "25 out of 25 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 4/28 approved changesets -- score normalized to 1",
"points": 0.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 9 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "13 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "15 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 5
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "at_risk",
"name": "AI Readiness",
"value": 38,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": "Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"legible_commit_history"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"has_llms_txt": false,
"legible_history_share": null,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"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": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": "Excluded from scoring (no data or not applicable): Demonstrated agent practice, Automated maintenance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"demonstrated_agent_practice",
"automated_maintenance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 52,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": false,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"widget/tsconfig.json"
],
"agent_commit_share": null,
"toolchain_manifests": [],
"dependency_bot_commit_share": null
},
"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": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "widget/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "widget/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "good",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"primary_language": "Lean",
"largest_source_bytes": 2663470,
"source_files_sampled": 47,
"oversized_source_files": 9
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Lean with type-check config (widget/tsconfig.json)",
"points": 27,
"status": "partial",
"details": [
{
"code": "typecheck_config_language",
"params": {
"files": "widget/tsconfig.json",
"language": "Lean"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "9/47 source files over 60KB",
"points": 44.5,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 47,
"oversized": 9
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "at_risk",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"demos"
],
"has_mcp_signal": false,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "demos",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "demos"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [],
"report_type": "repository",
"generated_at": "2026-07-17T09:34:53.477793Z",
"schema_version": "0.11.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/l/leanprover-community/proofwidgets4.svg",
"full_name": "leanprover-community/proofwidgets4",
"license_state": "standard",
"license_spdx": "Apache-2.0"
}Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v1.13.0, schema v0.11.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — npm.