# Axint

Проверяет Swift-код от ИИ-агента, запускает реальную сборку и тесты Xcode и возвращает подписанный отчёт с точными исправлениями.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 18
- Автор: agenticempire
- Лицензия: Apache-2.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/agenticempire/axint
- Обновлён: 2026-10-23
- HTML: https://affpapa.org/nevibecode/mcp/axint

## Что делает

Axint задуман как ворота перед мержем: он находит Xcode-проект и схему, прогоняет статический анализ, запускает доступные сборки и тесты, а потом сводит находки в один вердикт. Находки делятся по силе доказательств: подтверждённые анализом или выводом компилятора, вероятные, рекомендательные и подавленные, если им противоречат более веские данные. Полные логи лежат на диске, агенту достаётся компактная выжимка на следующий ход.

Быстрый прогон без настройки: `npx -y -p @axint/compiler axint prove --dir /path/to/MyApp`. Результат пишется в `.axint/proof`, исходники никуда не отправляются. С флагом `--fix` инструмент делает поддерживаемые детерминированные правки и повторяет цикл. Подпись отчёта проверяется командой `axint receipt verify`, но локально подписанный отчёт не даёт внешне доверенной личности, пока в CI не закрепят отпечаток подписанта или ключ.

Для реального доказательства нужен macOS с Xcode: без сборки и тестов прогон не выдаст положительный вердикт, а отсутствие тестов не выдаётся за пройденную проверку. Работа с MCP-сервером идёт через `https://mcp.axint.ai/mcp` либо локально через `npx -y @axint/compiler`.

## Требования
- Нужно: Node.js (команды через npx)
- Удалённый сервер: `https://mcp.axint.ai/mcp`

## Установка

### Claude Code (родная платформа)

1. **Командой платформы: удалённый сервер**
```bash
claude mcp add --transport http axint https://mcp.axint.ai/mcp
```

2. **Командой платформы**
```bash
claude mcp add axint -- npx -y @axint/compiler
```

### Codex

1. **Командой платформы: удалённый сервер**
```bash
codex mcp add axint --url https://mcp.axint.ai/mcp
```

2. **Командой платформы**
```bash
codex mcp add axint -- npx -y @axint/compiler
```

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "axint": {
            "url": "https://mcp.axint.ai/mcp"
        }
    }
}
```
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "axint": {
            "command": "npx",
            "args": [
                "-y",
                "@axint/compiler"
            ]
        }
    }
}
```

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "axint": {
            "type": "http",
            "url": "https://mcp.axint.ai/mcp"
        }
    }
}
```
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "axint": {
            "type": "stdio",
            "command": "npx",
            "args": [
                "-y",
                "@axint/compiler"
            ]
        }
    }
}
```

### Gemini CLI

1. **Командой платформы: удалённый сервер**
```bash
gemini mcp add -t http axint https://mcp.axint.ai/mcp
```

2. **Командой платформы**
```bash
gemini mcp add axint npx -y @axint/compiler
```

## Когда брать
- проверить, собирается ли Swift, который написал агент, до мержа
- прогнать тесты Xcode и получить вердикт с указанием доказательств
- отдать агенту компактный пакет исправлений с точным следующим шагом
- проверить подпись и целостность отчёта о сборке
- встроить проверку Swift в шаг CI на macOS-раннере

## Примеры запросов агенту
- Проверь проект в `/path/to/MyApp` через Axint и покажи вердикт с находками
- Собери проект по схеме и приложи отчёт из `.axint/proof`, если тесты падают — верни пакет исправлений
- Проверь подпись отчёта `axint receipt verify /path/to/MyApp/.axint/proof/latest.proof.json`

## Похожие
- [mobile-mcp](https://affpapa.org/nevibecode/mcp/mobile-mcp.md) — MCP-сервер · ★ 9946
- [mobilerun](https://affpapa.org/nevibecode/mcp/mobilerun.md) — MCP-сервер · ★ 9751
- [e2e](https://affpapa.org/nevibecode/mcp/e2e.md) — MCP-сервер · ★ 11912
- [XcodeBuildMCP](https://affpapa.org/nevibecode/mcp/xcodebuildmcp.md) — MCP-сервер · ★ 6505
- [ShipSwift](https://affpapa.org/nevibecode/mcp/shipswift.md) — MCP-сервер · ★ 3244
- [agent-device](https://affpapa.org/nevibecode/mcp/agent-device.md) — MCP-сервер · ★ 5149

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md