by axiomatic-ai
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
View Chinese version with editor review
Persistent memory using a local knowledge graph for long-term context.
Dynamic problem-solving through sequential thought processes.
AI Agents Framework with Self Reflection and MCP support