Public recordGood
Software health reportschema 0.27.0 · metrics 2.5.0 · 2026-07-26 20:53 UTC
0xMiden / air-script
A domain-specific language for writing AIR constraints for STARKs
0xMiden/air-script holds a health index of 65 out of 100, placing it in the Good band. It scores highest on Engineering Quality (72/100) and lowest on Vitality (43/100). It was last updated 101 days ago. 2 contributors account for most of its recent work.
65
overall / 100Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean, calibrated against the distribution of the public record so bands carry percentile meaning; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At Risk ceiling of 34.
65
Exceptional93-100The record's top tier (≈ top 5%); essentially all checked criteria met
Excellent80-92Strong across the board; minor gaps
Good65-79Healthy; gaps are limited and manageable
Moderate50-64Acceptable with notable gaps; review recommended
Weak35-49Material weaknesses across several areas
At Risk20-34Significant weaknesses; adoption warrants caution
Critical1-19Severe 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.
The weighted overall 60 is calibrated to 65 on the published index scale (record calibration 2026-08-02).
Ownership
MidenOrganization
405 followers52 public repossince Dec 2024
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 | Tags |
|---|---|---|---|---|---|---|
| crates.io | air-ir | 0.4.0 | 114 | 4 | 400 days ago | airstarkzero-knowledgezkpcryptographycompilers |
| crates.io | air-mir | 0.4.0 | 62 | 1 | 400 days ago | airstarkzero-knowledgezkpcryptographycompilers |
| crates.io | air-pass | 0.4.0 | 123 | 2 | 400 days ago | compilers |
| crates.io | air-parser | 0.4.0 | 157 | 4 | 400 days ago | airstarkzero-knowledgezkpcryptographyparser-implementationscompilers |
| crates.io | miden-vmpoints to another repo — not scored | 0.25.7 | 618 | 64 | 5 days ago | midenstarkvirtual-machinezkpcryptographyno-stdemulators |
| crates.io | air-script | 0.4.0 | 46 | 4 | 400 days ago | airstarkzero-knowledgezkpcryptographycompilers |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
43
Development activity
37Weak
How it's scored
| 9.9/36 | Push recency — last push 101 days ago |
| 11.8/36 | Commit cadence — 17/52 weeks with commits |
| 15.4/18 | Commit volume — 51 commits in the last year |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Inputs used
| commits_last_year | 51 |
| human_commit_share | 1 |
| days_since_last_push | 101 |
| active_weeks_last_year | 17 |
Release discipline
52Moderate
How it's scored
| 27/27 | Ships releases — 4 releases published |
| 7.2/36 | Release recency — latest release 400 days ago |
| 12.6/27 | Release cadence — a release every ~318 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 4 |
| latest_release_tag | v0.4.0 |
| releases_from_tags | no |
| days_since_latest_release | 400 |
| mean_days_between_releases | 318 |
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?
58
Popularity & adoption
50Moderate
How it's scored
| 32.2/60 | Stars — 97 stars |
| 13.2/25 | Forks — 39 forks |
| 5/15 | Watchers — 9 watchers |
Inputs used
| forks | 39 |
| stars | 97 |
| watchers | 9 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
77Good
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (MIT) |
| 18/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 6.3/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| readme_badges | — |
| has_contributing | yes |
| has_issue_template | no |
| has_code_of_conduct | no |
| readme_badge_services | — |
| has_pull_request_template | yes |
How it's scored
| 36/80 | Monthly downloads — 502 downloads/month across crates |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | air-ir, air-mir, air-pass, air-parser, air-script |
| dependents | — |
| ecosystems | crates |
| total_downloads | 25,784 |
| monthly_downloads | 502 |
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?
67
How it's scored
| 25.2/54 | Bus factor — 2 contributor(s) cover half of all commits |
| 16.4/22.5 | Commit distribution — top contributor authored 27% of commits |
| 13.5/13.5 | Contributor breadth — 22 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 5 contributing companies or organizations |
Inputs used
| bus_factor | 2 |
| contributors_sampled | 22 |
| top_contributor_share | 0.27 |
How it's scored
| 25.3/42 | Issue resolution — 60% of issues closed |
| 22.5/30 | PR acceptance — 245/327 decided PRs merged |
| 0/13 | Newcomer PR acceptance — no first-time contributor's PR decided in 30d |
| 13.5/15 | OpenSSF Scorecard: Code-Review — Found 27/29 approved changesets -- score normalized to 9 |
Inputs used
| merged_prs | 245 |
| open_issues | 87 |
| closed_issues | 132 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 0.603 |
| closed_unmerged_prs | 82 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Excluded from scoring (no data or not applicable): newcomer_pr_acceptance. Remaining weights renormalized.
Ownership & stewardship
65Good
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 18.8/25 | Owner reach — 405 followers of 0xMiden |
| 15.8/25 | Track record — 52 public repos, account ~1 yr old |
Inputs used
| followers | 405 |
| owner_type | Organization |
| is_verified | — |
| owner_login | 0xMiden |
| public_repos | 52 |
| account_age_days | 597 |
Package maintenance
71Good
How it's scored
| 25/25 | Published & resolvable — 5 package(s) on crates |
| 14/35 | Publish recency — latest publish 400 days ago |
| 12/20 | Version history — 4 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | air-ir, air-mir, air-pass, air-parser, air-script |
| ecosystems | crates |
| any_deprecated | no |
| min_days_since_publish | 400 |
Engineering Quality
Are baseline engineering and documentation practices in place?
72
Engineering practices
66Good
How it's scored
| 24/24 | CI workflows — 7 workflow(s) |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 18/20 | OpenSSF Scorecard: CI-Tests — 26 out of 27 merged PRs checked by a CI test -- score normalized to 9 |
Inputs used
| has_ci | yes |
| has_tests | yes |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
80Excellent
How it's scored
| 30/30 | README |
| 25/25 | Documentation directory |
| 15/15 | Documentation / homepage site — https://0xmiden.github.io/air-script/ |
| 10/10 | Repository description |
| 0/10 | Topics |
| 0/10 | Wiki |
Inputs used
| topics | — |
| has_wiki | no |
| homepage | https://0xmiden.github.io/air-script/ |
| 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?
63
Security posture
63Moderate
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — no data |
| 2.2/2.5 | CI-Tests — 26 out of 27 merged PRs checked by a CI test -- score normalized to 9 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 6.8/7.5 | Code-Review — Found 27/29 approved changesets -- score normalized to 9 |
| 2.5/2.5 | Contributors — project has 5 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 |
| 0/7.5 | Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| 0/5 | Packaging — no data |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 2.5/5 | SAST — SAST tool is not run on all commits -- score normalized to 5 |
| 4.5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — no data |
| 7.5/7.5 | Token-Permissions — GitHub workflow tokens follow principle of least privilege |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 15 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 3 |
| scorecard_aggregate | 6.3 |
Excluded from scoring (no data or not applicable): branch_protection, packaging, signed_releases. Remaining weights renormalized.
AI Readiness
How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight (4%): agent tooling is a real maintenance signal, but a repository with none can still reach 100/100.
53
Agent context & guidance
40Weak
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 40/40 | Legible commit history — 79 of 100 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| legible_history_share | 0.79 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Verify loop (build / test / typecheck)
51Moderate
How it's scored
| 18/18 | One-command bootstrap — Makefile |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — Rust (statically typed) |
| 0/10 | Reproducible environment |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 0/8 | Automated maintenance — no automated dependency updates observed |
| 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 | — |
| has_dockerfile | no |
| typed_language | yes |
| bootstrap_files | Makefile |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | Cargo.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_share | 0 |
Code legibility for models
99Exceptional
How it's scored
| 45/45 | Type-checkable code — Rust (statically typed) |
| 54.2/55 | Manageable file sizes — 4/285 source files over 60KB |
Inputs used
| primary_language | Rust |
| largest_source_bytes | 102,663 |
| source_files_sampled | 285 |
| oversized_source_files | 4 |
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) |
| 0/20 | MCP server |
| 40/40 | Runnable examples — examples |
Inputs used
| example_dirs | examples |
| has_mcp_signal | no |
| api_schema_files | — |
Key facts
97GitHub stars
22contributors
51commits, last 12 months
101days since last push
4releases
2bus factor
87open issues
crates.iopackage ecosystems
Data collection warnings
- 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
More detail
Star and fork history 0 ★ / 39 ⇿
0Stars
39Forks
4Releases
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Major 0Minor 4Patch 0
Each point covers 4 days.
OpenSSF Scorecard 6.3 / 10
6.3aggregate
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 |
| n/a | Branch-Protection | internal 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 |
| 9 | CI-Tests | 26 out of 27 merged PRs checked by a CI test -- score normalized to 9 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 9 | Code-Review | Found 27/29 approved changesets -- score normalized to 9 |
| 10 | Contributors | project has 5 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 |
| 0 | Maintained | 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| n/a | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 5 | SAST | SAST tool is not run on all commits -- score normalized to 5 |
| 9 | Security-Policy | security policy file detected |
| n/a | Signed-Releases | no releases found |
| 10 | Token-Permissions | GitHub workflow tokens follow principle of least privilege |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Direct dependencies 50
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| crates.io | air-codegen-winter | 0.5 | air-script/Cargo.toml |
| crates.io | air-ir | 0.5 | air-script/Cargo.toml |
| crates.io | air-parser | 0.5 | air-script/Cargo.toml |
| crates.io | air-pass | 0.5 | air-script/Cargo.toml |
| crates.io | clap | 4.5 | air-script/Cargo.toml |
| crates.io | env_logger | 0.11 | air-script/Cargo.toml |
| crates.io | log | 0.4 | air-script/Cargo.toml |
| crates.io | miden-diagnostics | — | air-script/Cargo.toml |
| crates.io | mir | 0.5 | air-script/Cargo.toml |
| crates.io | air-parser | 0.5 | air/Cargo.toml |
| crates.io | air-pass | 0.5 | air/Cargo.toml |
| crates.io | anyhow | — | air/Cargo.toml |
| crates.io | miden-diagnostics | — | air/Cargo.toml |
| crates.io | mir | 0.5 | air/Cargo.toml |
| crates.io | thiserror | — | air/Cargo.toml |
| crates.io | rand | 0.9 | air/Cargo.toml |
| crates.io | winter-math | 0.12 | air/Cargo.toml |
| crates.io | air-ir | 0.5 | miden-vm/Cargo.toml |
| crates.io | air-parser | 0.5 | miden-vm/Cargo.toml |
| crates.io | air-pass | 0.5 | miden-vm/Cargo.toml |
| crates.io | air-mir | 0.5 | miden-vm/Cargo.toml |
| crates.io | air-codegen-ace | 0.5 | miden-vm/Cargo.toml |
| crates.io | miden-diagnostics | 0.1 | miden-vm/Cargo.toml |
| crates.io | miden-core | 0.13 | miden-vm/Cargo.toml |
| crates.io | winter-air | 0.12 | miden-vm/Cargo.toml |
| crates.io | winter-math | 0.12 | miden-vm/Cargo.toml |
| crates.io | winter-utils | 0.12 | miden-vm/Cargo.toml |
| crates.io | winter-prover | 0.12 | miden-vm/Cargo.toml |
| crates.io | winter-verifier | 0.12 | miden-vm/Cargo.toml |
| crates.io | winterfell | 0.12 | miden-vm/Cargo.toml |
| crates.io | air-parser | 0.5 | mir/Cargo.toml |
| crates.io | air-pass | 0.5 | mir/Cargo.toml |
| crates.io | anyhow | — | mir/Cargo.toml |
| crates.io | derive-ir | 0.5 | mir/Cargo.toml |
| crates.io | miden-core | 0.13 | mir/Cargo.toml |
| crates.io | miden-diagnostics | — | mir/Cargo.toml |
| crates.io | ntest | 0.9.5 | mir/Cargo.toml |
| crates.io | pretty_assertions | 1.4 | mir/Cargo.toml |
| crates.io | rand | 0.9 | mir/Cargo.toml |
| crates.io | thiserror | — | mir/Cargo.toml |
| crates.io | winter-math | 0.12 | mir/Cargo.toml |
| crates.io | air-pass | 0.5 | parser/Cargo.toml |
| crates.io | either | 1.12 | parser/Cargo.toml |
| crates.io | lalrpop-util | 0.20 | parser/Cargo.toml |
| crates.io | lazy_static | 1.4 | parser/Cargo.toml |
| crates.io | miden-diagnostics | — | parser/Cargo.toml |
| crates.io | miden-parsing | 0.1 | parser/Cargo.toml |
| crates.io | petgraph | 0.8 | parser/Cargo.toml |
| crates.io | regex | 1 | parser/Cargo.toml |
| crates.io | thiserror | — | parser/Cargo.toml |
All dependencies 39
Full resolved dependency set from the GitHub dependency graph: 28 direct and 11 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
| Registry | Package | Version | Relation |
|---|---|---|---|
| crates.io | air-codegen-ace | — | direct |
| crates.io | air-codegen-winter | — | direct |
| crates.io | air-ir | — | direct |
| crates.io | air-mir | — | direct |
| crates.io | air-parser | — | direct |
| crates.io | air-pass | — | direct |
| crates.io | anyhow | — | direct |
| crates.io | clap | — | direct |
| crates.io | either | — | direct |
| crates.io | env_logger | — | direct |
| crates.io | lalrpop-util | — | direct |
| crates.io | lazy_static | — | direct |
| crates.io | log | — | direct |
| crates.io | miden-core | — | direct |
| crates.io | miden-diagnostics | — | direct |
| crates.io | miden-parsing | — | direct |
| crates.io | ntest | — | direct |
| crates.io | petgraph | — | direct |
| crates.io | pretty_assertions | — | direct |
| crates.io | rand | — | direct |
| crates.io | regex | — | direct |
| crates.io | thiserror | — | direct |
| crates.io | winter-air | — | direct |
| crates.io | winter-math | — | direct |
| crates.io | winter-prover | — | direct |
| crates.io | winter-utils | — | direct |
| crates.io | winter-verifier | — | direct |
| crates.io | winterfell | — | direct |
| crates.io | air-derive-ir | — | indirect |
| crates.io | codegen | — | indirect |
| crates.io | expect-test | — | indirect |
| crates.io | lalrpop | — | indirect |
| crates.io | miden-assembly | — | indirect |
| crates.io | miden-processor | — | indirect |
| crates.io | prettyplease | — | indirect |
| crates.io | proc-macro2 | — | indirect |
| crates.io | quote | — | indirect |
| crates.io | rand_chacha | — | indirect |
| crates.io | syn | — | indirect |
Dependency advisories not assessed
Advisory matching could not run for this report: No resolved dependencies carried a version and a supported ecosystem
Raw JSON report machine-readable
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 v2.5.0, schema v0.27.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — crates.io.