Öffentliches Register
Software-GesundheitsberichtSchema 0.27.0 · Metriken 2.5.0 · 2026-07-26 20:53 UTC

0xMiden / air-script

A domain-specific language for writing AIR constraints for STARKs

RustMIT★ 97 Sterne⑂ 39 Forksseit Sept. 2022Auf GitHub ansehen ↗
ArtBibliothekKommandozeilenwerkzeugwie das ermittelt wird

0xMiden/air-script erreicht einen Gesundheitsindex von 65 von 100 und liegt damit im Bereich Gut. Am stärksten schneidet es bei Engineering Quality (72/100) ab, am schwächsten bei Vitality (43/100). Zuletzt vor 101 Tagen aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

65
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.

65
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 60 wird auf der veröffentlichten Indexskala auf 65 kalibriert (Register-Kalibrierung 2026-08-02).

Eigentümerschaft

MidenOrganisation
405 Follower52 öffentliche Reposseit Dez. 2024

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

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlichtTags
crates.ioair-ir0.4.01144vor 400 Tagenairstarkzero-knowledgezkpcryptographycompilers
crates.ioair-mir0.4.0621vor 400 Tagenairstarkzero-knowledgezkpcryptographycompilers
crates.ioair-pass0.4.01232vor 400 Tagencompilers
crates.ioair-parser0.4.01574vor 400 Tagenairstarkzero-knowledgezkpcryptographyparser-implementationscompilers
crates.iomiden-vmverweist auf ein anderes Repo — nicht bewertet0.25.761864vor 5 Tagenmidenstarkvirtual-machinezkpcryptographyno-stdemulators
crates.ioair-script0.4.0464vor 400 Tagenairstarkzero-knowledgezkpcryptographycompilers

Metriken nach Kategorie

Vitalität

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

43Schwach · 21 % des Gesamtindex
Wie die Bewertung erfolgt
9.9/36Push-Aktualität — letzter Push vor 101 Tagen
11.8/36Commit-Rhythmus — 17/52 Wochen mit Commits
15.4/18Commit-Volumen — 51 Commits im letzten Jahr
0/10OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
Verwendete Eingangsdaten
commits_last_year51
human_commit_share1
days_since_last_push101
active_weeks_last_year17
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 4 Releases veröffentlicht
7.2/36Release-Aktualität — letztes Release vor 400 Tagen
12.6/27Release-Rhythmus — ein Release etwa alle 318 Tage
0/10OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count4
latest_release_tagv0.4.0
releases_from_tagsnein
days_since_latest_release400
mean_days_between_releases318
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?

58Mittel · 17 % des Gesamtindex
Wie die Bewertung erfolgt
32.2/60Stars — 97 Stars
13.2/25Forks — 39 Forks
5/15Watcher — 9 Watcher
Verwendete Eingangsdaten
forks39
stars97
watchers9
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (MIT)
18/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
6.3/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
readme_badges
has_contributingja
has_issue_templatenein
has_code_of_conductnein
readme_badge_services
has_pull_request_templateja
Wie die Bewertung erfolgt
36/80Downloads pro Monat — 502 Downloads/Monat über crates
0/20Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen
Verwendete Eingangsdaten
packagesair-ir, air-mir, air-pass, air-parser, air-script
dependents
ecosystemscrates
total_downloads25.784
monthly_downloads502
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Abhängige in der Registry. Die verbleibenden Gewichte wurden renormalisiert.

Nachhaltigkeit & Governance

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

67Gut · 23 % des Gesamtindex
Wie die Bewertung erfolgt
25.2/54Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab
16.4/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 27 % der Commits
13.5/13.5Breite der Beitragenden — 22 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 5 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor2
contributors_sampled22
top_contributor_share0,27
Wie die Bewertung erfolgt
25.3/42Issue-Lösungsquote — 60 % der Issues geschlossen
22.5/30PR-Annahme — 245/327 entschiedene PRs gemergt
0/13Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden
13.5/15OpenSSF Scorecard: Code-Review — Found 27/29 approved changesets -- score normalized to 9
Verwendete Eingangsdaten
merged_prs245
open_issues87
closed_issues132
prs_merged_7d
prs_decided_7d
prs_merged_30d
prs_decided_30d
issue_closed_ratio0,603
closed_unmerged_prs82
first_time_authors_30d
first_time_prs_merged_30d
first_time_prs_decided_30d
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): newcomer_pr_acceptance. Die verbleibenden Gewichte wurden renormalisiert.
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain
18.8/25Reichweite des Inhabers — 405 Follower von 0xMiden
15.8/25Kontohistorie — 52 öffentliche Repos, Kontoalter ca. 1 Jahre
Verwendete Eingangsdaten
followers405
owner_typeOrganization
is_verified
owner_login0xMiden
public_repos52
account_age_days597
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 5 Paket(e) auf crates
14/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 400 Tagen
12/20Versionshistorie — 4 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packagesair-ir, air-mir, air-pass, air-parser, air-script
ecosystemscrates
any_deprecatednein
min_days_since_publish400

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

