Öffentliches Register
Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-09-09 20:55 UTC

leanprover-community / ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Lean · TypeScriptApache-2.0★ 224 Sterne⑂ 49 Forksseit Nov. 2022Auf GitHub ansehen ↗
ArtBibliothekWeboberflächewie das ermittelt wird
#lean#lean4#visualization

leanprover-community/ProofWidgets4 erreicht einen Gesundheitsindex von 77 von 100 und liegt damit im Bereich Gut. Am stärksten schneidet es bei Vitality (86/100) ab, am schwächsten bei Security (44/100). Zuletzt vor 19 Tagen aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

77
gesamt / 100
Gut

Software-Gesundheitsindex

Metriken werden auf einer standardisierten Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr gewichtetes Mittel, kalibriert auf die Verteilung des öffentlichen Registers, sodass die Stufen Perzentilbedeutung tragen; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze Gefährdet von 34.

77
Außergewöhnlich93-100Die Spitzengruppe des Registers (≈ obere 5 %); erfüllt im Wesentlichen alle geprüften Kriterien
Exzellent80-92Durchgehend stark; geringfügige Lücken
Gut65-79Gesund; Lücken sind begrenzt und beherrschbar
Mittel50-64Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Schwach35-49Wesentliche Schwächen in mehreren Bereichen
Gefährdet20-34Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-19Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
VitalitätCommunity &VerbreitungNachhaltigkeit &GovernanceEngineering-QualitätSicherheitAI Readiness

Bewertungsprofil

Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.

Der gewichtete Gesamtwert 66 wird auf der veröffentlichten Indexskala auf 77 kalibriert (Register-Kalibrierung 2026-08-02).

Eigentümerschaft

leanprover-communityOrganisation
996 Follower109 öffentliche Reposseit Juli 2018

Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlicht
npm@leanprover-community/proofwidgets40.1.0151vor 636 Tagen

Metriken nach Kategorie

Vitalität

Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?

86Exzellent · 21 % des Gesamtindex

Entwicklungsaktivität

77Gut
Wie die Bewertung erfolgt
28.8/36Push-Aktualität — letzter Push vor 19 Tagen
22.2/36Commit-Rhythmus — 32/52 Wochen mit Commits
16.3/18Commit-Volumen — 65 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 14 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year65
human_commit_share1
days_since_last_push19
active_weeks_last_year32

Release-Disziplin

100Außergewöhnlich
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 100 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 19 Tagen
27/27Release-Rhythmus — ein Release etwa alle 8,2 Tage
0/10OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count100
latest_release_tagv0.0.110
releases_from_tagsnein
days_since_latest_release19
mean_days_between_releases8,2
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.

Community & Verbreitung

Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?

54Mittel · 17 % des Gesamtindex

Popularität & Verbreitung

57Mittel
Wie die Bewertung erfolgt
38.1/60Stars — 224 Stars
14/25Forks — 49 Forks
4.7/15Watcher — 8 Watcher
Verwendete Eingangsdaten
forks49
stars224
watchers8
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Community-Gesundheit

50Mittel
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (Apache-2.0)
0/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
0/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
readme_badges0
has_contributingnein
has_issue_templatenein
has_code_of_conductnein
readme_badge_services—
has_pull_request_templatenein

Nachhaltigkeit & Governance

Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?

66Gut · 23 % des Gesamtindex

Maintainer-Resilienz (Bus-Faktor)

62Mittel
Wie die Bewertung erfolgt
25.2/54Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab
13.7/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 39 % der Commits
13.5/13.5Breite der Beitragenden — 23 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 9 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor2
contributors_sampled23
top_contributor_share0,392

Reaktionsfähigkeit bei Issues & PRs

