{"id":"46a58fa7-de1b-4083-aec5-2a705b14799f","slug":"curated-flyingnobita-acorn-prover","name":"acorn-prover","description":"Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization.","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":89,"overallRank":65,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-04-15T00:45:39.800Z"}