Axint — MCP-сервер для Claude Code: проверка Swift и Xcode-сборка
Проверяет Swift-код от ИИ-агента, запускает реальную сборку и тесты Xcode и возвращает подписанный отчёт с точными исправлениями.
claude mcp add --transport http axint https://mcp.axint.ai/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.
Какие задачи решает
- проверить, собирается ли Swift, который написал агент, до мержа
- прогнать тесты Xcode и получить вердикт с указанием доказательств
- отдать агенту компактный пакет исправлений с точным следующим шагом
- проверить подпись и целостность отчёта о сборке
- встроить проверку Swift в шаг CI на macOS-раннере
Примеры запросов агенту
- Проверь проект в
/path/to/MyAppчерез Axint и покажи вердикт с находками - Собери проект по схеме и приложи отчёт из
.axint/proof, если тесты падают — верни пакет исправлений - Проверь подпись отчёта
axint receipt verify /path/to/MyApp/.axint/proof/latest.proof.json
Как установить Axint
1Командой платформы: удалённый сервер
claude mcp add --transport http axint https://mcp.axint.ai/mcp2Командой платформы
claude mcp add axint -- npx -y @axint/compiler1Командой платформы: удалённый сервер
codex mcp add axint --url https://mcp.axint.ai/mcp2Командой платформы
codex mcp add axint -- npx -y @axint/compilerФайл настроек
{
"mcpServers": {
"axint": {
"url": "https://mcp.axint.ai/mcp"
}
}
}{
"mcpServers": {
"axint": {
"command": "npx",
"args": [
"-y",
"@axint/compiler"
]
}
}
}Файл настроек
{
"servers": {
"axint": {
"type": "http",
"url": "https://mcp.axint.ai/mcp"
}
}
}{
"servers": {
"axint": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@axint/compiler"
]
}
}
}1Командой платформы: удалённый сервер
gemini mcp add -t http axint https://mcp.axint.ai/mcp2Командой платформы
gemini mcp add axint npx -y @axint/compilerПо шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Axint
Как установить Axint в Claude Code?
Добавьте MCP-сервер командой claude mcp add --transport http axint https://mcp.axint.ai/mcp. Локальный вариант: claude mcp add axint -- npx -y @axint/compiler.
Что делает Axint?
Проверяет Swift в Xcode-проекте, запускает сборку и тесты, сверяет находки с выводом инструментов Apple и возвращает подписанный отчёт с исправлениями.
Без чего Axint не даст доказательства?
Нужен macOS с Xcode и доступные сборка и тесты. Если собрать или прогнать тесты не удалось, положительного вердикта не будет.
