Proofworks — исследовательский навык, который проверяет собственные цитаты

Proofworks — это клиентский исследовательский навык для ИИ-агентов. Он превращает черновик с цитатами в аннотированный черновик: для каждого утверждения, ссылающегося на источник, он загружает источник, проверяет утверждение по нему и объясняет почему — с подтверждающим отрывком, когда оно подтверждено, и честным отказом, когда нет.

• Никакого размещённого сервера, никакого MCP, никакого API-ключа, никакой учётной записи. Он работает внутри вашего агента, на его собственной машине и его собственной модели.

• Продукт — это навык: операционная процедура SKILL.md плюс два небольших вспомогательных скрипта. Этот репозиторий — одновременно и исходный код, и навык.

• Честность — суть. Проверка — это двухэтапная проверка. Детерминированный первый этап проверяет, встречается ли точная цитата или число в загруженном источнике. Всё остальное переходит на строгий этап суждения, привязанный к источнику.

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

Дайте любому агенту эту одну строку (работает с Claude Code, Codex, OpenCode, Windsurf, Cursor, Copilot или любым агентом, который может загрузить URL):

Fetch and execute the setup instructions for the Proofworks skill from @url:https://sentrylab.app/agent-setup/prompt.md

Агент клонирует этот репозиторий, читает skill/proofworks-verifier/SKILL.md и принимает цикл проверки и обратного заполнения.

Related MCP server: footnote

Что в репозитории

• skill/proofworks-verifier/ — продукт

  • SKILL.md — операционная процедура, которой следует агент

  • references/loop.md — протокол цикла проверки и обратного заполнения + JSON-схема

  • scripts/fetch_source.py — детерминированная загрузка + преобразование URL в текст

  • scripts/presence_match.py — проверка наличия точной цитаты/числа

  • tests/test_helpers.py — регрессионные тесты для вспомогательных скриптов

• src/ — Cloudflare Worker, который обслуживает целевую страницу и статические файлы, необходимые агенту для поиска и принятия навыка:

  • / — маркетинговая целевая страница

  • /agent-setup/prompt.md — однострочный запрос на установку навыка (поверхность продукта)

  • /llms.txt, /robots.txt, /sitemap.xml, /.well-known/*, IndexNow keys

Как работает проверка

claim + cited source
  │ 1. fetch (deterministic)          — fetch_source.py
  v
 source text
  │ 2. presence pass (deterministic)  — presence_match.py
  v
 present? ──yes──► verified   (record the matching passage)
  │ no
  v
 3. semantic pass (LLM, source-only): does the source support the claim as written?
  │
 supported? ──yes──► verified
  │ no
  v
 4. backfill: find one extra source for the claim as written
  │
  pass ──► verified (add the extra source) · fail ──► unsupported / exhausted

По каждому утверждению навык сообщает: verified (с соответствующим отрывком) или unsupported / exhausted. Если факт утверждения неверен, но ни один источник его не подтверждает («Эйфелева башня находится в Майами»), утверждение остаётся unsupported, и навык помечает предлагаемое исправление — решение принимает пользователь. Исправления никогда не применяются молча.

Разработка

Worker написан на TypeScript и работает на Cloudflare Workers.

npm install
npm run typecheck   # tsc --noEmit
npx wrangler dev --local --port 8787   # local dev
npx wrangler deploy                    # production (sentrylab.app)

Предостережение при редактировании src/ui.ts и src/agent.ts: целевая страница и содержимое навыка — это шаблонные литералы TypeScript. Один символ \n или неэкранированный обратный апостроф внутри такого литерала превращается в настоящий перевод строки / завершает литерал в выдаваемом выводе — незаметно ломая страницу. Используйте \\n и \` и проверяйте выдаваемые байты (шестнадцатеричный дамп python3) плюс node --check для извлечённого встроенного скрипта после их изменения.

Лицензия

MIT