61Mittel
Wie die Bewertung erfolgt
25.7/42Issue-Lösungsquote — 61 % der Issues geschlossen
27.4/30PR-Annahme — 147/161 entschiedene PRs gemergt
6.5/13Newcomer PR acceptance — 1/2 PRs von Erstbeitragenden in 30 Tagen gemergt
1.5/15OpenSSF Scorecard: Code-Review — Found 5/28 approved changesets -- score normalized to 1
Verwendete Eingangsdaten
merged_prs147
open_issues12
closed_issues19
prs_merged_7d0
prs_decided_7d1
prs_merged_30d2
prs_decided_30d3
issue_closed_ratio0,613
closed_unmerged_prs14
first_time_authors_30d2
first_time_prs_merged_30d1
first_time_prs_decided_30d2

Eigentümerschaft & Trägerschaft

77Gut
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain
21.6/25Reichweite des Inhabers — 996 Follower von leanprover-community
25/25Kontohistorie — 109 öffentliche Repos, Kontoalter ca. 8 Jahre
Verwendete Eingangsdaten
followers996
owner_typeOrganization
is_verifiednein
owner_loginleanprover-community
public_repos109
account_age_days2.968

Paketpflege

63Mittel
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 1 Paket(e) auf npm
14/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 636 Tagen
4/20Versionshistorie — 1 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packages@leanprover-community/proofwidgets4
ecosystemsnpm
any_deprecatednein
min_days_since_publish636

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

75Gut · 19 % des Gesamtindex

Engineering-Praktiken

68Gut
Wie die Bewertung erfolgt
24/24CI-Workflows — 1 Workflow(s)
24/24Tests vorhanden
0/16Linter-Konfiguration
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
Verwendete Eingangsdaten
has_cija
has_testsja
has_editorconfignein
has_linter_confignein
has_precommit_confignein

Dokumentation

85Exzellent
Wie die Bewertung erfolgt
30/30README
25/25Dokumentationsverzeichnis
0/15Dokumentations-/Homepage-Site
10/10Repository-Beschreibung
10/10Topics — 3 Topics
10/10Wiki
Verwendete Eingangsdaten
topicslean, lean4, visualization
has_wikija
homepage—
docs_site—
has_readmeja
has_docs_dirja
has_descriptionja

Sicherheit

Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?

44Schwach · 16 % des Gesamtindex

Sicherheitslage

36Schwach
Wie die Bewertung erfolgt
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
2.5/2.5CI-Tests — 25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0.8/7.5Code-Review — Found 5/28 approved changesets -- score normalized to 1
2.5/2.5Contributors — project has 9 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Lizenz — license file detected
7.5/7.5Maintained — 14 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — keine Daten
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — keine Daten
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 33 existing vulnerabilities detected
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate3,6
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Packaging, Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.

Abhängigkeits-Advisories

77Gut
Wie die Bewertung erfolgt
35/35Direkte Abhängigkeiten ohne bekannte Advisories — keine direkte Abhängigkeit trägt ein bekanntes Advisory
8.4/25Indirekte Abhängigkeiten ohne bekannte Advisories — 2 betroffen: @xmldom/xmldom 0.9.10 (high 7.5), uuid 8.3.2 (high 7.5)
33.7/40Keine offenen Advisories — 1 Paket(e) mit Advisory seit über 90 Tagen unbehandelt; ältestes vor 140 Tagen veröffentlicht
Verwendete Eingangsdaten
sourceosv
advisories14
affected_packages2
assessed_packages271
unassessed_packages0
affected_by_severityhigh 2
direct_affected_packages0
Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von npm:@leanprover-community/proofwidgets4@0.1.0 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 271 Paketen. Erreichbarkeit wird nicht analysiert.

AI Readiness

Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Trägt ein bewusst kleines Gewicht (4 %): Agenten-Tooling ist ein echtes Pflegesignal, doch ein Repository ohne jedes Signal kann weiterhin 100/100 erreichen.

55Mittel · 4 % des Gesamtindex

AI-Agentenkontext & Leitlinien

40Schwach
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15Maschinenlesbare Doku (llms.txt)
40/40Lesbare Commit-Historie — 92 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtnein
llms_txt_url—
legible_history_share0,92
agent_instruction_files—
agent_instruction_max_bytes—

