ProofFlow

ProofFlow

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

Установка

uvx proofflow-mcp

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

Общее

  • СтатусСообщество
  • Разработчик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.

Поделиться