{"adoption": {"forks": 518, "observed_at": "2026-08-28T04:09:44.996474+00:00", "stars": 6535}, "canonical_url": "https://ross.abutalabs.com/products/miri", "card": {"archived": false, "artifact_type": "cli-tool", "description": "An interpreter for Rust's mid-level intermediate representation", "domain": ["programming-languages", "developer-tools", "testing"], "enriched": true, "function": ["interpreter", "testing", "security"], "health_score": 80, "homepage": null, "language": "Rust", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["rust-lang/miri"], "name": "rust-lang/miri", "platform": ["rust", "cli", "windows"], "pushed_at": "2026-08-26T06:48:37+00:00", "repo": "rust-lang/miri", "stars": 6535, "tags": ["undefined-behavior-detection", "unsafe-rust", "memory-safety", "mir-interpretation", "cargo-integration", "linux", "macos"], "topics": [], "urls": [], "use_cases": ["detect undefined behavior in unsafe rust code", "find use-after-free and out-of-bounds memory bugs", "check for data races in rust programs", "verify memory alignment and type invariants", "detect memory leaks in rust test suites", "test code on big-endian and little-endian targets", "validate stacked borrows aliasing rules"], "what_it_is": "Miri is an interpreter for Rust's mid-level intermediate representation (MIR) that detects undefined behavior in Rust programs. It runs binaries and cargo test suites to catch unsafe code violations such as use-after-free, out-of-bounds accesses, data races, and aliasing rule violations.", "when_to_avoid": ["you need a security sandbox - Miri's isolation is not a proper sandbox", "you need to generate cryptographic keys - fake RNG makes it unsuitable", "you expect full Rust specification compliance - Miri uses its own UB approximation", "you need to run programs with heavy host system interaction or FFI"], "when_to_choose": ["you write or maintain unsafe Rust code and want to catch UB", "you want to run your cargo test suite under an interpreter to detect memory errors", "you need deterministic execution for debugging", "you want to cross-check byte-level code on different endianness targets"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/miri", "repo": "rust-lang/miri", "role": "main", "score": 77}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:09:44.996474+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T17:44:07.570355+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69a97d4031195966ddd277743972cd7dd438e6090aee3a9b29fa9d18c28b3b4d", "fetched_at": "2026-08-28T04:09:44.996474+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/miri"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3947, "days_push": 7, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 77, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}