AI-Verify-Loop (Build / Test / Typprüfung)

43Schwach
Wie die Bewertung erfolgt
0/18Bootstrap mit einem Befehl
22/22Automatisierte Tests
0/11Lint-/Format-Konfiguration
11/11Statische Typprüfung — widget/tsconfig.json
10/10Reproduzierbare Umgebung — lockfile
0/10Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100
0/8Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Verwendete Eingangsdaten
has_nixnein
has_testsja
lockfilespackage-lock.json
has_dockerfilenein
typed_languagenein
bootstrap_files—
has_devcontainernein
has_linter_confignein
typecheck_configswidget/tsconfig.json
agent_commit_share0
toolchain_manifests—
dependency_bot_commit_share0

AI-Code-Lesbarkeit für Modelle

72Gut
Wie die Bewertung erfolgt
27/45Typprüfbarer Code — Lean mit Typprüfungs-Konfiguration (widget/tsconfig.json)
44.5/55Handhabbare Dateigrößen — 9/47 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageLean
largest_source_bytes2.663.470
source_files_sampled47
oversized_source_files9

Maschinenlesbare AI-Schnittstellen

100Außergewöhnlich
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto) — für diese Art von Software nicht anwendbar
0/20MCP-Server — für diese Art von Software nicht anwendbar
40/40Lauffähige Beispiele — demos
Verwendete Eingangsdaten
example_dirsdemos
has_mcp_signalnein
api_schema_files—
interfaces_expected_of—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): API-Schema (OpenAPI/GraphQL/proto), MCP-Server. Die verbleibenden Gewichte wurden renormalisiert.

Eckdaten

224GitHub-Sterne
23Mitwirkende
65Commits, letzte 12 Monate
19Tage seit letztem Push
100Releases
2Bus-Faktor
12offene Issues
npmPaket-Ökosysteme

Warnungen zur Datenerhebung

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 49 ⇿
0Sterne
49Forks
100Releases

Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.

010203040504822022-112024-102026-08
Major 0Minor 0Patch 74

Jeder Punkt umfasst 4 Tage.

OpenSSF Scorecard 3.6 / 10
3.6Gesamtwert

Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).Scorecard v5.5.0 · 2026-09-09 20:54 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
10CI-Tests25 out of 25 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
1Code-ReviewFound 5/28 approved changesets -- score normalized to 1
10Contributorsproject has 9 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained14 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10
k. A.Packagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
k. A.Signed-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities33 existing vulnerabilities detected
Direkte Abhängigkeiten 16
RegistryPaketVersionsvorgabeManifest
npm@leanprover/infoview~0.11.0widget/package.json
npm@penrose/core~3.2.0widget/package.json
npm@react-three/drei^9.64.0widget/package.json
npm@react-three/fiber^8.12.0widget/package.json
npm@svgdotjs/svg.js^3.2.0widget/package.json
npmd3^7.9.0widget/package.json
npmd3-graphviz^5.6widget/package.json
npmdeep-equal^2.2.3widget/package.json
npmmathjax-full~3.2.2widget/package.json
npmreact^18.2.0widget/package.json
npmreact-dom^18.2.0widget/package.json
npmreact-d3-tree^3.5.1widget/package.json
npmrecharts^2.5.0widget/package.json
npmuse-resize-observer^9.1.0widget/package.json
npmvscode-languageserver-protocol^3.17.2widget/package.json
npmreact-fast-compare^3.2.2widget/package.json
Alle Abhängigkeiten 386

Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 17 direkte und 369 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.

