com.axiomatic-ai/prover
Quality Score
77
/100
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
§01 Install
Remote endpoint
Streamable HTTP / SSE endpoint. Add to any MCP client that supports remote servers.
https://prover.axiomatic-ai.com/mcp/§03 MCP Quality Score · methodology
freshness
22
completeness
10
installability
25
documentation
15
stability
5
§04 Alternatives in Other
agency.lona/trading
agency.lona/trading
AI-powered trading strategy development: backtesting, market data, and portfolio analysis
ABMeter
ai.abmeter/abmeter
Feature flagging and A/B testing platform with AI-first experimentation workflows.
AdAdvisor MCP Server
ai.adadvisor/mcp-server
Query Meta Ads performance data — accounts, campaigns, ad sets, ads, metrics & settings.