■ 概要 複数予測市場（Kalshi・Polymarket）の価格矛盾を自動検出し、確率公理を破るアービトラージ機会をペーパートレードするオープンソースエンジン。 ■ 特徴・用途 ・関連イベント間の論理制約（含意・排他性・補集合）をマップして、各市場の手数料を考慮した価格破裂を特定 ・MCP サーバー/Python API/JSON CLI の複数インタフェースで LLM エージェント統合に対応 ・10 種類の戦略（制約ベース 6 個、統計的アービトラージ 2 個、モデル駆動 2 個）による多層的アプローチ ■ 結論 研究段階のペーパートレード専用（実取引実績なし）だが、確率的矛盾検出と多元市場費用最適化の構造は、リスク管理型アービトラージプラットフォームの基盤として技術的価値あり。