ProofFlow

ProofFlow

Hyperion-GPUMIT
110 звёзд8 форков
ProofFlow — инфраструктура аудита для AI-агентов, которые пишут код. Система записывает все действия агента: от постановки задачи до финального результата. Вместо слепого доверия к коду, сгенерированному нейросетью, вы получаете полный «журнал работ» (Agent Work Ledger). Каждое изменение кода, каждый вывод и затраченный токен фиксируются. Это не просто ревьюер PR. Это локальный журнал для работы AI-агента, который фиксирует контекст до, во время и после изменений кода. ProofFlow работает по принципу «сначала контракт» (contract-first): вы описываете задачу и критерии приёмки, агент выполняет работу, а сервер верифицирует результат и упаковывает его в пакет доказательств (Proof Packet). Решение подходит командам, которые внедряют AI-кодинг без потери контроля над качеством и безопасностью. Каждый пакет можно прикрепить к PR или Code Review комментарию, чтобы человек мог быстро проверить логику, не гадая, что произошло.
AI и машинное обучениеРазработка
Подключить MCPОткрыть на GitHub
Подключение

Подключить ProofFlow

Выберите способ запуска и свой MCP-клиент. Ниже останется одна готовая инструкция, которую можно проверить и скопировать.

1

Способ подключения

2

Куда подключить

3

Скопируйте и проверьте

Claude Desktop / Claude Code

Клиент запускает MCP-сервер как локальный процесс.

  1. 1.Откройте настройки MCP в Claude.
  2. 2.Добавьте сервер с указанной командой и переменными окружения.
  3. 3.Перезапустите Claude, если сервер не появился автоматически.
json
{
  "mcpServers": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ]
    }
  }
}

Сгенерировано из существующей команды запуска. Желательно сверить с README.

Инструкция собрана из данных карточки и пока не отмечена как проверенная редакцией. Сверьте команду с README источника и не передавайте лишние права или секреты.

Как оценить ProofFlow

ProofFlow относится к AI и машинное обучение, Разработка. Ниже собраны проверяемые признаки, по которым его можно сравнить с другими серверами каталога.

Происхождение
Проект сообщества
Лицензия
MIT
Реализация
Python
Транспорт
stdio

Что проверить перед выбором

  • Изучите README, открытые issues и историю последних изменений в репозитории.
  • Проверьте команду установки и зависимости перед запуском в рабочем окружении.
  • Ограничьте доступ MCP-сервера только нужными файлами, API и переменными окружения.

Карточка отредактирована 20.07.2026.

Автоматическая проверка источника ещё не выполнена. Внешних источников в карточке: 1.

Характеристики

Общее

  • СтатусСообщество
  • РазработчикHyperion-GPU
  • ЛицензияMIT

Технологии

  • Языки
    Python
  • Транспорт
    stdio

Описание

Возможности

  • Создание журнала работ (Ledger Case) для каждого действия AI-агента: рефакторинга, фикса бага или новой функции.
  • Запись «контракта» на работу: задача, критерии приёмки, бюджет токенов.
  • Фиксация алгоритмического решения и фактических затрат вычислительных ресурсов.
  • Автоматические снапшоты состояния кода до и после изменений агента.
  • Привязка утверждений агента к конкретным доказательствам (evidence): фрагментам кода, скриншотам, выводам логов.
  • Автоматическая оценка критериев готовности (Done Criteria) из контракта.
  • Экспорт готового пакета для аудита (Proof Packet) с полной цепочкой решений, затратами и снапшотами.
  • Настройка семантических правил (AgentGuard) для контроля политик безопасности, стиля кода и запрета опасных паттернов.
  • Генерация риск-хинтов (Ledger Risk Hints) для выявления потенциальных проблем в работе агента до попадания кода в ревью.
  • Интеграция с платформами хостинга кода через готовый шаблон PR-комментария.

Как подключить

Установите ProofFlow через менеджер пакетов uv:

uvx proofflow-mcp

Затем добавьте сервер в конфигурацию вашего MCP-клиента. Пример для Claude Desktop:

{ "mcpServers": { "proofflow": { "command": "uvx", "args": ["proofflow-mcp"] } } }

Перезапустите клиент. ProofFlow будет доступен AI-ассистенту для создания журналов работ и пакетов аудита.

Примеры запросов

  • «Создай новый Ledger Case для рефакторинга модуля аутентификации. Запиши текущий код как снапшот.»
  • «Закончи текущий Ledger Case, сформируй Proof Packet и покажи его содержимое.»
  • «Найди все завершённые Ledger Cases за последнюю неделю и покажи их риск-хинты (Ledger Risk Hints).»
  • «Проверь последнее изменение кода: соответствует ли оно критериям из контракта в Ledger Case #5?»

Технические детали

  • Язык: Python
  • Транспорт: stdio (стандартный ввод/вывод)
  • Лицензия: MIT
  • Установка: через пакет proofflow-mcp (рекомендуется uvx)
  • Совместимые клиенты: Claude Desktop, Cursor, VS Code и любые другие, поддерживающие MCP через stdio.

Поделиться