标签：Lean验证

AXLE MCP Server是一个为Axiom Lean Engine提供的模型上下文协议服务器，向AI代理暴露Lean验证和操作工具。