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

Language models guess. Syntropy proves.
The formal verification engine for AI outputs, contracts, scientific hypotheses, and critical decisions. Mapping natural-language semantics directly onto propositional logic, Synproof's Syntropy (https://synproof.ai) tests any claim against your ground-truth Small Worlds — eliminating hallucinations and returning a binary verdict (CONFIRMED or REFUTED) with a clear, defensible argument or counter-argument.

Package Scope & Architecture (Open-Source MIT SDK + Cloud Verification Engine)

Following the standard architecture of official cloud AI SDKs (openai, anthropic, pinecone):

• Open-Source Client SDK, CLI & MCP Server (syntropy-client on PyPI / syntropy-mcp on npm — MIT License): 100% of the Python and TypeScript client libraries, @verify_agent_output guardrail decorators, local Zero-Trust axiom_provider callbacks, CLI, and stdio MCP servers in this repository are open-source under the MIT License and distributed with full source (sdist + wheel) on PyPI.
• Syntropy Cloud Verification Engine (https://api.synproof.ai): The 5-sieve dialectical verification tribunal, SymPy Propositional SAT Solver, Axiomat compiler, and curated Small Worlds axiom registry run as a managed cloud platform operated by Synproof (https://synproof.ai).

---

Canonical Links & Documentation

Resource	URL
Web Platform & Interactive Studio	https://synproof.ai
Developer Documentation (20 Chapters)	https://synproof.ai/docs
Official PyPI Package (syntropy-client)	https://pypi.org/project/syntropy-client/
Public SDK & MCP GitHub Repository	https://github.com/macek166/synproof-syntropy
OpenRouter Integration Guide	https://synproof.ai/docs/openrouter
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"
      }
    }
  }
}

This is the beginning of the README. Read the rest at the original. Read the full README ↗