RegistryPaketVersionBeziehung
npm@leanprover/infoview0.11.0direkt
npm@penrose/core3.2.0direkt
npm@react-three/drei9.122.0direkt
npm@react-three/fiber8.18.0direkt
npm@svgdotjs/svg.js3.2.5direkt
npmd37.9.0direkt
npmd3-graphviz5.6.0direkt
npmdeep-equal2.2.3direkt
npmmathjax-full3.2.2direkt
npmreact18.0.0direkt
npmreact18.3.1direkt
npmreact-d3-tree3.6.6direkt
npmreact-dom18.3.1direkt
npmreact-fast-compare3.2.2direkt
npmrecharts2.15.4direkt
npmuse-resize-observer9.1.0direkt
npmvscode-languageserver-protocol3.17.5direkt
npm@babel/runtime7.28.6indirekt
npm@bkrem/react-transition-group1.3.5indirekt
npm@datastructures-js/queue4.3.0indirekt
npm@dimforge/rapier3d-compat0.12.0indirekt
npm@hpcc-js/wasm2.34.2indirekt
npm@isaacs/cliui9.0.0indirekt
npm@jridgewell/gen-mapping0.3.13indirekt
npm@jridgewell/resolve-uri3.1.2indirekt
npm@jridgewell/source-map0.3.11indirekt
npm@jridgewell/sourcemap-codec1.5.5indirekt
npm@jridgewell/trace-mapping0.3.31indirekt
npm@juggle/resize-observer3.4.0indirekt
npm@leanprover/infoview-api0.11.0indirekt
npm@lit-labs/ssr-dom-shim1.5.1indirekt
npm@lit/react1.0.8indirekt
npm@lit/reactive-element2.1.2indirekt
npm@mediapipe/tasks-vision0.10.17indirekt
npm@monogrid/gainmap-js3.4.0indirekt
npm@penrose/optimizer3.2.0indirekt
npm@react-spring/animated9.7.5indirekt
npm@react-spring/core9.7.5indirekt
npm@react-spring/rafz9.7.5indirekt
npm@react-spring/shared9.7.5indirekt
npm@react-spring/three9.7.5indirekt
npm@react-spring/types9.7.5indirekt
npm@rollup/plugin-commonjs28.0.9indirekt
npm@rollup/plugin-node-resolve15.3.1indirekt
npm@rollup/plugin-replace6.0.3indirekt
npm@rollup/plugin-terser0.4.4indirekt
npm@rollup/pluginutils5.3.0indirekt
npm@rollup/rollup-android-arm-eabi4.59.0indirekt
npm@rollup/rollup-android-arm644.59.0indirekt
npm@rollup/rollup-darwin-arm644.59.0indirekt
npm@rollup/rollup-darwin-x644.59.0indirekt
npm@rollup/rollup-freebsd-arm644.59.0indirekt
npm@rollup/rollup-freebsd-x644.59.0indirekt
npm@rollup/rollup-linux-arm-gnueabihf4.59.0indirekt
npm@rollup/rollup-linux-arm-musleabihf4.59.0indirekt
npm@rollup/rollup-linux-arm64-gnu4.59.0indirekt
npm@rollup/rollup-linux-arm64-musl4.59.0indirekt
npm@rollup/rollup-linux-loong64-gnu4.59.0indirekt
npm@rollup/rollup-linux-loong64-musl4.59.0indirekt
npm@rollup/rollup-linux-ppc64-gnu4.59.0indirekt
npm@rollup/rollup-linux-ppc64-musl4.59.0indirekt
npm@rollup/rollup-linux-riscv64-gnu4.59.0indirekt
npm@rollup/rollup-linux-riscv64-musl4.59.0indirekt
npm@rollup/rollup-linux-s390x-gnu4.59.0indirekt
npm@rollup/rollup-linux-x64-gnu4.59.0indirekt
npm@rollup/rollup-linux-x64-musl4.59.0indirekt
npm@rollup/rollup-openbsd-x644.59.0indirekt
npm@rollup/rollup-openharmony-arm644.59.0indirekt
npm@rollup/rollup-win32-arm64-msvc4.59.0indirekt
npm@rollup/rollup-win32-ia32-msvc4.59.0indirekt
npm@rollup/rollup-win32-x64-gnu4.59.0indirekt
npm@rollup/rollup-win32-x64-msvc4.59.0indirekt
npm@tweenjs/tween.js23.1.3indirekt
npm@types/d37.4.3indirekt
npm@types/d3-array3.2.2indirekt
npm@types/d3-axis3.0.6indirekt
npm@types/d3-brush3.0.6indirekt
npm@types/d3-chord3.0.6indirekt
npm@types/d3-color1.4.5indirekt
npm@types/d3-color3.1.3indirekt
npm@types/d3-contour3.0.6indirekt
npm@types/d3-delaunay6.0.4indirekt
npm@types/d3-dispatch3.0.7indirekt
npm@types/d3-drag3.0.7indirekt
npm@types/d3-dsv3.0.7indirekt
npm@types/d3-ease3.0.2indirekt
npm@types/d3-fetch3.0.7indirekt
npm@types/d3-force3.0.10indirekt
npm@types/d3-format3.0.4indirekt
npm@types/d3-geo3.1.0indirekt
npm@types/d3-graphviz2.6.10indirekt
npm@types/d3-hierarchy1.1.11indirekt
npm@types/d3-hierarchy3.1.7indirekt
npm@types/d3-interpolate1.4.5indirekt
npm@types/d3-interpolate3.0.4indirekt
npm@types/d3-path3.1.1indirekt
npm@types/d3-polygon3.0.2indirekt
npm@types/d3-quadtree3.0.6indirekt
npm@types/d3-random3.0.3indirekt
npm@types/d3-scale4.0.9indirekt
npm@types/d3-scale-chromatic3.1.0indirekt
npm@types/d3-selection1.4.7indirekt
npm@types/d3-selection3.0.11indirekt
npm@types/d3-shape3.1.8indirekt
npm@types/d3-time3.0.4indirekt
npm@types/d3-time-format4.0.3indirekt
npm@types/d3-timer3.0.2indirekt
npm@types/d3-transition1.3.6indirekt
npm@types/d3-transition3.0.9indirekt
npm@types/d3-zoom1.8.7indirekt
npm@types/d3-zoom3.0.8indirekt
npm@types/deep-equal1.0.4indirekt
npm@types/draco3d1.4.10indirekt
npm@types/estree1.0.8indirekt
npm@types/geojson7946.0.16indirekt
npm@types/offscreencanvas2019.7.3indirekt
npm@types/prop-types15.7.15indirekt
npm@types/react18.3.28indirekt
npm@types/react-dom18.3.7indirekt
npm@types/react-reconciler0.26.7indirekt
npm@types/react-reconciler0.28.9indirekt
npm@types/resolve1.20.2indirekt
npm@types/stats.js0.17.4indirekt
npm@types/three0.183.1indirekt
npm@types/trusted-types2.0.7indirekt
npm@types/webxr0.5.24indirekt
npm@use-gesture/core10.3.1indirekt
npm@use-gesture/react10.3.1indirekt
npm@vscode-elements/elements1.7.1indirekt
npm@vscode-elements/react-elements0.5.0indirekt
npm@vscode/codicons0.0.40indirekt
npm@webgpu/types0.1.69indirekt
npm@xmldom/xmldom0.9.8indirekt
npmacorn8.16.0indirekt
npmansi-regex6.2.2indirekt
npmansi-styles6.2.3indirekt
npmarray-buffer-byte-length1.0.2indirekt
npmavailable-typed-arrays1.0.7indirekt
npmbalanced-match4.0.4indirekt
npmbase64-js1.5.1indirekt
npmbidi-js1.0.3indirekt
npmbrace-expansion5.0.3indirekt
npmbuffer6.0.3indirekt
npmbuffer-from1.1.2indirekt
npmcall-bind1.0.8indirekt
npmcall-bind-apply-helpers1.0.2indirekt
npmcall-bound1.0.4indirekt
npmcamera-controls2.10.1indirekt
npmchain-function1.0.1indirekt
npmcliui9.0.1indirekt
npmclone2.1.2indirekt
npmclsx2.1.1indirekt
npmcommander13.1.0indirekt
npmcommander2.20.3indirekt
npmcommander7.2.0indirekt
npmcommondir1.0.1indirekt
npmconsola2.15.3indirekt
npmcross-env7.0.3indirekt
npmcross-spawn7.0.6indirekt
npmcsstype3.2.3indirekt
npmd3-array3.2.4indirekt
npmd3-axis3.0.0indirekt
npmd3-brush3.0.0indirekt
npmd3-chord3.0.1indirekt
npmd3-color3.1.0indirekt
npmd3-contour4.0.2indirekt
npmd3-delaunay6.0.4indirekt
npmd3-dispatch3.0.1indirekt
npmd3-drag3.0.0indirekt
npmd3-dsv3.0.1indirekt
npmd3-ease3.0.1indirekt
npmd3-fetch3.0.1indirekt
npmd3-force3.0.0indirekt
npmd3-format3.1.2indirekt
npmd3-geo3.1.1indirekt
npmd3-hierarchy1.1.9indirekt
npmd3-hierarchy3.1.2indirekt
npmd3-interpolate3.0.1indirekt
npmd3-path1.0.9indirekt
npmd3-path3.1.0indirekt
npmd3-polygon3.0.1indirekt
npmd3-quadtree3.0.1indirekt
npmd3-random3.0.1indirekt
npmd3-scale4.0.2indirekt
npmd3-scale-chromatic3.1.0indirekt
npmd3-selection3.0.0indirekt
npmd3-shape1.3.7indirekt
npmd3-shape3.2.0indirekt
npmd3-time3.1.0indirekt
npmd3-time-format4.1.0indirekt
npmd3-timer3.0.1indirekt
npmd3-transition3.0.1indirekt
npmd3-zoom3.0.0indirekt
npmdecimal.js-light2.5.1indirekt
npmdeepmerge4.3.1indirekt
npmdefine-data-property1.1.4indirekt
npmdefine-properties1.2.1indirekt
npmdelaunator5.0.1indirekt
npmdequal2.0.3indirekt
npmdetect-gpu5.0.70indirekt
npmdiscontinuous-range1.0.0indirekt
npmdom-helpers3.4.0indirekt
npmdom-helpers5.2.1indirekt
npmdraco3d1.5.7indirekt
npmdunder-proto1.0.1indirekt
npmemoji-regex10.6.0indirekt
npmes-define-property1.0.1indirekt
npmes-errors1.3.0indirekt
npmes-get-iterator1.1.3indirekt
npmes-module-lexer1.7.0indirekt
npmes-module-shims1.10.1indirekt
npmes-object-atoms1.1.1indirekt
npmescalade3.2.0indirekt
npmesm3.2.25indirekt
npmestree-walker2.0.2indirekt
npmeventemitter34.0.7indirekt
npmfast-equals5.4.0indirekt
npmfdir6.5.0indirekt
npmfflate0.6.10indirekt
npmfflate0.8.2indirekt
npmfor-each0.3.5indirekt
npmforeground-child3.3.1indirekt
npmfsevents2.3.3indirekt
npmfunction-bind1.1.2indirekt
npmfunctions-have-names1.2.3indirekt
npmget-caller-file2.0.5indirekt
npmget-east-asian-width1.6.0indirekt
npmget-intrinsic1.3.0indirekt
npmget-proto1.0.1indirekt
npmglob11.1.0indirekt
npmglsl-noise0.0.0indirekt
npmgopd1.2.0indirekt
npmhas-bigints1.1.0indirekt
npmhas-property-descriptors1.0.2indirekt
npmhas-symbols1.1.0indirekt
npmhas-tostringtag1.0.2indirekt
npmhasown2.0.2indirekt
npmhls.js1.6.15indirekt
npmiconv-lite0.6.3indirekt
npmieee7541.2.1indirekt
npmimmediate3.0.6indirekt
npmimmutable4.3.7indirekt
npminternal-slot1.1.0indirekt
npminternmap2.0.3indirekt
npmis-arguments1.2.0indirekt
npmis-array-buffer3.0.5indirekt
npmis-bigint1.1.0indirekt
npmis-boolean-object1.2.2indirekt
npmis-callable1.2.7indirekt
npmis-core-module2.16.1indirekt
npmis-date-object1.1.0indirekt
npmis-map2.0.3indirekt
npmis-module1.0.0indirekt
npmis-number-object1.1.1indirekt
npmis-promise2.2.2indirekt
npmis-reference1.2.1indirekt
npmis-regex1.2.1indirekt
npmis-set2.0.3indirekt
npmis-shared-array-buffer1.0.4indirekt
npmis-string1.1.1indirekt
npmis-symbol1.1.1indirekt
npmis-weakmap2.0.2indirekt
npmis-weakset2.0.4indirekt
npmisarray2.0.5indirekt
npmisexe2.0.0indirekt
npmits-fine1.2.5indirekt
npmjackspeak4.2.3indirekt
npmjs-tokens4.0.0indirekt
npmlie3.3.0indirekt
npmlit3.3.2indirekt
npmlit-element4.2.2indirekt
npmlit-html3.3.2indirekt
npmlodash4.17.23indirekt
npmloose-envify1.4.0indirekt
npmlru-cache11.2.6indirekt
npmmaath0.10.8indirekt
npmmagic-string0.30.21indirekt
npmmath-intrinsics1.1.0indirekt
npmmeshline3.3.1indirekt
npmmeshoptimizer1.0.1indirekt
npmmhchemparser4.2.1indirekt
npmminimatch10.2.4indirekt
npmminipass7.1.3indirekt
npmmj-context-menu0.6.1indirekt
npmmnemonist0.39.8indirekt
npmmoo0.5.2indirekt
npmnearley2.20.1indirekt
npmobject-assign4.1.1indirekt
npmobject-inspect1.13.4indirekt
npmobject-is1.1.6indirekt
npmobject-keys1.1.1indirekt
npmobject.assign4.1.7indirekt
npmobliterator2.0.5indirekt
npmpackage-json-from-dist1.0.1indirekt
npmpandemonium2.4.1indirekt
npmpath-key3.1.1indirekt
npmpath-parse1.0.7indirekt
npmpath-scurry2.0.2indirekt
npmpicomatch4.0.3indirekt
npmpoly-partition1.0.2indirekt
npmpossible-typed-array-names1.1.0indirekt
npmpotpack1.0.2indirekt
npmpromise-worker-transferable1.0.4indirekt
npmprop-types15.8.1indirekt
npmrailroad-diagrams1.0.0indirekt
npmrandexp0.4.6indirekt
npmrandombytes2.1.0indirekt
npmreact-composer5.0.3indirekt
npmreact-is16.13.1indirekt
npmreact-is18.3.1indirekt
npmreact-lifecycles-compat3.0.4indirekt
npmreact-reconciler0.27.0indirekt
npmreact-smooth4.0.4indirekt
npmreact-transition-group4.4.5indirekt
npmreact-use-measure2.1.7indirekt
npmrecharts-scale0.4.5indirekt
npmrecursive-diff1.0.9indirekt
npmregexp.prototype.flags1.5.4indirekt
npmrequire-from-string2.0.2indirekt
npmresolve1.22.11indirekt
npmret0.1.15indirekt
npmrobust-predicates3.0.2indirekt
npmrollup4.59.0indirekt
npmrw1.3.3indirekt
npmsafe-buffer5.2.1indirekt
npmsafe-regex-test1.1.0indirekt
npmsafer-buffer2.1.2indirekt
npmscheduler0.21.0indirekt
npmscheduler0.23.2indirekt
npmseedrandom3.0.5indirekt
npmserialize-javascript6.0.2indirekt
npmset-function-length1.2.2indirekt
npmset-function-name2.0.2indirekt
npmshebang-command2.0.0indirekt
npmshebang-regex3.0.0indirekt
npmside-channel1.1.0indirekt
npmside-channel-list1.0.0indirekt
npmside-channel-map1.0.1indirekt
npmside-channel-weakmap1.0.2indirekt
npmsignal-exit4.1.0indirekt
npmsmob1.6.1indirekt
npmsource-map0.6.1indirekt
npmsource-map-support0.5.21indirekt
npmspeech-rule-engine4.1.2indirekt
npmstats-gl2.4.2indirekt
npmstats.js0.17.0indirekt
npmstop-iteration-iterator1.1.0indirekt
npmstring-width7.2.0indirekt
npmstrip-ansi7.2.0indirekt
npmsupports-preserve-symlinks-flag1.0.0indirekt
npmsuspend-react0.1.3indirekt
npmtachyons4.12.0indirekt
npmterser5.46.0indirekt
npmthree0.170.0indirekt
npmthree0.183.1indirekt
npmthree-mesh-bvh0.7.8indirekt
npmthree-stdlib2.36.1indirekt
npmtiny-invariant1.3.3indirekt
npmtroika-three-text0.52.4indirekt
npmtroika-three-utils0.52.4indirekt
npmtroika-worker-utils0.52.0indirekt
npmtrue-myth4.1.1indirekt
npmtslib2.8.1indirekt
npmtunnel-rat0.1.2indirekt
npmtypescript5.9.3indirekt
npmuse-sync-external-store1.6.0indirekt
npmutility-types3.11.0indirekt
npmuuid8.3.2indirekt
npmvictory-vendor36.9.2indirekt
npmvscode-jsonrpc8.2.0indirekt
npmvscode-languageserver-types3.17.5indirekt
npmwarning3.0.0indirekt
npmwebgl-constants1.1.1indirekt
npmwebgl-sdf-generator1.1.1indirekt
npmwhich2.0.2indirekt
npmwhich-boxed-primitive1.1.1indirekt
npmwhich-collection1.0.2indirekt
npmwhich-typed-array1.1.20indirekt
npmwicked-good-xpath1.3.0indirekt
npmwrap-ansi9.0.2indirekt
npmy18n5.0.8indirekt
npmyargs18.0.0indirekt
npmyargs-parser22.0.0indirekt
npmzustand3.7.2indirekt
npmzustand4.5.7indirekt
npmzustand5.0.11indirekt
Abhängigkeits-Advisories 2

