Public recordGood
Software health reportschema 0.9.0 · metrics 1.13.0 · 2026-07-13 20:29 UTC
0xMiden / miden-vm
STARK-based virtual machine
0xMiden/miden-vm holds a health index of 82 out of 100, placing it in the Good band. It scores highest on Vitality (96/100) and lowest on AI Readiness (56/100). It was last updated today. 4 contributors account for most of its recent work.
82
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.
82
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
MidenOrganization
400 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 |
|---|---|---|---|---|---|
| crates.io | miden-air | 0.25.3 | 31,479 | 64 | 0 days ago |
| crates.io | miden-core | 0.25.3 | 33,436 | 65 | 0 days ago |
| crates.io | miden-vm | 0.25.3 | 642 | 60 | 0 days ago |
| crates.io | miden-processor | 0.25.3 | 31,299 | 67 | 0 days ago |
| crates.io | miden-prover | 0.25.3 | 29,038 | 62 | 0 days ago |
| crates.io | miden-verifier | 0.25.3 | 30,724 | 63 | 0 days ago |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
96
Development activity
100Excellent
How it's scored
| 36/36 | Push recency — last push 0 days ago |
| 36/36 | Commit cadence — 52/52 weeks with commits |
| 18/18 | Commit volume — 1,552 commits in the last year |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 22 issue activity found in the last 90 days -- score normalized to 10 |
Inputs used
| commits_last_year | 1,552 |
| human_commit_share | — |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
Release discipline
90Excellent
How it's scored
| 27/27 | Ships releases — 64 releases published |
| 36/36 | Release recency — latest release 0 days ago |
| 27/27 | Release cadence — a release every ~5.3 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Inputs used
| releases_count | 64 |
| latest_release_tag | v0.25.3 |
| releases_from_tags | no |
| days_since_latest_release | 0 |
| mean_days_between_releases | 5.3 |
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
79
Popularity & adoption
75Good
How it's scored
| 46.7/60 | Stars — 757 stars |
| 20.8/25 | Forks — 311 forks |
| 7.5/15 | Watchers — 23 watchers |
Inputs used
| forks | 311 |
| stars | 757 |
| watchers | 23 |
| 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 (Apache-2.0) |
| 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 |
| has_contributing | yes |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | yes |
Ecosystem adoption (downloads)
87Excellent
How it's scored
| 69.3/80 | Monthly downloads — 156,618 downloads/month across crates |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | miden-air, miden-core, miden-vm, miden-processor, miden-prover, miden-verifier |
| dependents | — |
| ecosystems | crates |
| total_downloads | 1,936,782 |
| monthly_downloads | 156,618 |
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?
82
How it's scored
| 43.2/54 | Bus factor — 4 contributor(s) cover half of all commits |
| 16.8/22.5 | Commit distribution — top contributor authored 26% of commits |
| 13.5/13.5 | Contributor breadth — 100 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 31 contributing companies or organizations |
Inputs used
| bus_factor | 4 |
| contributors_sampled | 100 |
| top_contributor_share | 0.255 |
Issue & PR responsiveness
85Excellent
How it's scored
| 41.7/46.8 | Issue resolution — 89% of issues closed |
| 30.1/38.3 | PR acceptance — 1,692/2,153 decided PRs merged |
| 13.5/15 | OpenSSF Scorecard: Code-Review — Found 17/18 approved changesets -- score normalized to 9 |
Inputs used
| merged_prs | 1,692 |
| open_issues | 123 |
| closed_issues | 1,009 |
| issue_closed_ratio | 0.891 |
| closed_unmerged_prs | 461 |
Ownership & stewardship
64Moderate
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 18.7/25 | Owner reach — 400 followers of 0xMiden |
| 15.8/25 | Track record — 52 public repos, account ~1 yr old |
Inputs used
| followers | 400 |
| owner_type | Organization |
| is_verified | — |
| owner_login | 0xMiden |
| public_repos | 52 |
| account_age_days | 584 |
Package maintenance
100Excellent
How it's scored
| 25/25 | Published & resolvable — 6 package(s) on crates |
| 35/35 | Publish recency — latest publish 0 days ago |
| 20/20 | Version history — 67 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | miden-air, miden-core, miden-vm, miden-processor, miden-prover, miden-verifier |
| ecosystems | crates |
| any_deprecated | no |
| min_days_since_publish | 0 |
Engineering Quality
Are baseline engineering and documentation practices in place?
77
Engineering practices
68Moderate
How it's scored
| 24/24 | CI workflows — 18 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 — 18 out of 18 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
90Excellent
How it's scored
| 30/30 | README |
| 25/25 | Documentation directory |
| 15/15 | Documentation / homepage site — https://0xmiden.github.io/miden-vm/ |
| 10/10 | Repository description |
| 10/10 | Topics — 4 topics |
| 0/10 | Wiki |
Inputs used
| topics | cryptography, stark, virtual-machine, zero-knowledge |
| has_wiki | no |
| homepage | https://0xmiden.github.io/miden-vm/ |
| 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?
71
Security posture
71Good
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 18 out of 18 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 |
| 6.8/7.5 | Code-Review — Found 17/18 approved changesets -- score normalized to 9 |
| 2.5/2.5 | Contributors — project has 31 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 2.5/2.5 | License — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 22 issue activity found in the last 90 days -- score normalized to 10 |
| 0/5 | Packaging — no data |
| 5/5 | Pinned-Dependencies — all dependencies are pinned |
| 3.5/5 | SAST — SAST tool is not run on all commits -- score normalized to 7 |
| 5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 6.8/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 6/7.5 | Vulnerabilities — 2 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 7.1 |
Excluded from scoring (no data or not applicable): packaging. 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.
56
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)
87Excellent
How it's scored
| 18/18 | One-command bootstrap — Makefile |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — docs/tsconfig.json |
| 10/10 | Reproducible environment — lockfile |
| 0/10 | Demonstrated agent practice — no data |
| 0/8 | Automated maintenance — no data |
| 10/10 | OpenSSF Scorecard: Pinned-Dependencies — all dependencies are pinned |
Inputs used
| has_nix | no |
| has_tests | yes |
| lockfiles | Cargo.lock, package-lock.json |
| has_dockerfile | no |
| typed_language | yes |
| bootstrap_files | Makefile |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | docs/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.
Code legibility for models
99Excellent
How it's scored
| 45/45 | Type-checkable code — Rust (statically typed) |
| 53.8/55 | Manageable file sizes — 14/619 source files over 60KB |
Inputs used
| primary_language | Rust |
| largest_source_bytes | 210,778 |
| source_files_sampled | 619 |
| oversized_source_files | 14 |
Machine-readable interfaces
40At risk
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
757GitHub stars
100contributors
1,552commits, last 12 months
0days since last push
64releases
4bus factor
123open issues
crates.io, npmpackage ecosystems
Data collection warnings
- Could not fetch crates package 'miden-core-fuzz' from its registry
More detail
OpenSSF Scorecard 7.1 / 10
7.1aggregate
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 |
| 1 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 18 out of 18 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 |
| 9 | Code-Review | Found 17/18 approved changesets -- score normalized to 9 |
| 10 | Contributors | project has 31 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 22 issue activity found in the last 90 days -- score normalized to 10 |
| n/a | Packaging | packaging workflow not detected |
| 10 | Pinned-Dependencies | all dependencies are pinned |
| 7 | SAST | SAST tool is not run on all commits -- score normalized to 7 |
| 10 | Security-Policy | security policy file detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 9 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 8 | Vulnerabilities | 2 existing vulnerabilities detected |
Direct dependencies 79
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| crates.io | miden-ace-codegen | — | air/Cargo.toml |
| crates.io | miden-core | — | air/Cargo.toml |
| crates.io | miden-crypto | — | air/Cargo.toml |
| crates.io | miden-utils-indexing | — | air/Cargo.toml |
| crates.io | proptest | — | air/Cargo.toml |
| crates.io | thiserror | — | air/Cargo.toml |
| crates.io | tracing | — | air/Cargo.toml |
| crates.io | miden-crypto | — | core/Cargo.toml |
| crates.io | miden-debug-types | — | core/Cargo.toml |
| crates.io | miden-formatting | — | core/Cargo.toml |
| crates.io | miden-utils-core-derive | — | core/Cargo.toml |
| crates.io | miden-utils-indexing | — | core/Cargo.toml |
| crates.io | miden-utils-sync | — | core/Cargo.toml |
| crates.io | derive_more | — | core/Cargo.toml |
| crates.io | log | — | core/Cargo.toml |
| crates.io | proptest | — | core/Cargo.toml |
| crates.io | serde | — | core/Cargo.toml |
| crates.io | thiserror | — | core/Cargo.toml |
| npm | @docusaurus/core | 3.10.1 | docs/package.json |
| npm | @docusaurus/preset-classic | 3.10.1 | docs/package.json |
| npm | @docusaurus/theme-mermaid | 3.10.1 | docs/package.json |
| npm | @mdx-js/react | ^3.1.1 | docs/package.json |
| npm | @mermaid-js/layout-elk | 0.1.9 | docs/package.json |
| npm | katex | ^0.16.22 | docs/package.json |
| npm | react | ^19.1.1 | docs/package.json |
| npm | react-dom | ^19.1.1 | docs/package.json |
| npm | rehype-katex | ^7 | docs/package.json |
| npm | remark-math | ^6 | docs/package.json |
| crates.io | libfuzzer-sys | 0.4 | miden-core-fuzz/Cargo.toml |
| crates.io | serde_json | 1.0 | miden-core-fuzz/Cargo.toml |
| crates.io | miden-core | — | miden-core-fuzz/Cargo.toml |
| crates.io | miden-assembly-syntax | — | miden-core-fuzz/Cargo.toml |
| crates.io | miden-assembly | — | miden-core-fuzz/Cargo.toml |
| crates.io | miden-mast-package | — | miden-core-fuzz/Cargo.toml |
| crates.io | miden-package-registry | — | miden-core-fuzz/Cargo.toml |
| crates.io | miden-project | — | miden-core-fuzz/Cargo.toml |
| crates.io | toml | 1.0 | miden-core-fuzz/Cargo.toml |
| crates.io | miden-assembly | — | miden-vm/Cargo.toml |
| crates.io | miden-core | — | miden-vm/Cargo.toml |
| crates.io | miden-processor | — | miden-vm/Cargo.toml |
| crates.io | miden-prover | — | miden-vm/Cargo.toml |
| crates.io | miden-mast-package | — | miden-vm/Cargo.toml |
| crates.io | miden-core-lib | — | miden-vm/Cargo.toml |
| crates.io | miden-verifier | — | miden-vm/Cargo.toml |
| crates.io | clap | — | miden-vm/Cargo.toml |
| crates.io | hex | 0.4 | miden-vm/Cargo.toml |
| crates.io | serde | — | miden-vm/Cargo.toml |
| crates.io | serde_json | — | miden-vm/Cargo.toml |
| crates.io | proptest | — | miden-vm/Cargo.toml |
| crates.io | tracing | — | miden-vm/Cargo.toml |
| crates.io | tracing-subscriber | — | miden-vm/Cargo.toml |
| crates.io | tracing-forest | 0.2 | miden-vm/Cargo.toml |
| crates.io | miden-air | — | processor/Cargo.toml |
| crates.io | miden-core | — | processor/Cargo.toml |
| crates.io | miden-debug-types | — | processor/Cargo.toml |
| crates.io | miden-mast-package | — | processor/Cargo.toml |
| crates.io | miden-utils-diagnostics | — | processor/Cargo.toml |
| crates.io | miden-utils-indexing | — | processor/Cargo.toml |
| crates.io | itertools | — | processor/Cargo.toml |
| crates.io | paste | — | processor/Cargo.toml |
| crates.io | rayon | 1.10 | processor/Cargo.toml |
| crates.io | tracing | — | processor/Cargo.toml |
| crates.io | thiserror | — | processor/Cargo.toml |
| crates.io | miden-air | — | prover/Cargo.toml |
| crates.io | miden-core | — | prover/Cargo.toml |
| crates.io | miden-processor | — | prover/Cargo.toml |
| crates.io | miden-crypto | — | prover/Cargo.toml |
| crates.io | serde | — | prover/Cargo.toml |
| crates.io | serde-wincode | — | prover/Cargo.toml |
| crates.io | tracing | — | prover/Cargo.toml |
| crates.io | wincode | — | prover/Cargo.toml |
| crates.io | miden-air | — | verifier/Cargo.toml |
| crates.io | miden-core | — | verifier/Cargo.toml |
| crates.io | miden-crypto | — | verifier/Cargo.toml |
| crates.io | serde | — | verifier/Cargo.toml |
| crates.io | serde-wincode | — | verifier/Cargo.toml |
| crates.io | thiserror | — | verifier/Cargo.toml |
| crates.io | tracing | — | verifier/Cargo.toml |
| crates.io | wincode | — | verifier/Cargo.toml |
Raw JSON report machine-readable
{
"data": {
"repo": {
"topics": [
"cryptography",
"stark",
"virtual-machine",
"zero-knowledge"
],
"is_fork": false,
"size_kb": 158449,
"has_wiki": false,
"homepage": "https://0xmiden.github.io/miden-vm/",
"languages": {
"Rust": 7716338,
"Shell": 13432,
"Python": 22073,
"Makefile": 16660
},
"pushed_at": "2026-07-13T15:57:29Z",
"created_at": "2021-09-10T05:08:56Z",
"owner_type": "Organization",
"updated_at": "2026-07-13T14:19:05Z",
"description": "STARK-based virtual machine",
"is_archived": false,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "next",
"primary_language": "Rust"
},
"owner": {
"blog": "https://miden.xyz",
"name": "Miden",
"type": "Organization",
"login": "0xMiden",
"company": null,
"followers": 400,
"avatar_url": "https://avatars.githubusercontent.com/u/190780847?v=4",
"created_at": "2024-12-05T21:16:22Z",
"is_verified": null,
"public_repos": 52,
"account_age_days": 584
},
"activity": {
"releases_count": 64,
"commits_last_year": 1552,
"latest_release_at": "2026-07-12T22:58:48Z",
"latest_release_tag": "v0.25.3",
"days_since_last_push": 0,
"active_weeks_last_year": 52,
"days_since_latest_release": 0,
"mean_days_between_releases": 5.3
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 75,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"ecosystem": {
"packages": [
{
"name": "miden-air",
"exists": true,
"license": "MIT OR Apache-2.0",
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/miden-air",
"is_deprecated": false,
"latest_version": "0.25.3",
"repository_url": "https://github.com/0xMiden/miden-vm",
"versions_count": 64,
"total_downloads": 378708,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 31479,
"first_published_at": "2021-11-16T07:46:30.311477Z",
"latest_published_at": "2026-07-12T22:57:57.762708Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
},
{
"name": "miden-core",
"exists": true,
"license": "MIT OR Apache-2.0",
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/miden-core",
"is_deprecated": false,
"latest_version": "0.25.3",
"repository_url": "https://github.com/0xMiden/miden-vm",
"versions_count": 65,
"total_downloads": 424176,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 33436,
"first_published_at": "2021-11-16T07:39:23.091588Z",
"latest_published_at": "2026-07-12T22:57:51.959492Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
},
{
"name": "miden-vm",
"exists": true,
"license": "MIT OR Apache-2.0",
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/miden-vm",
"is_deprecated": false,
"latest_version": "0.25.3",
"repository_url": "https://github.com/0xMiden/miden-vm",
"versions_count": 60,
"total_downloads": 30874,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 642,
"first_published_at": "2023-02-28T01:02:31.159987Z",
"latest_published_at": "2026-07-12T22:58:24.394081Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
},
{
"name": "miden-processor",
"exists": true,
"license": "MIT OR Apache-2.0",
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/miden-processor",
"is_deprecated": false,
"latest_version": "0.25.3",
"repository_url": "https://github.com/0xMiden/miden-vm",
"versions_count": 67,
"total_downloads": 380352,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 31299,
"first_published_at": "2021-11-16T07:45:54.522169Z",
"latest_published_at": "2026-07-12T22:58:15.156123Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
},
{
"name": "miden-prover",
"exists": true,
"license": "MIT OR Apache-2.0",
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/miden-prover",
"is_deprecated": false,
"latest_version": "0.25.3",
"repository_url": "https://github.com/0xMiden/miden-vm",
"versions_count": 62,
"total_downloads": 353028,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 29038,
"first_published_at": "2022-08-08T22:36:17.079631Z",
"latest_published_at": "2026-07-12T22:58:18.349627Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
},
{
"name": "miden-verifier",
"exists": true,
"license": "MIT OR Apache-2.0",
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/miden-verifier",
"is_deprecated": false,
"latest_version": "0.25.3",
"repository_url": "https://github.com/0xMiden/miden-vm",
"versions_count": 63,
"total_downloads": 369644,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 30724,
"first_published_at": "2021-11-16T07:47:28.100808Z",
"latest_published_at": "2026-07-12T22:58:02.986239Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
}
]
},
"popularity": {
"forks": 311,
"stars": 757,
"watchers": 23,
"open_issues_and_prs": 149
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"docs/tsconfig.json"
],
"largest_source_bytes": 210778,
"source_files_sampled": 619,
"oversized_source_files": 14,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"Cargo.toml",
"air/Cargo.toml",
"core/Cargo.toml",
"docs/package.json",
"miden-core-fuzz/Cargo.toml",
"miden-vm/Cargo.toml",
"processor/Cargo.toml",
"prover/Cargo.toml",
"verifier/Cargo.toml"
],
"ecosystems": [
"crates",
"npm"
],
"dependencies": [
{
"name": "miden-ace-codegen",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-core",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-crypto",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-utils-indexing",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "proptest",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "air/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-crypto",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-debug-types",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-formatting",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-utils-core-derive",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-utils-indexing",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-utils-sync",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "derive_more",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "log",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "proptest",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "@docusaurus/core",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "3.10.1"
},
{
"name": "@docusaurus/preset-classic",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "3.10.1"
},
{
"name": "@docusaurus/theme-mermaid",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "3.10.1"
},
{
"name": "@mdx-js/react",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "^3.1.1"
},
{
"name": "@mermaid-js/layout-elk",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "0.1.9"
},
{
"name": "katex",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "^0.16.22"
},
{
"name": "react",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "^19.1.1"
},
{
"name": "react-dom",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "^19.1.1"
},
{
"name": "rehype-katex",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "^7"
},
{
"name": "remark-math",
"manifest": "docs/package.json",
"ecosystem": "npm",
"version_constraint": "^6"
},
{
"name": "libfuzzer-sys",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4"
},
{
"name": "serde_json",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.0"
},
{
"name": "miden-core",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-assembly-syntax",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-assembly",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-mast-package",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-package-registry",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-project",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "toml",
"manifest": "miden-core-fuzz/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.0"
},
{
"name": "miden-assembly",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-core",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-processor",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-prover",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-mast-package",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-core-lib",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-verifier",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "clap",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "hex",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.4"
},
{
"name": "serde",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde_json",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "proptest",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing-subscriber",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing-forest",
"manifest": "miden-vm/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.2"
},
{
"name": "miden-air",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-core",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-debug-types",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-mast-package",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-utils-diagnostics",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-utils-indexing",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "itertools",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "paste",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "rayon",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.10"
},
{
"name": "tracing",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "processor/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-air",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-core",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-processor",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-crypto",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde-wincode",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "wincode",
"manifest": "prover/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-air",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-core",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "miden-crypto",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "serde-wincode",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "thiserror",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tracing",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "wincode",
"manifest": "verifier/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
}
]
},
"maintainership": {
"issues": {
"open_prs": 26,
"merged_prs": 1692,
"open_issues": 123,
"closed_ratio": 0.891,
"closed_issues": 1009,
"closed_unmerged_prs": 461
},
"bus_factor": 4,
"top_contributors": [
{
"type": "User",
"login": "bobbinth",
"commits": 1137,
"avatar_url": "https://avatars.githubusercontent.com/u/43513081?u=f918065d9aa52ba66c844f66fb77db4f8d187453&v=4"
},
{
"type": "User",
"login": "bitwalker",
"commits": 438,
"avatar_url": "https://avatars.githubusercontent.com/u/955793?u=31abed29716140c358f31406e57a1aa20cf54e19&v=4"
},
{
"type": "User",
"login": "plafer",
"commits": 423,
"avatar_url": "https://avatars.githubusercontent.com/u/5769562?u=45c6af718a6c1a35ebe96720bcdbeb87afc39637&v=4"
},
{
"type": "User",
"login": "grjte",
"commits": 334,
"avatar_url": "https://avatars.githubusercontent.com/u/91497953?u=f061ef8285b087dbc74ba3d8a9b1543cc626bef5&v=4"
},
{
"type": "User",
"login": "huitseeker",
"commits": 307,
"avatar_url": "https://avatars.githubusercontent.com/u/4142?v=4"
},
{
"type": "User",
"login": "adr1anh",
"commits": 267,
"avatar_url": "https://avatars.githubusercontent.com/u/304966?u=6f1309829585fdc001fd03f531fc3ac8cf7b320a&v=4"
},
{
"type": "User",
"login": "itzmeanjan",
"commits": 256,
"avatar_url": "https://avatars.githubusercontent.com/u/45074836?u=522ac89c9312994276e68695efcd2be29fa2eb7d&v=4"
},
{
"type": "User",
"login": "Al-Kindi-0",
"commits": 195,
"avatar_url": "https://avatars.githubusercontent.com/u/82364884?v=4"
},
{
"type": "User",
"login": "Fumuran",
"commits": 172,
"avatar_url": "https://avatars.githubusercontent.com/u/43154072?u=62de82e4b92193d16e8c84d8902dc3dd76634f49&v=4"
},
{
"type": "User",
"login": "hackaugusto",
"commits": 141,
"avatar_url": "https://avatars.githubusercontent.com/u/310139?u=2249e024f23f2e21efa91d96f91c60bf2aba5423&v=4"
}
],
"contributors_sampled": 100,
"top_contributor_share": 0.255
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"bench.yml",
"blake3-nonregression.yml",
"build-docs.yml",
"build.yml",
"changelog.yml",
"codspeed.yml",
"contribution-quality.yml",
"docs.yml",
"fuzz.yml",
"link-checker.yml",
"lint.yml",
"signed-commits.yml",
"synthetic-tx-nonregression.yml",
"test.yml",
"trigger-deploy-docs.yml",
"workspace-dry-run.yml",
"workspace-publish.yml",
"zizmor.yml"
],
"has_docs_dir": true,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"Cargo.lock",
"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": 1,
"reason": "branch protection is not maximal on development and all release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "18 out of 18 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": 9,
"reason": "Found 17/18 approved changesets -- score normalized to 9",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 31 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": 10,
"reason": "project is 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": "30 commit(s) and 22 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": 10,
"reason": "all dependencies are pinned",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 7,
"reason": "SAST tool is not run on all commits -- score normalized to 7",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 10,
"reason": "security policy file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": 0,
"reason": "Project has not signed or included provenance with any releases.",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 9,
"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": 8,
"reason": "2 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "cb51e716eba108db5853ba4714ba2c7792185fc0",
"ran_at": "2026-07-13T20:28:57Z",
"aggregate_score": 7.1,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": true,
"has_dependabot_config": false
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/0xMiden/miden-vm",
"host": "github.com",
"name": "miden-vm",
"owner": "0xMiden"
},
"metrics": {
"overall": {
"key": "overall",
"band": "good",
"name": "Overall health",
"note": null,
"notes": [],
"value": 82,
"inputs": {
"security": 71,
"vitality": 96,
"community": 79,
"governance": 82,
"engineering": 77
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "excellent",
"name": "Vitality",
"value": 96,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "excellent",
"name": "Development activity",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"commits_last_year": 1552,
"human_commit_share": null,
"days_since_last_push": 0,
"active_weeks_last_year": 52
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "52/52 weeks with commits",
"points": 36,
"status": "met",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 52
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "1552 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 1552
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 22 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"releases_count": 64,
"latest_release_tag": "v0.25.3",
"releases_from_tags": false,
"days_since_latest_release": 0,
"mean_days_between_releases": 5.3
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "64 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 64
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~5.3 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 5.3
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "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": "good",
"name": "Community & Adoption",
"value": 79,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "good",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"forks": 311,
"stars": 757,
"watchers": 23,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "757 stars",
"points": 46.7,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 757
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "311 forks",
"points": 20.8,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 311
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "23 watchers",
"points": 7.5,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 23
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "good",
"name": "Community health",
"note": null,
"notes": [],
"value": 77,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"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": 18,
"status": "met",
"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": 6.3,
"status": "met",
"details": [],
"max_points": 6.3
}
]
},
{
"key": "ecosystem_adoption",
"band": "excellent",
"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": 87,
"inputs": {
"packages": [
"miden-air",
"miden-core",
"miden-vm",
"miden-processor",
"miden-prover",
"miden-verifier"
],
"dependents": null,
"ecosystems": "crates",
"total_downloads": 1936782,
"monthly_downloads": 156618
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "156,618 downloads/month across crates",
"points": 69.3,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 156618,
"ecosystems": "crates"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "good",
"name": "Sustainability & Governance",
"value": 82,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "good",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 84,
"inputs": {
"bus_factor": 4,
"contributors_sampled": 100,
"top_contributor_share": 0.255
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "4 contributor(s) cover half of all commits",
"points": 43.2,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 4
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 26% of commits",
"points": 16.8,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 26
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "100 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 100
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 31 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 85,
"inputs": {
"merged_prs": 1692,
"open_issues": 123,
"closed_issues": 1009,
"issue_closed_ratio": 0.891,
"closed_unmerged_prs": 461
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "89% of issues closed",
"points": 41.7,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 89
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "1692/2153 decided PRs merged",
"points": 30.1,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 1692,
"decided": 2153
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 17/18 approved changesets -- score normalized to 9",
"points": 13.5,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 64,
"inputs": {
"followers": 400,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "0xMiden",
"public_repos": 52,
"account_age_days": 584
},
"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": "400 followers of 0xMiden",
"points": 18.7,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 400,
"login": "0xMiden"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "52 public repos, account ~1 yr old",
"points": 15.8,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 52
}
},
{
"code": "account_age_years",
"params": {
"years": 1
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"miden-air",
"miden-core",
"miden-vm",
"miden-processor",
"miden-prover",
"miden-verifier"
],
"ecosystems": "crates",
"any_deprecated": false,
"min_days_since_publish": 0
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "6 package(s) on crates",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 6,
"ecosystems": "crates"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 0 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 0
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "67 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 67
}
}
],
"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": 77,
"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": "18 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 18
}
}
],
"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": "18 out of 18 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": 90,
"inputs": {
"topics": [
"cryptography",
"stark",
"virtual-machine",
"zero-knowledge"
],
"has_wiki": false,
"homepage": "https://0xmiden.github.io/miden-vm/",
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://0xmiden.github.io/miden-vm/",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "4 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 4
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "good",
"name": "Security",
"value": 71,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "good",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Packaging. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"packaging"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 71,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 7.1
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection is not maximal on development and all release branches",
"points": 0.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "18 out of 18 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 17/18 approved changesets -- score normalized to 9",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 31 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 fuzzed",
"points": 5,
"status": "met",
"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": "30 commit(s) and 22 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": "all dependencies are pinned",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 7",
"points": 3.5,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "2 existing vulnerabilities detected",
"points": 6,
"status": "partial",
"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": "moderate",
"name": "AI Readiness",
"value": 56,
"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": "excellent",
"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": 87,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"Cargo.lock",
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"Makefile"
],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"docs/tsconfig.json"
],
"agent_commit_share": null,
"toolchain_manifests": [],
"dependency_bot_commit_share": null
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile"
}
}
],
"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": "docs/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "docs/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": "all dependencies are pinned",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 99,
"inputs": {
"primary_language": "Rust",
"largest_source_bytes": 210778,
"source_files_sampled": 619,
"oversized_source_files": 14
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rust (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "14/619 source files over 60KB",
"points": 53.8,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 619,
"oversized": 14
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "at_risk",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"examples"
],
"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": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"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": [
"Could not fetch crates package 'miden-core-fuzz' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-13T20:29:27.986742Z",
"schema_version": "0.9.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/0/0xMiden/miden-vm.svg",
"full_name": "0xMiden/miden-vm",
"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.9.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — crates.io.