Axint

未认领

作者：agenticempire

Proof and repair for Apple coding agents. Validate Swift, run Xcode evidence, repair failures, and generate inspectable Apple-native capabilities.

ai-agentsapp-intentsappleapple-intelligencecode-generationcompilerdeveloper-toolsiosmacosmcpmcp-serveropen-sourceshortcutssiriswiftswiftuitypescriptvisionoswidgetkitxcode

设置此服务器

比较服务器我的工具栈

01 / 选择客户端

02 / 连接前的准备

认证方式尚未指定。连接前请查看项目说明。

安装项目所需的运行环境，并确保客户端能够使用它。

项目说明环境变量名（可选）

输入项目说明中的变量名，用逗号分隔。只输入名称，不要输入密钥值。

03 / 添加配置

来源：根据公开安装说明生成

claude mcp add --transport stdio 'axint' -- 'npx' '-y' '-p' '@axint/compiler' 'axint' 'prove' '--dir' '/path/to/MyApp'

替换占位符后在终端中运行。

04 / 在客户端中确认

打开客户端的 MCP 设置，确认服务器已连接并列出工具。复制配置不代表连接成功。

更多AI & ML服务器

浏览完整目录

未认领列表

这个 MCP 服务器是你的吗？

此列表根据公开信息自动生成。认领后，你可以编辑页面、设置兼容性并解锁增长工具。全程不超两分钟。

认领此服务器

安全概况

已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。安全概况的工作原理

工具变更历史

比较相同配置的完整检查。只列出工具，未调用工具。此处不测量输入结构的变化。

尚无完整工具检查。