{"id":"prover","name":"prover","af_score":56.0,"security_score":56.5,"reliability_score":47.5,"what_it_does":"Lean 4 MCP server: compile and prove theorems with Mathlib.","best_when":null,"avoid_when":null,"last_evaluated":"2026-03-21T22:17:49.735126+00:00","has_mcp":true,"has_api":true,"auth_methods":["oauth2"],"has_free_tier":false,"known_gotchas":[],"error_quality":null}