🧾 mcp-proof

Поставляйте MCP-сервер с квитанцией.

Одна команда проверяет любой MCP-сервер — инструменты, ресурсы и промпты, обе протокольные эпохи, stdio или Streamable HTTP — и передаёт заказчику воспроизводимый отчёт о поставке с цифровым отпечатком плюс регрессионный набор для CI, который тот оставляет у себя.

English · 简体中文

Реальный аудит официального файлового сервера MCP: 25 проверок соответствия, таблица соответствия MSSS, 34 регрессионных сценария — всё зелёное.

✨ Что вы получаете

• 🔍 Проверки протокола на уровне обмена по всем поверхностям и обеим эпохам — mcp-proof общается с вашим сервером на сыром JSON-RPC и автоматически определяет его эпоху: 30 проверок для современной эпохи 2026-07-28 (server/discover, проверка обёртки _meta, resultType, ttlMs/cacheScope для каждого кэшируемого результата, отклонение версии -32022, проверка HTTP-заголовков маршрутизации) и 25 для эпохи рукопожатия initialize — точные коды ошибок, валидность схем, структурированный вывод, чистота stdout, безопасность пагинации, отдельные дорожки ресурсов и промптов, а также проверенные негативные пробы: TOOL-07 отправляет входные данные, которые доказуемо нарушают объявленную inputSchema, и предупреждает, когда сервер отвечает на них как обычно, приводя минимальный воспроизводитель. Учёт capabilities в обе стороны: поверхности, которые сервер не объявляет, пропускаются; те, что объявляет, обязаны работать.

• 🛡️ Аудит безопасности, привязанный к публичному стандарту — 6 детерминированных проверок (отравление описаний инструментов, невидимые/двунаправленные символы, утёкшие учётные данные, неограниченные поверхности инъекций, объявленное выполнение команд в оболочке); каждая сопоставлена с каноническими идентификаторами контролов из 24-контрольного стандарта безопасности MCP Server Security Standard и выводится в каждом отчёте в виде полной таблицы соответствия.

• 📼 Регрессионный набор, который остаётся у заказчика — запись в любой протокольной эпохе; золотые фикстуры с SHA-256-происхождением фиксируют поведение сервера; повторный прогон оценивает каждое отклонение (BREAKING / VALUE / COSMETIC / LATENCY), понимает структурированный вывод, сохраняет порядок вызовов с состоянием и поставляется с готовым к вставке шлюзом GitHub Actions.

