# ProofFlow

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

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

## Что делает

ProofFlow записывает цепочку от рабочего контракта до пакета доказательств. Сначала агент фиксирует задачу, путь репозитория, разрешённые и запрещённые действия, обязательные тесты и критерии готовности. Потом идёт решение по алгоритму, объявленный бюджет расходов, снимок состояния кода, доказательства и привязка утверждений к ним. В конце — детерминированная проверка и экспорт пакета в markdown.

Внутри восемь шагов: контракт, решение по алгоритму, бюджет, снимок, доказательства, утверждение, оценка, пакет доказательств. Правило простое: нет дела — нет процесса, нет доказательств — утверждению не верят. Подсказки о рисках показывают, где выбранный маршрут может быть неверным или слишком дорогим, но автоматическим судьёй алгоритма сервер не становится.

Для запуска нужны `uvx` и ключ `PROOFFLOW_API_KEY`, а базовый адрес задаётся через `PROOFFLOW_BASE_URL`. Без ключа сервер не заработает, поэтому сначала заведите его в окружении. Есть также вариант с Docker из корня склонированного репозитория.

## Требования
- Нужно: Python и uv (команды через uvx)
- Переменные окружения: `PROOFFLOW_BASE_URL`, `PROOFFLOW_API_KEY` — это ключи и токены: значения спроси у человека, в репозиторий и общие файлы не записывай.

## Установка

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

**Командой платформы**
```bash
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

**Командой платформы**
```bash
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 <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "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 <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "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 CLI

**Командой платформы**
```bash
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 <команда>

## Когда брать
- зафиксировать, что именно агент менял в коде
- привязать утверждения агента к выводу тестов
- объявить бюджет токенов и времени до дорогой работы
- проверить критерии готовности перед тихим успехом
- выгрузить пакет доказательств для ревьюера

## Примеры запросов агенту
- Заведи рабочее дело ProofFlow на эту задачу и запиши контракт
- Привяжи утверждение агента к выводу тестов через ProofFlow
- Собери пакет доказательств ProofFlow по последнему снимку

## Похожие
- [REA](https://affpapa.org/nevibecode/mcp/rea.md) — MCP-сервер · ★ 386989
- [GitHub](https://affpapa.org/nevibecode/mcp/github.md) — MCP-сервер · ★ 33918
- [Netdata](https://affpapa.org/nevibecode/mcp/netdata.md) — MCP-сервер · ★ 81115
- [browser-use](https://affpapa.org/nevibecode/mcp/browser-use.md) — MCP-сервер · ★ 119160
- [Codebase Memory](https://affpapa.org/nevibecode/mcp/codebase-memory.md) — MCP-сервер · ★ 47392
- [mcp-server](https://affpapa.org/nevibecode/mcp/mcp-server.md) — MCP-сервер · ★ 43872

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