Syntropy Mcp

io.github.macek166由 GitHub 帳號 macek166 發布v2.5.0更新於 Nov 3, 2026

Synproof 的 Syntropy 五篩辯證驗證引擎與 Small Worlds 公理庫。

AI 翻譯由 AI 模型根據下方的原文描述翻譯，可能有誤。

原文描述

Synproof's Syntropy 5-sieve dialectical verification engine and Small Worlds axiom library.

已驗證Streamable HTTP可網頁執行

概覽

Syntropy 的託管 MCP 服務（api.synproof.ai）；無需登入；Streamable HTTP；6 個工具。

暫無 AI 概覽：以下資訊來自註冊中心條目和服務本身。

端點
api.synproof.ai
最近檢查

安裝

在 SourceWeft 中

  1. 開啟 儀表板中的 Syntropy Mcp，將其新增到工作區。
  2. 為需要使用其工具的對話啟用該服務。

Web executable，透過 Streamable HTTP。 遠端服務在工作區中設定後即可從網頁執行環境執行。

交給代理程式安裝

把這段提示詞貼上到 Claude Code、Codex、Cursor 等代理程式，或 SourceWeft 對話中。代理程式會讀取該伺服器的安裝指南，先向你展示發布者、端點和登入方式，經你同意後再把它新增到你的客戶端。金鑰不會寫進任何命令。

閱讀 https://sourceweft.com/mcp/io.github.macek166%2Fsyntropy-mcp/install.md，並按其中說明把這個 MCP 伺服器接入我的客戶端。修改任何設定之前，先告訴我它的發布者、端點和登入方式，等我確認。不要把 API 金鑰寫進命令或我會提交的檔案；問我金鑰應從哪裡取得。

檢視代理程式所依據的安裝指南

其他 MCP 客戶端

把它新增到你客戶端的 mcpServers 設定中。

{
  "mcpServers": {
    "syntropy": {
      "type": "http",
      "url": "https://api.synproof.ai/v1/mcp"
    }
  }
}

README

Synproof's Syntropy — Official Python & TypeScript SDK, MCP Server & AI Agent Skill

[Website] [PyPI] [Documentation] [AI Agent Skill] [OpenAPI 3.1] [License: MIT]

Language models guess. Syntropy proves.
Synproof's Syntropy (https://synproof.ai) is a deterministic 5-sieve dialectical verification engine and Small Worlds axiom library for AI agents, legal compliance, scientific verification, and enterprise decision pipelines.

Canonical Links & Documentation

ResourceURL
Web Platform & Interactive Studiohttps://synproof.ai
Developer Documentation (20 Chapters)https://synproof.ai/docs
How the 5-Sieve Architecture Workshttps://synproof.ai/how-it-works
AI Coding Agent Skill (SKILL.md)https://synproof.ai/SKILL.md
OpenAPI 3.1 Specificationhttps://synproof.ai/openapi.json
Production API Endpointhttps://api.synproof.ai

1. Install the AI Coding Agent Skill

Install via the official Skills CLI:

bash
npx skills add macek166/synproof-syntropy

2. Python SDK & CLI (syntropy-client)

Installation (Official PyPI Registry)

bash
pip install syntropy-client

1-Line Hallucination Guardrail (@verify_agent_output)

python
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"])

Direct Dialectical Verification

python
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 | REFUTEDprint("Winning Thesis:", verdict.winning_thesis)print("Refuting Argument:", verdict.refuting_argument)

3. Model Context Protocol (MCP) Server (syntropy-mcp)

Works with Claude Desktop, Claude Code, Cursor, Windsurf, Cline, and Google Antigravity.

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

Exposed Read & Verification MCP Tools

  • syntropy_verify — Put any declarative claim, code assumption, or legal clause on formal 5-sieve dialectical trial against a Small World.
  • syntropy_list_worlds — List verified public Small Worlds (@law:..., @pravo:..., @medicine:..., @finance:..., @physics:...).
  • syntropy_get_world_axioms — Inspect all atomic axioms of a Small World.
  • syntropy_get_onboarding_guide — Retrieve the interactive implementation guide (SKILL.md).

4. Security & Data Isolation

  • Zero Credential Scanning: The skill never inspects .env files or local credentials. Developers configure SYNTROPY_API_KEY in their own runtime environment.
  • Official Registry Only: Distributed exclusively via PyPI (syntropy-client) and GitHub (macek166/synproof-syntropy).
  • Prompt-Injection Sanitization: All untrusted claims and axioms are sanitized (sanitize_untrusted_text) to strip control characters and imperative prompt-injection directives before verification.

License

MIT © Synproof

來源：README.md，提交 1eaf990

工具

6

syntropy_verify

Put a falsifiable claim (thesis), contract clause, scientific hypothesis, or AI output on formal adversarial trial against explicit ground-truth axioms and/or a Small World (@domain:tag) using Synproof's 5-sieve Syntropy dialectical engine. Returns a deterministic CONFIRMED or REFUTED verdict, winning thesis, refuting argument, and triggered axioms.

輸入參數worldthesis必填model_namemax_failuresinitial_axiomsenable_research

syntropy_list_worlds

List available public and official verified Small Worlds (@domain:tag) in the Synproof Syntropy Library.

輸入參數domainsearch

syntropy_get_world_axioms

Retrieve all atomic ground-truth axioms and metadata for a given Small World handle or ID.

輸入參數world_id_or_handle必填

syntropy_fork_world

Create an isolated private fork of a public Small World so custom rules can be ingested without altering public axioms.

輸入參數titleworld_id_or_handle必填

syntropy_ingest_axioms

Extract and synchronize atomic axioms from raw text or a JSON record into a Small World via Axiomat with deduplication and conflict resolution.

輸入參數textpayloadon_conflictsource_referenceworld_id_or_handle必填

syntropy_get_onboarding_guide

Return the complete interactive Synproof Syntropy Customer Implementation & Onboarding Skill (SKILL.md). Call this tool whenever the user asks to integrate, set up, or connect Syntropy into their project so you know which questions to ask (ground-truth sources, max_failures iterations, on_refuted behavior, API keys) and which SDK/Proxy code templates to apply.

無需輸入參數。

版本歷史

1
  1. v2.5.0最新Nov 3, 2026

評分

已滿足適用檢查項的 100%

該評分衡量此收錄條目的完整程度，依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價，也不表示伺服器安全或目前可用：可連通性是帶日期的檢查結果，評分也不包含安裝量或使用者評價。

  • 近 30 天內可連通必需25 分
  • 已宣告認證方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 圖示10 分
  • 文件15 分
  • 授權條款10 分