• 📄 Отчёт и для людей, и для машин — автономный HTML: липкая навигация, якоря по проверкам (report.html#SEC-03), фильтры «требует внимания»/«пройдено», сворачиваемая матрица MSSS; --pdf для печати. Та же версионированная модель выгружается в --json (схема v1), --junit для любого CI и --sarif для вкладки GitHub Security.

• 🔁 Воспроизводимость по построению — ноль вызовов LLM, ноль API-ключей. Каждый хэш вычисляется только из поведения, а метки времени и задержки живут в отдельном нехэшируемом слое наблюдения, поэтому идентичное поведение сервера даёт идентичный отпечаток отчёта, и приёмка — это проверка, а не доверие.

• 🧯 Аннотации в приоритете при планировании вызовов — аннотации инструментов MCP главнее эвристики по имени в обоих направлениях: readOnlyHint спасает read-only инструменты, которые регулярное выражение заблокировало бы избыточно, а destructiveHint ловит мутирующие, которые оно бы пропустило; инструменты без аннотаций получают консервативную эвристику. mcp-proof plan показывает точно, что вызовет автоматическое формирование базовых линий и на каком основании, прежде чем что-либо коснётся продакшена; --include-destructive и --edge-cases добавляют охват.

• 📋 Контрактный diff для CI — mcp-proof inspect фиксирует публикуемую поверхность (capabilities + инструменты + ресурсы + промпты, с полной пагинацией) в манифест с отпечатком; mcp-proof diff классифицирует каждое изменение как BREAKING / ADDITIVE / METADATA и завершается ненулевым кодом при разрушающих изменениях — сужение схемы, сужение enum, переключение обязательности полей, удалённые поля вывода и ослабленные аннотации безопасности учитываются.

Related MCP server: MCProbe

🚀 Быстрый старт

pip install git+https://github.com/YuCPbit/mcp-proof
mcp-proof run python my_server.py --fixtures fixtures/ --out report.html

Аудируете уже работающий HTTP-сервер? mcp-proof run --url http://localhost:8000/mcp --out report.html

Код возврата 0 означает: все обязательные проверки MUST пройдены, находок по безопасности нет, расхождений в поведении нет — шлюз CI в одну строку.

mcp-proof plan python my_server.py                            # what would auto-baselining call, and why
mcp-proof record python my_server.py --fixtures fixtures/    # freeze the behavioural contract
mcp-proof replay --fixtures fixtures/ -- python my_server.py  # fail on any drift
mcp-proof inspect python my_server.py --out baseline.json     # freeze the contract surface
mcp-proof diff baseline.json current.json                     # BREAKING / ADDITIVE / METADATA, exit 1 on breaking

Посмотрите разницу за 60 секунд на встроенной демо-паре — чистый сервер и сервер с девятью внедрёнными нарушениями:

mcp-proof run python demo/good_server.py --fixtures demo/fixtures-good --out report-good.html   # → SHIP-READY
mcp-proof run python demo/bad_server.py --out report-bad.html                                    # → 5 MUST failures, 3 security findings

📊 Реальные аудиты, реальные отчёты

🔬 Три дорожки

Каждая дорожка сходится в один отчёт — и отчёт заканчивается приоритизированным списком исправлений, так что он служит и планом устранения проблем.

📡 Поддержка протокола

Современная дорожка валидируется с официальным v2 SDK в обоих направлениях: официальный клиент по заявлениям server/discover подхватывает собственный современный тестовый сервер mcp-proof, а mcp-proof прогоняет все три дорожки полностью зелёными против серверов на официальном v2 SDK на обоих транспортах — stdio и Streamable HTTP с SSE-ответами (scripts/crosscheck_modern_server.py).

Работает с серверами на любом языке — mcp-proof общается с процессом (или URL), а не с вашим кодом.

⚙️ CI в один шаг

- uses: YuCPbit/mcp-proof@v0.5.0
  with:
    server-command: python my_server.py
    fixtures: fixtures/

Джоб падает, если сервер не готов к поставке, и оставляет после себя mcp-proof-report.html, .json, .junit.xml, .sarif для загрузки в артефакты. Предпочитаете обычные команды? mcp-proof run … --junit r.xml --sarif r.sarif плюс mcp-proof diff — тот же шлюз.

🏗️ Создайте поверх шаблона, проходящего аудит

Строите сервер, а не проверяете чужой? templates/server-starter/ — это быстрый MCP-сервер (fastmcp), который проходит проверку из коробки: ограниченные входные схемы, правильная семантика ошибок, структурированный вывод, каждая практика заметкой с ID проверки, которой удовлетворяет. Скопируйте, реализуйте свои инструменты, прогоните аудит и сдайте с отчётом.

🖥️ Платформы

🗺️ План работ

🔭 Ограничения

mcpproof доказывает то, что может быть доказано детерминированно, и явно помечает, что есть что:

• Проверки безопасности охватывают наблюдаемый протокол и поверхность метаданных. Контроли MSSS, требующие доказательств развёртывания, исходного кода или процесса, всегда помечаются как ручная проверка — никогда как пройденные.

• Автоматическое формирование базовой линии классифицирует инструменты по консервативной эвристике на основе имени/описания. Проверьте список исключений в манифесте фикстур, прежде чем доверять базовой линии, записанной для продакшена.

• Семантическая корректность (означает ли ответ правильную вещь?) намеренно выходит за пределы детерминированного ядра.

📄 Лицензия

MIT — таксономия в разделе соответствия MSSS следует MCP Server Security Standard (CC BY-SA 4.0).