Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, repair failures, and generate inspectable Apple-native capabilities.
Most developer tooling work still happens through a UI a human drives. Axint MCP server moves it into the conversation instead. Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, repair failures, and generate inspectable Apple-native capabilities.
The server publishes 11 tools. What each one is for:
Confirmed — Deterministic analysis or matching compiler, build, or test evidence supports the findingProbable — Strong static evidence identifies a likely problem, but decisive Apple-tooling evidence is incompleteAdvisory — A heuristic identifies a quality, accessibility, privacy, interaction, design, or runtime concern for reviewSuppressed — Stronger evidence or a project-local review contradicts the finding; it remains in the receipt without blocking the resultMode — Role in the proof loopCheck — Validate generated or existing Swift with evidence-aware diagnostics and appropriate abstentionRun — Orchestrate resumable build, test, runtime, and .xcresult evidence on a local or your own Mac runnerGenerate — Compile smaller contracts into inspectable App Intents, SwiftUI views, widgets, Live Activities, app shells, metadata, and testsTeam — Preserve project context, sessions, file claims, repair packets, and handoffs across agentsCloud — Run hosted checks and preserve shared proof history when local Apple tooling is unavailableSurface — Use it forThe JavaScript package follows the Node.js engine declared in package.json. Swift generation runs anywhere Node runs. Xcode build, test, simulator, and runtime proof require macOS with a compatible Xcode toolchain. Axint is Apache-2.0 licensed. Fork it, extend it, and ship with it. The Axint name and visual identity remain protected; see NOTICE and
Because this one is hosted, setup is mostly authentication — you point your client at the endpoint and approve access. Nothing runs on your machine, so there is no runtime to keep patched.
Plenty of developer tooling servers cover similar ground. The differences that matter in practice are scope of access and how much setup stands between you and a working tool call. Axint's toolset — Confirmed, Probable, Advisory and 8 more — is a fair guide to whether it matches your workflow. It is maintained by agenticempire; worth a glance at recent repository activity before you build anything load-bearing on it.
SyncDev reviews every entry in this directory against the project's own documentation before publishing, and revisits them as servers change.
| Tool | What it does |
|---|---|
| Confirmed | Deterministic analysis or matching compiler, build, or test evidence supports the finding. |
| Probable | Strong static evidence identifies a likely problem, but decisive Apple-tooling evidence is incomplete. |
| Advisory | A heuristic identifies a quality, accessibility, privacy, interaction, design, or runtime concern for review. |
| Suppressed | Stronger evidence or a project-local review contradicts the finding; it remains in the receipt without blocking the result. |
| Mode | Role in the proof loop |
| Check | Validate generated or existing Swift with evidence-aware diagnostics and appropriate abstention. |
| Run | Orchestrate resumable build, test, runtime, and .xcresult evidence on a local or your own Mac runner. |
| Generate | Compile smaller contracts into inspectable App Intents, SwiftUI views, widgets, Live Activities, app shells, metadata, and tests. |
| Team | Preserve project context, sessions, file claims, repair packets, and handoffs across agents. |
| Cloud | Run hosted checks and preserve shared proof history when local Apple tooling is unavailable. |
| Surface | Use it for |
{
"mcpServers": {
"axint": {
"command": "npx",
"args": ["-y", "-p", "@axint/compiler", "axint-mcp"]
}
}
}Configuration as documented by the project. Restart the client after saving.
The JavaScript package follows the Node.js engine declared in package.json. Swift generation runs anywhere Node runs. Xcode build, test, simulator, and runtime proof require macOS with a compatible Xcode toolchain. Axint is Apache-2.0 licensed. Fork it, extend it, and ship with it. The Axint name and visual identity remain protected; see NOTICE and
Kill hallucinated APIs — version-accurate, up-to-date library documentation injected straight into context.
Microsoft's official browser automation server — drive a real browser through the accessibility tree, no screenshots needed.
GitHub's official server — repos, issues, pull requests, Actions and code security, straight from your assistant.
Issue tracking at the speed of conversation — Linear's official hosted server with OAuth and zero install.
Local repository surgery — status, diffs, commits, branches and history for any repo on disk.
Timezone sanity for AI — current time anywhere and correct conversions, without the model doing date math.