gleachkr/aristotle-mcp
3.3
If you are the rightful owner of aristotle-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
Aristotle MCP Server is a minimal Model Context Protocol server designed for the Aristotle API, facilitating theorem proving in Lean and formalizing mathematical problems.
Comments
No comments yet. Be the first to comment!