proof-layer について
proof-layerは、AIエージェントの操作に対する実行前のガバナンス証跡を提供します。ローカルのMCPサーバーが操作案を評価し、署名付きハッシュチェーン証跡は独立した検証ツールでオフライン検証できます。
主な機能
- 01実行前の操作評価
- 02署名付き実行判定
- 03ハッシュチェーン監査証跡
- 04証跡のオフライン検証
- 05エージェントホスト向けMCPツール
活用シーン
- 01エージェントの操作実行前の確認
- 02監査記録への判定の記録
- 03APIを呼び出さない証跡バンドルの検証
MCP 対応
`@proof-layer/mcp`はClaude Desktop、Cursor、ClineなどMCP対応ホスト向けのMCPサーバーです。ガバナンスワークフロー用の8つのツールを提供します。
設定
ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。
npx -y @proof-layer/mcpPROOF_LAYER_API_KEYシークレットYour Proof Layer API key from https://prooflayer.world999labs.com/dashboard/keysPROOF_LAYER_API_URLOverride the default API endpoint (default: https://prooflayer.world999labs.com)PROOF_LAYER_TELEMETRYSet to 'off' to disable anonymous usage telemetry (default: on)ローカルサーバーにはマシン上の実行環境(Node.js 18 以上など)が必要です。設定ファイルの場所はクライアントごとに異なります。
ツール
8掲載時のツール一覧 · 2 週間前に更新
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| agent_id | string | はい | 提案を行う AI エージェントの識別子 |
| parameters | object | いいえ | アクション固有のパラメーターを JSON オブジェクトとして指定します |
| action_type | string | はい | アクションの意味を表す名前(例:'send_email'、'delete_record'、'make_payment') |
| idempotency_key | string | いいえ | 任意の一意キー。同じキーを指定すると、キャッシュされたレシートが返されます |
| guardian_timeout_policy | enum | いいえ | Guardian がタイムアウトした場合の処理。デフォルト:fail_closed(アクションをブロック)fail_closed | fail_open |
詳細
Proof Layer
AI エージェント向けの暗号学的ガバナンス証明書です。 エージェントが行動する前に発行されます。Ed25519 署名付きです。ハッシュチェーン化されています。オフラインで検証できます。
WORLD999_LABS が開発しました。
@proof-layer/*として npm で公開されています。従来の@veridocs/*パッケージ名も引き続き解決され、新しいものに転送されます。
このリポジトリに含まれるもの
これは Proof Layer の公開部分、つまり、ご自身のマシンにインストールして実行する部分です。
| Package | What it does | npm |
|---|---|---|
@proof-layer/mcp | Claude Desktop、Cursor、Cline、およびあらゆる MCP 対応ホスト向けの MCP サーバー | |
@proof-layer/verify | スタンドアロンのオフライン検証ツール — 依存関係ゼロで、公開鍵だけを使ってあらゆる証明書バンドルを監査します |
カーネル(ガバナンスエンジン、Gauntlet の敵対者/判定パイプライン、課金、ダッシュボード)はクローズドソースで、prooflayer.world999labs.com で稼働しています。オープンソースのクライアントとクローズドソースのサーバーを組み合わせる方式は、Stripe、Resend、Vercel が採用しているのと同じです。ローカルで実行されるものと、マシンから送信されるデータを完全に確認できる一方、独自のサーバーロジックは保護されます。
クイックスタート
npx -y @proof-layer/mcp@latest
Claude Desktop の claude_desktop_config.json に追加します。
{
"mcpServers": {
"proof-layer": {
"command": "npx",
"args": ["-y", "@proof-layer/mcp@latest"],
"env": {
"PROOF_LAYER_API_KEY": "pl_live_...",
"PROOF_LAYER_API_URL": "https://prooflayer.world999labs.com"
}
}
}
}
Claude を再起動します。ピッカーに 8 つの pl_* ツールが表示されます。prooflayer.world999labs.com で API キーを取得してください。
@veridocs/mcpから移行しますか? コードの変更は不要です。従来のパッケージ名は引き続き解決され、従来のvd_*ツール名もpl_*と併せて引き続き使用できます。また、既存のVERIDOCS_API_KEY/VERIDOCS_API_URL環境変数も引き続き受け付けます。パッケージ名と環境変数名は、ご都合に合わせて切り替えられます。
なぜ実行前のガバナンスが必要なのか?
多くの「AI 安全性」ツールは、モデルが行動した後に動作します。毒性フィルター、出力分類器、事後監査ログなどです。アラームが鳴る頃には、エージェントはすでにメールを送信し、PR をマージし、取引を実行しています。
Proof Layer はこれを逆転させます。
- エージェントがアクションを提案します(例:「50,000 ドルを電信送金する」)。
- Proof Layer が評価し、署名付きの判定を返します:
EXECUTE/BLOCK/REVIEW/SHADOW - 証明書が、ハッシュチェーン化された Ed25519 署名付きの監査証跡に記録されます。
- 当社の公開鍵を持つ人なら誰でも、オフラインでチェーン全体を検証できます。当社のインフラを信頼する必要はありません。
ハッシュチェーンが壊れていれば、改ざんが即座にわかります。証明書がなければ、エージェントは許可なく行動したことになります。
証明書をオフラインで検証する
証明書は、私たちがいなくなった後も利用できるように設計されています。当社の API を一切呼び出さずにバンドルを検証する方法は次のとおりです。
import { verifyBundle } from "@proof-layer/verify";
import fs from "fs";
const bundle = fs.readFileSync("./receipts.ndjson", "utf8");
const publicKey = fs.readFileSync("./prooflayer-public-key.pem", "utf8");
const result = verifyBundle(bundle, publicKey);
console.log(result);
// { pass: 147, fail: 0, total: 147, chainBroken: false }
公開鍵は prooflayer.world999labs.com/v1/public-key で公開され、公開済みのスケジュールに従ってローテーションされます。
リソース
- 🌐 ホームページ: https://prooflayer.world999labs.com
- 🎬 ライブデモ(登録不要): https://prooflayer.world999labs.com/demo
- 📖 MCP ドキュメント: packages/mcp/README.md
- 🔒 プライバシーポリシー: PRIVACY.md
- 🐛 問題の報告: GitHub Issues
- 💬 サポート: [email protected]
ライセンス
MIT — 詳細は LICENSE をご覧ください。
カーネルとダッシュボードはプロプライエタリであり、このリポジトリには含まれていません。MCP サーバー、検証ツール、および @proof-layer/*(旧名称の @veridocs/* を含む)として公開されているすべてのクライアント SDK は、MIT ライセンスの下で提供されています。
コントリビューション
プルリクエスト、課題、フィードバックを歓迎します。詳細は CONTRIBUTING.md をご覧ください。
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。