{"adoption": {"forks": 82, "observed_at": "2026-08-28T04:03:13.164677+00:00", "stars": 1011}, "canonical_url": "https://ross.abutalabs.com/products/facebookexperimental-mirai", "card": {"archived": true, "artifact_type": "cli-tool", "description": "Rust mid-level IR Abstract Interpreter", "domain": ["developer-tools", "security", "programming-languages"], "enriched": true, "function": ["linter", "security", "testing"], "health_score": 10, "homepage": null, "language": "Rust", "license": "MIT", "license_family": "permissive", "maturity": "maintenance", "member_repos": ["facebookexperimental/MIRAI"], "name": "facebookexperimental/MIRAI", "platform": ["rust", "cli", "windows"], "pushed_at": "2024-08-22T01:00:21+00:00", "repo": "facebookexperimental/MIRAI", "stars": 1011, "tags": ["rust", "abstract-interpretation", "mir", "static-analysis", "bug-finding", "orphaned", "linux", "macos"], "topics": [], "urls": [], "use_cases": ["statically analyze Rust code for bugs before runtime", "detect potential panics and undefined behavior in Rust programs", "verify safety properties of Rust functions via abstract interpretation", "integrate formal static checks into Rust CI pipelines", "find unreachable code and suspicious patterns in MIR"], "what_it_is": "MIRAI is an abstract interpreter for Rust's mid-level intermediate representation (MIR) that performs static analysis to detect potential bugs and vulnerabilities in Rust code. Originally a Facebook project, it is now orphaned with ongoing maintenance happening at a fork (endorlabs/MIRAI).", "when_to_avoid": ["you need actively maintained tooling - prefer the endorlabs/MIRAI fork or alternatives like Prusti or Miri", "you need dynamic testing or fuzzing rather than static analysis", "you analyze languages other than Rust"], "when_to_choose": ["you want abstract-interpretation-based static analysis for Rust source code", "you need to catch runtime panics and contract violations at compile time", "you are researching Rust MIR-level program analysis"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/facebookexperimental-mirai", "repo": "facebookexperimental/MIRAI", "role": "main", "score": 10}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "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:03:13.164677+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:13.164677+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:11:50.487450+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f255ed16065d6cc206efa3498e0e6b2929b0507fdbdabcd3f7429579c04f6d5d", "fetched_at": "2026-08-28T04:03:13.164677+00:00", "kind": "readme", "missing": false, "url": "https://github.com/facebookexperimental/MIRAI"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["archived"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2857, "days_push": 742, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 10, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}