syntropy-mcp

Name: syntropy-mcp
Author: macek166

远程服务

github.com/macek166AI 与智能体14 天前更新

代码仓库

关于 syntropy-mcp

syntropy-mcp 为 AI Agent 和团队提供 Synproof 的确定性辩证验证引擎，用于检查主张、假设或法律条款。它通过五重筛选流程，根据 Small World 的公理评估陈述。

主要功能

01五重筛选主张验证
02针对公理进行辩证审查
03列出公开 Small Worlds
04查看 Small World 公理
05获取入门指南

适用场景

01依据 Small World 检查法律条款
02在 Agent 工作流中验证代码假设
03根据公理评估陈述

MCP 相关

MCP 服务提供验证主张、列出公开 Small Worlds、查看其公理以及获取入门指南的工具。配置时需要 SYNTROPY_API_KEY。

配置

远程服务无需本地安装。选择你使用的客户端，复制配置或使用一键安装。

服务地址https://api.synproof.ai/v1/mcp

一键复制安装命令

Claude CodeTerminalclaude mcp add --transport http macek166-syntropy https://api.synproof.ai/v1/mcp

Cursor.cursor/mcp.json{"mcpServers":{"macek166-syntropy":{"type":"http","url":"https://api.synproof.ai/v1/mcp"}}}在 Cursor 中打开

VS Code.vscode/mcp.json{"servers":{"macek166-syntropy":{"type":"http","url":"https://api.synproof.ai/v1/mcp"}}}在 VS Code 中打开

Claude Desktopclaude_desktop_config.json{"mcpServers":{"macek166-syntropy":{"type":"http","url":"https://api.synproof.ai/v1/mcp"}}}

Windsurf~/.codeium/windsurf/mcp_config.json{"mcpServers":{"macek166-syntropy":{"serverUrl":"https://api.synproof.ai/v1/mcp"}}}

命令在终端中运行；JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。

工具

详细介绍

Synproof's Syntropy — 官方 Python 和 TypeScript SDK、MCP 服务与 AI Agent 技能

大模型会猜测，Syntropy 会证明。
Synproof's Syntropy (https://synproof.ai) 是一个确定性的五重筛选辩证验证引擎和 Small Worlds 公理库，适用于 AI Agent、法律合规、科学验证和企业决策工作流。

规范链接与文档

资源	URL
Web 平台与交互式工作室	https://synproof.ai
开发者文档（20 章）	https://synproof.ai/docs
五重筛选架构的工作原理	https://synproof.ai/how-it-works
AI 编码 Agent 技能（`SKILL.md`）	https://synproof.ai/SKILL.md
OpenAPI 3.1 规范	https://synproof.ai/openapi.json
生产环境 API 端点	`https://api.synproof.ai`

1. 安装 AI 编码 Agent 技能

通过官方 Skills CLI 安装：

npx skills add macek166/synproof-syntropy

2. Python SDK 和 CLI（`syntropy-client`）

安装（官方 PyPI 注册表）

pip install syntropy-client

一行式幻觉防护（`@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. 模型上下文协议（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，对任何陈述性主张、代码假设或法律条款进行正式的五重筛选辩证检验。
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），移除控制字符和命令式提示词注入指令。