Axint 是一个面向 Apple 平台的 AI 生成 Swift 代码证明门禁工具。它解决的核心问题是：AI 写出的 Swift 补丁看起来合理，并不等于能编译、能通过测试或符合平台契约。Apple 软件是由众多契约组成的图——SwiftUI 状态、App Intents、Siri 与快捷指令元数据、小组件、Entitlements、隐私声明、并发、构建设置、测试和运行时行为必须相互一致。Axint 把静态分析与 Apple 官方工具链放进同一个修复循环中，静态检查负责找出线索，Xcode 构建与测试输出负责确认、补充上下文或抑制这些线索，最终结果保持紧凑，足以供下一轮 AI 代理使用，同时完整日志与产物仍留在磁盘上。
主要能力包括：对已有项目，Axint 会发现 Xcode 工程与 scheme，检查现有 Swift 代码，运行可用的构建与测试，核对检查结果，并把证明写到 .axint/proof 目录。默认本地运行无需账号或配置，不会修改 Swift 代码、不会上传源码、不会安装项目指令或内存/MCP 配置，也不会自动应用修复或重写工程。当某个失败需要再来一轮时，Axint 会返回一个 Fix Packet：包含发现项、可能涉及的文件、确切的下一步操作以及重新运行命令。它还会写出一份不含源码的 Receipt：一份带签名的证明文件，内含证据、结果、哈希和修复信息，但不含项目源代码。--fix 选项可选加入受支持的确定性重写，并重新运行证明循环。Receipt 验证会检查载荷完整性和内嵌的 Ed25519 签名者；本地签名的 Receipt 不会建立外部可信身份，除非 CI 或接收方团队固定签名者指纹或使用托管签名密钥。
使用方式上，可在 macOS 运行器上配合 Xcode 执行 axint prove 用于拉取请求流程；起步工作流和带签名 Receipt 输出可参见 GitHub Actions 设置。通过证明要求有真实的 Apple 工具链证据，缺失测试或构建不可用不会被默默报告为通过。Axint 提供 Generate、Check、Run、Team、Cloud 等入口，它们共享同一套契约：裁决、证据、发现项、下一步操作和产物路径。对于已有项目，生成功能是可选的；当某个功能更容易用较小的契约描述时，Axint 可以生成普通 Swift 以及所选 Apple 界面所需的配套元数据。TypeScript、Python、JSON IR 以及实验性的 .axint 编写界面会降级为可检查的 Apple 原生输出；TypeScript 管道还支持视图、小组件、应用、实时活动、App Enums、UnionValue schema、App Shortcuts 和扩展脚手架。
Axint 提供兼容 MCP 标准主机的 MCP 服务器，可调用 axint.status 与 axint.activate 验证服务器和编译器已连接；托管端点位于 https://mcp.axint.ai/mcp，同时支持既有 MCP 客户端和当前无状态协议版本。对于需要在代理之间委派持久任务的编排器，Axint 还提供经过认证的 A2A 服务器：MCP 暴露单个工具，A2A 暴露完整的检查、诊断、证明和修复规划任务，支持状态、流式更新、取消和不含源码的结果产物。Agent Card 位于 /.well-known/agent-card.json；回环使用无需设置，非回环部署默认要求 bearer 认证。
可用工具涵盖启动、恢复与检查（如 axint.status、axint.activate、axint.upgrade、axint.doctor、axint.session.start、axint.context.memory、axint.context.docs、axint.workflow.check），生成与发现（如 axint.feature、axint.project.pack、axint.project.index、axint.project.syncVersion、axint.suggest、axint.registry.search、axint.scaffold、axint.compile、axint.validate、axint.tokens.ingest、axint.schema.compile、axint.templates.list、axint.templates.get），检查与修复（如 axint.xcode.guard、axint.xcode.write、axint.fix-packet、axint.cloud.check、axint.repair、axint.feedback.create、axint.swift.validate、axint.swift.fix），协调与运行（如 axint.agent.install、axint.agent.advice、axint.agent.claim、axint.agent.release、axint.run、axint.run.status、axint.run.cancel），以及内置提示词 axint.quick-start、axint.project-start、axint.context-recovery、axint.create-widget、axint.create-intent。
适用场景包括：在 PR 或 CI 中对 AI 生成的 Swift 代码设置证明门禁，验证 App Intents、SwiftUI 视图、WidgetKit 小组件和完整应用，检查 Apple 平台兼容性、无障碍标签证明，以及通过 MCP 或 A2A 与代理编排流程集成。限制方面：Xcode 构建、测试、模拟器和运行时证明需要 macOS 与兼容的 Xcode 工具链；Swift 生成可在任何运行 Node 的地方运行；本地签名 Receipt 不构成外部可信身份，除非固定签名者。项目采用 Apache-2.0 许可证，Axint 名称和视觉标识受保护。
