Axle MCP Server
未认领MCP Server for AI agents to interact with our Lean infrastructure
安装
$
claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-server更多AI & ML服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理
文档中列出的工具 (4)
内容来自项目文档。服务器握手不会验证每个工具的说明或行为。
list_environments
List the available Lean environments.
read_docs
Read the AXLE documentation. Call with no arguments for the page index, then page="verifyproof" for one page.
read_share_url
Read back the inputs and result behind a share URL.
share_url
Turn a prior call's requestid into a permanent shareable webapp URL.