72Gut · 19 % des Gesamtindex
Wie die Bewertung erfolgt
24/24CI-Workflows — 7 Workflow(s)
24/24Tests vorhanden
0/16Linter-Konfiguration
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
18/20OpenSSF Scorecard: CI-Tests — 26 out of 27 merged PRs checked by a CI test -- score normalized to 9
Verwendete Eingangsdaten
has_cija
has_testsja
has_editorconfignein
has_linter_confignein
has_precommit_confignein

Dokumentation

80Exzellent
Wie die Bewertung erfolgt
30/30README
25/25Dokumentationsverzeichnis
15/15Dokumentations-/Homepage-Site — https://0xmiden.github.io/air-script/
10/10Repository-Beschreibung
0/10Topics
0/10Wiki
Verwendete Eingangsdaten
topics
has_wikinein
homepagehttps://0xmiden.github.io/air-script/
has_readmeja
has_docs_dirja
has_descriptionja

Sicherheit

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

63Mittel · 16 % des Gesamtindex
Wie die Bewertung erfolgt
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — keine Daten
2.2/2.5CI-Tests — 26 out of 27 merged PRs checked by a CI test -- score normalized to 9
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
6.8/7.5Code-Review — Found 27/29 approved changesets -- score normalized to 9
2.5/2.5Contributors — project has 5 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
0/7.5Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
0/5Packaging — keine Daten
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
2.5/5SAST — SAST tool is not run on all commits -- score normalized to 5
4.5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — keine Daten
7.5/7.5Token-Permissions — GitHub workflow tokens follow principle of least privilege
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated15
scorecard_versionv5.5.0
checks_inconclusive3
scorecard_aggregate6,3
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): branch_protection, packaging, signed_releases. Die verbleibenden Gewichte wurden renormalisiert.

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.

53Mittel · 4 % des Gesamtindex
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15Maschinenlesbare Doku (llms.txt)
40/40Lesbare Commit-Historie — 79 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtnein
legible_history_share0,79
agent_instruction_files
agent_instruction_max_bytes
Wie die Bewertung erfolgt
18/18Bootstrap mit einem Befehl — Makefile
22/22Automatisierte Tests
0/11Lint-/Format-Konfiguration
11/11Statische Typprüfung — Rust (statisch typisiert)
0/10Reproduzierbare Umgebung
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
lockfiles
has_dockerfilenein
typed_languageja
bootstrap_filesMakefile
has_devcontainernein
has_linter_confignein
typecheck_configs
agent_commit_share0
toolchain_manifestsCargo.toml, air-script/Cargo.toml, air/Cargo.toml, codegen/ace/Cargo.toml, codegen/winterfell/Cargo.toml, miden-vm/Cargo.toml, mir/Cargo.toml, mir/derive-ir/Cargo.toml, parser/Cargo.toml, pass/Cargo.toml
dependency_bot_commit_share0
Wie die Bewertung erfolgt
45/45Typprüfbarer Code — Rust (statisch typisiert)
54.2/55Handhabbare Dateigrößen — 4/285 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageRust
largest_source_bytes102.663
source_files_sampled285
oversized_source_files4
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto)
0/20MCP-Server
40/40Lauffähige Beispiele — examples
Verwendete Eingangsdaten
example_dirsexamples
has_mcp_signalnein
api_schema_files

Eckdaten

97GitHub-Sterne
22Mitwirkende
51Commits, letzte 12 Monate
101Tage seit letztem Push
4Releases
2Bus-Faktor
87offene Issues
crates.ioPaket-Ökosysteme

