ProofFlow — MCP-сервер для Claude Code: журнал работы ИИ-агента
Ведёт локальный журнал работы ИИ-агента: контракт, снимки кода, доказательства и проверка критериев готовности. Пригодится, когда нужно доказать, что агент сделал именно то, что заявил.
claude mcp add --env PROOFFLOW_BASE_URL=<PROOFFLOW_BASE_URL> --env PROOFFLOW_API_KEY=<PROOFFLOW_API_KEY> --transport stdio proofflow -- uvx proofflow-mcpЧто делает ProofFlow
ProofFlow записывает цепочку от рабочего контракта до пакета доказательств. Сначала агент фиксирует задачу, путь репозитория, разрешённые и запрещённые действия, обязательные тесты и критерии готовности. Потом идёт решение по алгоритму, объявленный бюджет расходов, снимок состояния кода, доказательства и привязка утверждений к ним. В конце — детерминированная проверка и экспорт пакета в markdown.
Внутри восемь шагов: контракт, решение по алгоритму, бюджет, снимок, доказательства, утверждение, оценка, пакет доказательств. Правило простое: нет дела — нет процесса, нет доказательств — утверждению не верят. Подсказки о рисках показывают, где выбранный маршрут может быть неверным или слишком дорогим, но автоматическим судьёй алгоритма сервер не становится.
Для запуска нужны uvx и ключ PROOFFLOW_API_KEY, а базовый адрес задаётся через PROOFFLOW_BASE_URL. Без ключа сервер не заработает, поэтому сначала заведите его в окружении. Есть также вариант с Docker из корня склонированного репозитория.
Какие задачи решает
- зафиксировать, что именно агент менял в коде
- привязать утверждения агента к выводу тестов
- объявить бюджет токенов и времени до дорогой работы
- проверить критерии готовности перед тихим успехом
- выгрузить пакет доказательств для ревьюера
Примеры запросов агенту
- Заведи рабочее дело ProofFlow на эту задачу и запиши контракт
- Привяжи утверждение агента к выводу тестов через ProofFlow
- Собери пакет доказательств ProofFlow по последнему снимку
Как установить ProofFlow
Командой платформы
claude mcp add --env PROOFFLOW_BASE_URL=<PROOFFLOW_BASE_URL> --env PROOFFLOW_API_KEY=<PROOFFLOW_API_KEY> --transport stdio proofflow -- uvx proofflow-mcpВместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from proofflow-mcp <команда>
Командой платформы
codex mcp add proofflow --env PROOFFLOW_BASE_URL=<PROOFFLOW_BASE_URL> --env PROOFFLOW_API_KEY=<PROOFFLOW_API_KEY> -- uvx proofflow-mcpВместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from proofflow-mcp <команда>
Файл настроек
{
"mcpServers": {
"proofflow": {
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<PROOFFLOW_API_KEY>"
}
}
}
}Вместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from proofflow-mcp <команда>
Файл настроек
{
"servers": {
"proofflow": {
"type": "stdio",
"command": "uvx",
"args": [
"proofflow-mcp"
],
"env": {
"PROOFFLOW_BASE_URL": "<PROOFFLOW_BASE_URL>",
"PROOFFLOW_API_KEY": "<PROOFFLOW_API_KEY>"
}
}
}
}Вместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from proofflow-mcp <команда>
Командой платформы
gemini mcp add -e PROOFFLOW_BASE_URL=<PROOFFLOW_BASE_URL> -e PROOFFLOW_API_KEY=<PROOFFLOW_API_KEY> proofflow uvx proofflow-mcpВместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from proofflow-mcp <команда>
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о ProofFlow
Как установить ProofFlow в Claude Code?
Выполните claude mcp add proofflow -e PROOFFLOW_API_KEY=<PROOFFLOW_API_KEY> -- uvx proofflow-mcp. Ключ подставьте свой.
Что делает ProofFlow?
Ведёт журнал работы ИИ-агента: контракт, решение по алгоритму, бюджет, снимки кода, доказательства, оценка и пакет доказательств в markdown.
Что нужно для работы ProofFlow?
Нужны uvx и ключ PROOFFLOW_API_KEY; базовый адрес задаётся через PROOFFLOW_BASE_URL. Без ключа сервер не запустится.
