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 分