Proofworks — 自身の引用を検証するリサーチスキル

Proofworksは、AIエージェント向けのクライアントサイドのリサーチスキルです。引用されたドラフトを注釈付きドラフトに変換します。ソースを引用するすべての主張について、ソースを取得し、主張を照合し、理由を述べます。検証された場合は裏付けとなる箇所を、そうでない場合は誠実な拒否を示します。

• ホスト型サーバーなし、MCPなし、APIキーなし、アカウントなし。 エージェントの内部で、自身のマシンと自身のモデル上で動作します。

• 製品はスキルそのもの — SKILL.mdの運用手順と、2つの小さなヘルパースクリプト。このリポジトリはソースであり、スキルでもあります。

• 誠実さが重要です。 検証は2パスチェックです。決定的な最初のパスでは、正確な引用または数字が取得したソースに存在するかを確認します。それ以外はすべて、厳格でソースに基づく判断パスに進みます。

クイックスタート

任意のエージェントに次の1行を与えます（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 — 1行のスキルインストールプロンプト（製品の表面）

  • /llms.txt、/robots.txt、/sitemap.xml、/.well-known/*、IndexNowキー

検証の仕組み

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はCloudflare Workers上のTypeScriptです。

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 hexダンプ）と抽出されたインラインスクリプトに対するnode --checkを検証してください。

ライセンス

MIT