86trust / 100
Prover
by prover.axiomatic-ai.com in Other
MCP serverPassing, checked 4 h ago
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
https://prover.axiomatic-ai.com/mcp/
Last 30 days
All checks passedSome failedAll failedNot checked
- Uptime
- 100%
- Response time
- 177 ms typical, 177 ms slowest 5%
- Last check
- 4 h ago
- Next check
- in 2 h
How to call it
Add it to any MCP client that supports remote servers. It asks for sign-in or an API key.
{
"mcpServers": {
"prover": {
"type": "http",
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}The tool list is behind sign-in, so we can't show it.
Security scan
- No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.
Recent checks
| When | Result | HTTP | Time |
|---|---|---|---|
| 4 h ago | Passed | 401 | 177 ms |