Token导航 LogoToken导航TokenDH.com
Axle MCP Server logo
AI代理未说明官方级别未说明来源级核验

Axle MCP Server

MCP Server

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

工具数

0

提示词数

0

GitHub Stars

28

资源数

0
PythonClaudeClaude DesktopClaude DesktopClaudeCursorWindsurfClineVS Code

安装说明

本站只整理中文说明和来源信息,不托管安装包,也不代用户安装。

作者 / 组织

AxiomMath

提供方

AxiomMath

最后核验

2026/5/17 20:21

快速接入

先看主来源和安装命令,再打开仓库或文档;下面只保留这个条目的关键接入事实。

详细介绍

AXLE MCP服务器

A. 模型上下文 协议 服务器 Axiom精益发动机 --暴露精益验证和 人工智能代理的操纵工具。

![](demo.gif)

安装

  1. 创建一个免费的API密钥:

https://axle.axiommath.ai/app/console.

  1. 使用以下选项之一将MCP服务器添加到您的客户端。

克劳德代码

替换 your_api_key_here 使用您在步骤1中创建的API密钥:

claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-server

其他MCP客户端(Cursor、Windsurf、Claude Desktop、VS Code、Cline等)

将以下内容添加到客户端的MCP配置文件中。替换 your_api_key_here 使用您在步骤1中创建的API密钥:

{
  "mcpServers": {
    "axle": {
      "command": "uvx",
      "args": ["--from", "axiom-axle-mcp", "axle-mcp-server"],
      "env": {
        "AXLE_API_KEY": "your_api_key_here"
      }
    }
  }
}

克劳德(网络/桌面/移动)

托管实例在以下位置运行 https://mcp.axiommath.ai/mcp你只需要做 这一次;设置后,Axle在以后的每次对话中都可用。

  1. 打开Claude并单击您的个人资料头像→ 设置.
  2. 连接器 选项卡。
  3. 滚动到页面底部并单击 添加自定义连接器.
  4. 填写:

- 姓名: Axle - 远程MCP服务器URL: https://mcp.axiommath.ai/mcp

  1. 扩展 高级设置 并将步骤1中的API密钥粘贴为

OAuth客户端ID/承载令牌.

  1. 点击 添加.
  2. 在任何聊天中,打开工具菜单( + 或中的回形针图标

作曲家)→ 连接器 → 切换 车轴 你应该看看车轴 列出的工具。

目录标签

目录标签

PythonClaudeClaude DesktopAI工具混合部署协议服务器Lean验证数学引擎

支持客户端

Claude DesktopClaudeCursorWindsurfClineVS Code

接入字段

传输方式(transport,传输协议)

未说明

鉴权方式(authType,认证方式)

oauth

工具数量(toolCount,工具数)

0

资源数量(resourceCount,资源数)

0

提示词数量(promptCount,提示词数)

0

权限和风险

未说明oauth部署方式未说明

接入前请确认传输方式、认证方式和部署位置,并根据实际工具能力限制访问范围。

安装前确认

不要直接授予不必要的文件、网络或账号权限;先核对安装命令和配置内容。

仍需确认:installCommand

来源信息

继续浏览同类 MCP