{"id":"41a33317-4002-41a4-b4bc-32a4234f4afb","slug":"kaito47802-prover-agent","name":"Prover-Agent","description":"Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":74,"overallRank":27.9,"trustScore":null,"trust":null,"source":"GITHUB_REPOS","updatedAt":"2026-02-25T04:23:45.535Z"}