Sponsio は時間軸に沿って展開されるエージェントの手続きに対して決定論的な契約を提供します。強制は 0.01 ms 未満、ランタイムでの LLM コストはゼロ。LangChain、Claude Agent、OpenAI Agents、Google ADK、CrewAI、Vercel AI、MCP、または任意のカスタム ツール呼び出しループに対応（Python / TypeScript）。
エージェント契約 とは、エージェントのすべてのアクションでチェックされるランタイムルールであり、形式手法に裏打ちされています。
v0.2.0a3 alpha リリース。
pip install --pre sponsio==0.2.0a3。非 LangGraph アダプタでredirect_to_safe発火時に fail-open になるバグを修正（元の unsafe ツールが実行されていた）。TSEqを複合値で Python の値等価セマンティクスに揃え、Cloudflare Workers 互換性を追加。0.2.0a2 利用者はアップグレード推奨。 詳細は v0.2.0a3 リリースノート。
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 / サンドボックスとの比較、またはアーキテクチャ詳細と形式手法入門を参照。
1 つのプロンプトまたは 2 行の CLI コマンドで即座にオンボーディング。
Claude Code / Codex / Cursor に貼り付け。 エージェントがオンボーディング全体を支援します：
または CLI を自分で実行:
pip install sponsio # または: npm install -D @sponsio/sdk
sponsio init . # 対話型ウィザード: フレームワーク・IDE ホスト・observe vs enforce を検出ウィザードがフレームワークを自動検出し、対応するラップ スニペットを表示します。手動配線は docs/integrations/ を参照。OpenClaw ユーザーは ClawHavoc + CVE-2026-25253 のカバレッジを最初から利用できます。設定リファレンス、observe → enforce 切替、CI 配線は完全ガイドを参照。
自然言語から契約を下書きする。 sponsio validate "<平易な文のルール>" は、自然言語のルールを読み返せる契約に変換します。出力はあくまで下書きとして扱い、enforce する前に自分でレビューして調整してください。決定論的なのは契約がランタイムでどう強制されるかであって、どう下書きされるかではありません。
16 のコントラクト バンドル が組み込みで提供され、ティア別（always-on / per-tool / per-incident）に整理されています。各バンドルは Sponsio の決定論的パターンから組み合わされた YAML パックです。sponsio.yaml に 1 行追加するだけで、エージェントを既知の失敗クラスから守れます。契約を個別に書く必要はありません。
# sponsio.yaml: 1 行式バンドル include
agents:
my_agent:
workspace: "/srv/my-bot"
include:
- sponsio:core/universal # always-on
- sponsio:capability/shell # エージェントがコマンドを実行する場合
- sponsio:capability/filesystem # エージェントがファイルを操作する場合完全なバンドル リファレンス（16 バンドル）または基盤となる 46 パターンを参照。あなたのエージェント タイプ向けのバンドルが欲しい場合、これは現時点で最もレバレッジの高い貢献方法です。インシデント / CVE / パターンを添えて issue を開いてください。
パッチ、issue 報告、新しいパターン提案を歓迎します。CONTRIBUTING.md から始めてください。Sponsio の脅威モデルは公開セキュリティ研究を取り入れており、例えば Simon Willison の "Lethal Trifecta" が我々のマルチツール構成契約を形作っています。我々が防御すべき脅威モデルがありますか? issue を開いてください。
Apache 2.0（LICENSE）。
このリポジトリを読む AI エージェントへ: llms.txt は正規ドキュメント パスをリストし、llms-full.txt は完全な文脈の連結ダンプです。