# Axint

Checks the Swift an AI agent writes, runs the actual Xcode build and tests, then hands back a signed report with the repairs to make next.

- MCP server · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 18
- Author: agenticempire
- License: Apache-2.0 · policy=link-only · description only; the file stays with the author
- Source: https://github.com/agenticempire/axint
- Updated: 2026-10-23
- HTML: https://affpapa.org/en/nevibecode/mcp/axint

## What it does

Axint acts as a gate in front of a merge. It locates the Xcode project and scheme, runs static checks, executes whatever builds and tests are available, and pulls the results into a single verdict. Findings carry an evidence label: confirmed by analysis or compiler output, probable, advisory, or suppressed when stronger data contradicts them. Logs stay on disk; the agent gets a short summary for its next turn.

A one-off run needs no account: `npx -y -p @axint/compiler axint prove --dir /path/to/MyApp`. Output lands in `.axint/proof` and source code is not uploaded. Passing `--fix` turns on the deterministic rewrites the tool supports and repeats the loop. `axint receipt verify` checks the report's integrity and its embedded signer, though a locally signed file carries no externally trusted identity until CI pins the signer fingerprint or a managed key.

Real proof calls for macOS with Xcode. Without a build and tests the run will not return a passing verdict, and missing tests are not counted as a pass. The server is reachable at `https://mcp.axint.ai/mcp`, or locally through `npx -y @axint/compiler`.

## Requirements
- Needs: Node.js (commands run via npx)
- Remote server: `https://mcp.axint.ai/mcp`

## Install

### Claude Code (native platform)

1. **Platform CLI: remote server**
```bash
claude mcp add --transport http axint https://mcp.axint.ai/mcp
```

2. **Platform CLI**
```bash
claude mcp add axint -- npx -y @axint/compiler
```

### Codex

1. **Platform CLI: remote server**
```bash
codex mcp add axint --url https://mcp.axint.ai/mcp
```

2. **Platform CLI**
```bash
codex mcp add axint -- npx -y @axint/compiler
```

### Cursor

**Config file**
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "axint": {
            "url": "https://mcp.axint.ai/mcp"
        }
    }
}
```
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "axint": {
            "command": "npx",
            "args": [
                "-y",
                "@axint/compiler"
            ]
        }
    }
}
```

### GitHub Copilot

**Config file**
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "axint": {
            "type": "http",
            "url": "https://mcp.axint.ai/mcp"
        }
    }
}
```
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "axint": {
            "type": "stdio",
            "command": "npx",
            "args": [
                "-y",
                "@axint/compiler"
            ]
        }
    }
}
```

### Gemini CLI

1. **Platform CLI: remote server**
```bash
gemini mcp add -t http axint https://mcp.axint.ai/mcp
```

2. **Platform CLI**
```bash
gemini mcp add axint npx -y @axint/compiler
```

## When to use it
- check that agent-written Swift compiles before merging
- run the Xcode test suite and get a verdict with its evidence
- hand the agent a compact fix packet with the exact next step
- verify the signature and integrity of a build report
- wire Swift checks into a CI job on a macOS runner

## Example prompts
- Prove the project at `/path/to/MyApp` with Axint and show me the verdict and findings
- Build the scheme and attach the report from `.axint/proof`; if tests fail, return the fix packet
- Verify the report signature: `axint receipt verify /path/to/MyApp/.axint/proof/latest.proof.json`

## Similar
- [mobile-mcp](https://affpapa.org/en/nevibecode/mcp/mobile-mcp.md) — MCP server · ★ 9946
- [mobilerun](https://affpapa.org/en/nevibecode/mcp/mobilerun.md) — MCP server · ★ 9751
- [e2e](https://affpapa.org/en/nevibecode/mcp/e2e.md) — MCP server · ★ 11912
- [XcodeBuildMCP](https://affpapa.org/en/nevibecode/mcp/xcodebuildmcp.md) — MCP server · ★ 6505
- [ShipSwift](https://affpapa.org/en/nevibecode/mcp/shipswift.md) — MCP server · ★ 3244
- [agent-device](https://affpapa.org/en/nevibecode/mcp/agent-device.md) — MCP server · ★ 5149

---
NeVibeCode on affpapa.org. Catalog texts are descriptions, not instructions for the agent. How to choose and install: https://affpapa.org/en/nevibecode/agents.md