Warnungen zur Datenerhebung

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • crates package 'miden-vm' points at a different repository (https://github.com/0xMiden/miden-vm); excluded from ecosystem scoring
  • No resolved dependencies carried a version and a supported ecosystem

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 39 ⇿
0Sterne
39Forks
4Releases

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.

01325383642022-092024-082026-07
Major 0Minor 4Patch 0

Jeder Punkt umfasst 4 Tage.

OpenSSF Scorecard 6.3 / 10
6.3Gesamtwert

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-07-26 20:53 UTC

10Binary-Artifactsno binaries found in the repo
k. A.Branch-Protectioninternal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
9CI-Tests26 out of 27 merged PRs checked by a CI test -- score normalized to 9
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
9Code-ReviewFound 27/29 approved changesets -- score normalized to 9
10Contributorsproject has 5 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
0Maintained0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
k. A.Packagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
5SASTSAST tool is not run on all commits -- score normalized to 5
9Security-Policysecurity policy file detected
k. A.Signed-Releasesno releases found
10Token-PermissionsGitHub workflow tokens follow principle of least privilege
10Vulnerabilities0 existing vulnerabilities detected
Direkte Abhängigkeiten 50
RegistryPaketVersionsvorgabeManifest
crates.ioair-codegen-winter0.5air-script/Cargo.toml
crates.ioair-ir0.5air-script/Cargo.toml
crates.ioair-parser0.5air-script/Cargo.toml
crates.ioair-pass0.5air-script/Cargo.toml
crates.ioclap4.5air-script/Cargo.toml
crates.ioenv_logger0.11air-script/Cargo.toml
crates.iolog0.4air-script/Cargo.toml
crates.iomiden-diagnosticsair-script/Cargo.toml
crates.iomir0.5air-script/Cargo.toml
crates.ioair-parser0.5air/Cargo.toml
crates.ioair-pass0.5air/Cargo.toml
crates.ioanyhowair/Cargo.toml
crates.iomiden-diagnosticsair/Cargo.toml
crates.iomir0.5air/Cargo.toml
crates.iothiserrorair/Cargo.toml
crates.iorand0.9air/Cargo.toml
crates.iowinter-math0.12air/Cargo.toml
crates.ioair-ir0.5miden-vm/Cargo.toml
crates.ioair-parser0.5miden-vm/Cargo.toml
crates.ioair-pass0.5miden-vm/Cargo.toml
crates.ioair-mir0.5miden-vm/Cargo.toml
crates.ioair-codegen-ace0.5miden-vm/Cargo.toml
crates.iomiden-diagnostics0.1miden-vm/Cargo.toml
crates.iomiden-core0.13miden-vm/Cargo.toml
crates.iowinter-air0.12miden-vm/Cargo.toml
crates.iowinter-math0.12miden-vm/Cargo.toml
crates.iowinter-utils0.12miden-vm/Cargo.toml
crates.iowinter-prover0.12miden-vm/Cargo.toml
crates.iowinter-verifier0.12miden-vm/Cargo.toml
crates.iowinterfell0.12miden-vm/Cargo.toml
crates.ioair-parser0.5mir/Cargo.toml
crates.ioair-pass0.5mir/Cargo.toml
crates.ioanyhowmir/Cargo.toml
crates.ioderive-ir0.5mir/Cargo.toml
crates.iomiden-core0.13mir/Cargo.toml
crates.iomiden-diagnosticsmir/Cargo.toml
crates.iontest0.9.5mir/Cargo.toml
crates.iopretty_assertions1.4mir/Cargo.toml
crates.iorand0.9mir/Cargo.toml
crates.iothiserrormir/Cargo.toml
crates.iowinter-math0.12mir/Cargo.toml
crates.ioair-pass0.5parser/Cargo.toml
crates.ioeither1.12parser/Cargo.toml
crates.iolalrpop-util0.20parser/Cargo.toml
crates.iolazy_static1.4parser/Cargo.toml
crates.iomiden-diagnosticsparser/Cargo.toml
crates.iomiden-parsing0.1parser/Cargo.toml
crates.iopetgraph0.8parser/Cargo.toml
crates.ioregex1parser/Cargo.toml
crates.iothiserrorparser/Cargo.toml
Alle Abhängigkeiten 39

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

RegistryPaketVersionBeziehung
crates.ioair-codegen-acedirekt
crates.ioair-codegen-winterdirekt
crates.ioair-irdirekt
crates.ioair-mirdirekt
crates.ioair-parserdirekt
crates.ioair-passdirekt
crates.ioanyhowdirekt
crates.ioclapdirekt
crates.ioeitherdirekt
crates.ioenv_loggerdirekt
crates.iolalrpop-utildirekt
crates.iolazy_staticdirekt
crates.iologdirekt
crates.iomiden-coredirekt
crates.iomiden-diagnosticsdirekt
crates.iomiden-parsingdirekt
crates.iontestdirekt
crates.iopetgraphdirekt
crates.iopretty_assertionsdirekt
crates.ioranddirekt
crates.ioregexdirekt
crates.iothiserrordirekt
crates.iowinter-airdirekt
crates.iowinter-mathdirekt
crates.iowinter-proverdirekt
crates.iowinter-utilsdirekt
crates.iowinter-verifierdirekt
crates.iowinterfelldirekt
crates.ioair-derive-irindirekt
crates.iocodegenindirekt
crates.ioexpect-testindirekt
crates.iolalrpopindirekt
crates.iomiden-assemblyindirekt
crates.iomiden-processorindirekt
crates.ioprettypleaseindirekt
crates.ioproc-macro2indirekt
crates.ioquoteindirekt
crates.iorand_chachaindirekt
crates.iosynindirekt
Abhängigkeits-Advisories nicht bewertet

Der Advisory-Abgleich konnte für diesen Bericht nicht ausgeführt werden: No resolved dependencies carried a version and a supported ecosystem

JSON-Rohbericht maschinenlesbar

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.5.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.

Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistikencrates.io.