syntropy-mcp

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

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

Resource	URL
Web Platform & Interactive Studio	https://synproof.ai
Developer Documentation (20 Chapters)	https://synproof.ai/docs
How the 5-Sieve Architecture Works	https://synproof.ai/how-it-works
AI Coding Agent Skill (SKILL.md)	https://synproof.ai/SKILL.md
OpenAPI 3.1 Specification	https://synproof.ai/openapi.json
Production API Endpoint	https://api.synproof.ai

---

1. Install the AI Coding Agent Skill

Install via the official Skills CLI:

npx skills add macek166/synproof-syntropy

---

2. Python SDK & CLI (syntropy-client)

Installation (Official PyPI Registry)

pip install syntropy-client

1-Line Hallucination Guardrail (@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"])

Direct Dialectical Verification

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) Server (syntropy-mcp)

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

{
  "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