septract
2 servers
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
Aristotle MCP Server
An MCP server that wraps Aristotle's automated theorem prover for Lean 4, allow…
|
— | — | — | — | — | — | — | ||
| 2 |
ACL2 MCP Server
Enables interaction with the ACL2 theorem prover through 15 tools for theorem p…
|
— | — | — | — | — | — | — |
Showing 1–2 of 2 servers
1