# Axint

Source: https://glimind.com/server/pulsemcp%2Faxint
Registry id: `pulsemcp/axint`
Status: unknown

## Install

```json
{
  "mcpServers": {
    "axint": {
      "command": "npx",
      "args": [
        "-y",
        "@axint/compiler"
      ]
    }
  }
}
```

Claude Code:

```sh
claude mcp add axint -- npx -y @axint/compiler
```

## Tools (3)

- `compile`: Compile a contract (TypeScript, Python, JSON IR, or .axint) into Apple-native output (Swift, metadata).
- `prove`: Run proof loop on an Apple project: discover Xcode project, check Swift, run build/tests, reconcile findings, and write proof receipt.
- `receipt_verify`: Verify integrity and signature of a proof receipt file.

Measured by Glimind (https://glimind.com): MCP handshake + tool list only, no tool is ever called. CC BY 4.0.