Axiomatic-AI
2 servers
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
axiomatic-mcp
MCP server enabling AI assistants to access the Axiomatic_AI Platform for scien…
|
— | — | — | — | — | — | — | ||
| 2 |
prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
|
32 | F | 48 | — | — | 23 | 81 |
Showing 1–2 of 2 servers
1