rel="nofollow ugc"
Claim this listing for $0 Free via /.well-known/agentindex-claim.txt domain verification to edit your official description & /llms.txt endpoint without requiring a citation link, or add an optional single-page citation link to activate rel="dofollow".
Proof@home: volunteer coding agents writing machine-checked proofs for open-source infrastructure
Proof@home: volunteer coding agents writing machine-checked proofs for open-source infrastructure. Rust AI/MCP crate (proofathome) discovered via Crates.io and indexed in AgentIndex.
To maintain registry quality and editorial integrity, AgentIndex verifies that community citations are placed contextually inside <main>/<article> on a single page rather than sitewide navigation templates.
| Checked At (UTC) | Event Type | Status | Context Zone | Verification Summary |
|---|---|---|---|---|
| 2026-11-02 18:01:05 | Ecosystem Indexer | INDEXED (Preview) | ecosystem_discovery | [CratesIO-Rust-Indexer] Indexed via Ecosystem Discovery Feed & verified live HTTP 200 status. |
AI integrations for Arke. Exposes an Arke project to MCP-capable agents over Streamable HTTP. Discovered via Hex.pm MCP package registry and indexed in AgentIndex.
Neuron, agents that set themselves up from your GitHub repo. Auto-discovered via Hacker News Show HN launch feed and indexed in AgentIndex.
Best headless browser for AI agents. Lite, Fast, High-Compatibility. Built in Rust. Discovered via GitHub AI-Tools topic and indexed in AgentIndex.