{"adoption": {"forks": 44, "observed_at": "2026-09-03T02:15:12.054467+00:00", "stars": 1161}, "canonical_url": "https://ross.abutalabs.com/products/rocq-of-rust", "card": {"archived": false, "artifact_type": "cli-tool", "description": "Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.", "domain": ["security", "programming-languages", "blockchain", "developer-tools"], "enriched": true, "function": ["compiler", "security", "testing", "developer-tools"], "health_score": 80, "homepage": "https://formal.land/docs/tools/rocq-of-rust/introduction", "language": "Rocq Prover", "license": null, "license_family": "other", "maturity": "active", "member_repos": ["formal-land/rocq-of-rust"], "name": "formal-land/rocq-of-rust", "platform": ["rust", "cli"], "pushed_at": "2026-09-02T11:45:03+00:00", "repo": "formal-land/rocq-of-rust", "stars": 1161, "tags": ["formal-verification", "theorem-proving", "rocq", "coq", "rust-analysis", "proof-assistant", "thir", "smart-contracts", "evm", "algorithms", "linux", "macos"], "topics": ["formal-verification", "rust", "proof", "rocq"], "urls": [], "use_cases": ["formally verify a Rust program for all possible inputs", "prove absence of panics and security vulnerabilities in Rust code", "translate Rust code to Rocq for interactive theorem proving", "verify a Rust implementation of the Ethereum virtual machine", "reusable machine-checked proofs that re-run as code evolves", "audit critical Rust libraries beyond what testing can cover"], "what_it_is": "rocq-of-rust is a formal verification tool that translates Rust programs (from the compiler's THIR representation) into the Rocq proof assistant so that correctness and security properties can be mathematically proven for all inputs. It is developed by Formal Land, funded by the Ethereum Foundation and Aleph Zero Foundation, and is a work in progress.", "when_to_avoid": ["you just want quick bug-finding with fuzzing or static analysis rather than full proofs", "your codebase is large and you cannot invest in writing specifications and Rocq proofs", "you need a fully automated, turnkey verification tool - the tool is a work in progress and requires manual linking and simulation steps"], "when_to_choose": ["you need mathematical guarantees for critical Rust code, such as blockchain infrastructure or security-sensitive libraries", "you want proofs that can be replayed and maintained as the codebase changes", "you are verifying Rust implementations of virtual machines or cryptographic primitives"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/rocq-of-rust", "repo": "formal-land/rocq-of-rust", "role": "main", "score": 76}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-09-03T02:15:12.054467+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:31:53.759476+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "24da49fbf9de02947a7c20a5b1450a145b4e1158f90474aae84cf1d2c85d065d", "fetched_at": "2026-09-03T02:15:12.054467+00:00", "kind": "readme", "missing": false, "url": "https://github.com/formal-land/rocq-of-rust"}, {"content_hash": "1da88839e1d37e9c74f92938be6eb4a1017109bd6da6bf3f89753585fab57269", "fetched_at": "2026-08-29T12:36:36.443258+00:00", "kind": "homepage", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/introduction"}, {"content_hash": "e51886c83c3c74d5ef2813757a49a470171278b01774a0a1d21764f9d63b85b8", "fetched_at": "2026-08-29T12:36:36.445951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/audit"}, {"content_hash": "eddc5d879e86fe88e31f68939466f13f619078824a2e8d8fa9ac12517a9f1d4f", "fetched_at": "2026-08-29T12:36:36.447735+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools"}, {"content_hash": "5e6a1b65c152aeb5e7297e4727665f29450cef02f59b75bc073f38ccecec4b91", "fetched_at": "2026-08-29T12:36:36.449398+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/company/about"}, {"content_hash": "52ba998f59047dbfd26b481d7d5b98402170eb56e87ce923a8d365496d7dd351", "fetched_at": "2026-08-29T12:36:36.451324+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/learn/start"}, {"content_hash": "bd0caa8114e4264dbc6fc6fb2113820d4a7b9988958f2110835d59e3be6bc093", "fetched_at": "2026-08-29T12:36:36.453159+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/revm-project"}, {"content_hash": "f8d6c7efd3ddc39177be5c5672ef47de99fd8024b40797380972fb8adc5b86c1", "fetched_at": "2026-08-29T12:36:36.454901+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-rust/links"}, {"content_hash": "7182c10465b1b2986bca1a491b73c3f9c2460b88241ed90e9acece7a0a567dd1", "fetched_at": "2026-08-29T12:36:36.456951+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/rocq-of-solidity/introduction"}, {"content_hash": "19c818fa715e2be9ad348cc8d1d6fbf3e1cbbbf45a2bd232d564b906d8423e8d", "fetched_at": "2026-08-29T12:36:36.458784+00:00", "kind": "site_page", "missing": false, "url": "https://formal.land/docs/tools/garden/introduction"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 100, "longevity": 96, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 1344, "days_push": 0, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 76, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 3, "stale_scrape": false}}