Die Installation von npm:@leanprover-community/proofwidgets4@0.1.0 zieht 271 Pakete nach sich, direkt und transitiv: 2 tragen bekannte Advisories, davon 0 direkte Abhängigkeiten.

PaketVersionBeziehungSchweregradAdvisoriesBehoben in
@xmldom/xmldom0.9.10indirekthoch130.9.12
uuid8.3.2indirekthoch113.0.1

Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.

JSON-Rohbericht maschinenlesbar

Feedback

Stimmt etwas in diesem Bericht nicht, oder gibt es Gedanken dazu? Falsche Messungen, übersehene Tools, Ideen, Fragen — alles ist willkommen. Jede Nachricht wird gelesen und beantwortet.

Die Nachricht bleibt bei der Anmeldung erhalten.

Verwandte Einträge

Geprüfte Repositories, die Katalog-Tags oder Ökosysteme mit leanprover-community/ProofWidgets4 teilen. Nebeneinander lesen →

88leanprover/lean4Lean 4 programming language and theorem proverExzellent78leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem proverGut73AxiomMath/axiom-lean-engineLean evaluation and metaprogramming utilities for provers.Gut100metabase/metabaseThe easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data :bar_chart:Außergewöhnlich99apache/supersetApache Superset is a Data Visualization and Data Exploration PlatformAußergewöhnlich99voxel51/fiftyoneRefine high-quality datasets and visual AI modelsAußergewöhnlich

Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.

Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v2.10.0, Schema v0.34.0 — vollständige Methodik · Metriken-Wiki.

Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — npm.