Browse all MCP servers by gleachkr.
by gleachkr
Aristotle MCP Server is a minimal Model Context Protocol server designed for the Aristotle API, facilitating theorem proving in Lean and formalizing mathematical problems.
