syntropy-mcp

SynproofのSyntropy — 公式Python・TypeScript SDK、MCP サーバー、AI エージェントスキル

言語モデルは推測します。Syntropyは証明します。
SynproofのSyntropy（https://synproof.ai）は、AI エージェント、法令遵守、科学的検証、エンタープライズの意思決定パイプライン向けの、決定論的な5段階ふるいによる弁証法的検証エンジンであり、Small Worlds公理ライブラリです。

---

正式リンクとドキュメント

リソース	URL
ウェブプラットフォームとインタラクティブスタジオ	https://synproof.ai
開発者向けドキュメント（20章）	https://synproof.ai/docs
5段階ふるいアーキテクチャの仕組み	https://synproof.ai/how-it-works
AI コーディングエージェントスキル（SKILL.md）	https://synproof.ai/SKILL.md
OpenAPI 3.1仕様	https://synproof.ai/openapi.json
本番環境のAPIエンドポイント	https://api.synproof.ai

---

1. AI コーディングエージェントスキルをインストールする

公式Skills CLIでインストールします。

npx skills add macek166/synproof-syntropy

---

2. Python SDKとCLI（syntropy-client）

インストール（公式PyPIレジストリ）

pip install syntropy-client

1行で使えるハルシネーション防止策（@verify_agent_output）

from syntropy import SyntropyClient, verify_agent_output

client = SyntropyClient()  # Reads SYNTROPY_API_KEY from the runtime environment

@verify_agent_output(
    world="@pravo:obcansky-zakonik-cz",
    axioms=["Smluvní pokuta nesmí překročit 0.5 % denně z dlužné částky."],
    max_failures=3,
    model_name="gemini-2.5-flash",
    on_refuted="fallback",  # "fallback" | "raise" | "return_verdict"
    client=client,
)
def legal_advisor_agent(user_query: str) -> dict:
    return {"answer": "Spotřebitel má právo odstoupit od e-shop smlouvy do 7 dnů."}

result = legal_advisor_agent("Jaká je lhůta pro odstoupení od smlouvy?")
print("Proven Answer:", result["answer"])

弁証法的検証を直接実行する

from syntropy import SyntropyClient

client = SyntropyClient()

verdict = client.debate(
    thesis="A consumer can withdraw from a distance contract within 7 days without penalty.",
    world="@pravo:obcansky-zakonik-cz",
    max_failures=3,
    model_name="gemini-2.5-flash",
)

print("Status:", verdict.status)                 # CONFIRMED | REFUTED
print("Winning Thesis:", verdict.winning_thesis)
print("Refuting Argument:", verdict.refuting_argument)

---

3. Model Context Protocol（MCP）サーバー（syntropy-mcp）

Claude Desktop、Claude Code、Cursor、Windsurf、Cline、Google Antigravityで利用できます。

{
  "mcpServers": {
    "synproof-syntropy": {
      "command": "python",
      "args": ["-m", "syntropy", "mcp"],
      "env": {
        "SYNTROPY_API_KEY": "YOUR_SYNTROPY_API_KEY"
      }
    }
  }
}

公開される読み取り・検証用MCPツール

• syntropy_verify — 宣言的な主張、コード上の前提、法的条項を、Small Worldに照らした正式な5段階ふるいによる弁証法的審査にかけます。
• syntropy_list_worlds — 検証済みの公開Small Worlds（@law:...、@pravo:...、@medicine:...、@finance:...、@physics:...）を一覧表示します。
• syntropy_get_world_axioms — Small Worldのすべての原子公理を確認します。
• syntropy_get_onboarding_guide — インタラクティブな実装ガイド（SKILL.md）を取得します。

---

4. セキュリティとデータの分離

• 認証情報のスキャンなし： このスキルが.envファイルやローカルの認証情報を調べることはありません。開発者は自身のランタイム環境でSYNTROPY_API_KEYを設定します。
• 公式レジストリのみ： PyPI（syntropy-client）およびGitHub（macek166/synproof-syntropy）経由でのみ配布されます。
• プロンプトインジェクションのサニタイズ： 信頼されていない主張や公理はすべてサニタイズ（sanitize_untrusted_text）され、検証前に制御文字と命令的なプロンプトインジェクション指示が除去されます。

---

ライセンス

MIT © Synproof