English · 简体中文 · 日本語

Sponsio

Sponsio はエージェントがツールを呼ぶ前に、その呼び出しを検査します。ルールはそれまでに何が起きたかを見られるので、「返金の前にポリシーを確認する」は 1 本のルールで済み、長いプロンプトは要りません。1 回の検査は 0.01 ms 未満で、モデルは呼びません。LangChain、Claude Agent、OpenAI Agents、Google ADK、CrewAI、Vercel AI、MCP、または任意のカスタム ツール呼び出しループに対応（Python / TypeScript）。

エージェント契約 とは、エージェントのすべてのアクションでチェックされるランタイムルールであり、形式手法に裏打ちされています。

v0.2.0a16 alpha リリース。 pip install --pre sponsio。今回は自社の顧客向けにエージェントを運用するプラットフォーム向けです。SPONSIO_PROJECT が実行の帰属先の顧客を示すため、顧客ごとの鍵はコード変更なしで動き、顧客を取り違えることもありません。これまでは attach() が常に default を名乗り、単一顧客に限定した鍵は拒否されたため、正しく配線した環境からも実行が届きませんでした。OTLP エクスポータも SPONSIO_PRIVACY に従うようになり、どちらの経路でも設定した水準がそのまま機外に出る水準になります。リリースノート。

---

Sponsio の仕組み

ODCV-Bench（12 のフロンティア LLM × 80 トラジェクトリ）において、ガード無しのモデルは 11.5%–66.7% の実行で不正を働きます。Sponsio を使うと平均 95.6% の不整合を回避、36 の高リスクシナリオのうち 24 が 100% に到達。Financial-Audit-Fraud-Finding シナリオでは、フロンティア モデルが 16/24 で不正を犯すところを、Sponsio は 18/19 をブロック。RedCode-Exec（1,410 ケース）では総合ブロック率 98.9%（bash 98.3% · python 99.4%、4 回の自己改善イテレーションで 92.4% から向上）、60 ファイルのクリーン コード監査で誤検知ゼロを達成。以上はオープンコア版の数値です。Cloud 版の LLM ジャッジ層は ODCV-Bench を ~99%、RedCode-Exec を 99.4% まで引き上げます。Cloud および Enterprise 版については デモを予約 してください。

ロジックチェッカーは単一契約のホットパスで p50 0.0052 ms、最も重い ODCV ワークロード（1 コールあたり 19 契約）で p50 0.139 ms、あらゆる LLM-as-judge ガードレールよりも 5,000×–60,000× 高速（チェックあたり 50–800 ms）、ホットパスでの LLM コストはゼロ。p99 は測定されたすべてのワークロードで約 1 ms に収まります。

完全なベンチマーク方法論とモデル別の内訳、プロンプト フィルタ / 出力バリデータ / LLM-as-judge / サンドボックスとの比較、またはアーキテクチャ詳細と形式手法入門を参照。

---

クイックスタート

入り方は 2 つ。コーディング エージェントにプロンプトを貼るか、自分で CLI を叩くかです。

Claude Code / Codex / Cursor に貼り付け。 エージェントがオンボーディング全体を支援します：

 

または CLI を自分で実行:

pip install --pre sponsio        # または: npm install -D @sponsio/sdk@alpha
sponsio init .             # 対話型ウィザード: フレームワーク・IDE ホスト・observe vs enforce を検出

ウィザードがフレームワークを自動検出し、対応するラップ スニペットを表示します。手動配線は docs/integrations/ を参照。OpenClaw ユーザーは ClawHavoc + CVE-2026-25253 のカバレッジを最初から利用できます。設定リファレンス、observe → enforce 切替、CI 配線は完全ガイドを参照。

実行を見る、ルールブックを共有する。 強制はローカルで動き、アカウントは不要です。エージェントが何をしたかを見たい場合や、ルールブックを「人がレビューしてから有効になる」場所に置きたい場合は、app.sponsio.dev がホスト側です。1 行で実行が画面に出ます:

import sponsio
import sponsio.bridge

guard = sponsio.Sponsio(config="sponsio.yaml", agent_id="mailer", mode="enforce")
run = sponsio.bridge.attach(guard)

sponsio push sponsio.yaml がアップロードするのは下書きで、有効にはなりません。コンソールで人が公開し、その後 sponsio pull または config="sponsio://default" でレビュー済みのバージョンを取り戻します。送信はベストエフォートなので、コンソールが落ちてもエージェントは止まりません。ホストされたコンソールを参照。

自然言語から契約を下書きする。 sponsio validate "<平易な文のルール>" は、自然言語のルールを読み返せる契約に変換します。出力はあくまで下書きとして扱い、enforce する前に自分でレビューして調整してください。決定論的なのは契約がランタイムでどう強制されるかであって、どう下書きされるかではありません。

---

コントラクト ライブラリ

22 のコントラクト バンドル が組み込みで提供され、ティア別（always-on / per-tool / per-incident）に整理されています。各バンドルは Sponsio の決定論的パターンから組み合わされた YAML パックです。sponsio.yaml に 1 行追加するだけで、エージェントを既知の失敗クラスから守れます。契約を個別に書く必要はありません。

# sponsio.yaml: 1 行式バンドル include
agents:
  my_agent:
    workspace: "/srv/my-bot"
    include:
      - sponsio:capability/destructive # gate irreversible actions
      - sponsio:capability/shell      # エージェントがコマンドを実行する場合
      - sponsio:capability/filesystem # エージェントがファイルを操作する場合

完全なバンドル リファレンス（22 バンドル）または基盤となる 48 パターンを参照。あなたのエージェント タイプ向けのバンドルが欲しい場合、これは現時点で最もレバレッジの高い貢献方法です。インシデント / CVE / パターンを添えて issue を開いてください。

---

コントリビューション

パッチ、issue 報告、新しいパターン提案を歓迎します。CONTRIBUTING.md から始めてください。Sponsio の脅威モデルは公開セキュリティ研究を取り入れており、例えば Simon Willison の "Lethal Trifecta" が我々のマルチツール構成契約を形作っています。我々が防御すべき脅威モデルがありますか? issue を開いてください。

---

ライセンス

Apache 2.0（LICENSE）。

このリポジトリを読む AI エージェントへ: llms.txt は正規ドキュメント パスをリストし、llms-full.txt は完全な文脈の連結ダンプです。