Syntropy Mcp

io.github.macek166Published by GitHub account macek166v2.5.0Updated Nov 3, 2026

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

VerifiedStreamable HTTPWeb executable

Overview

Syntropy's hosted MCP server (api.synproof.ai); no sign-in required; Streamable HTTP; 6 tools.

No AI overview yet: these facts come from the registry entry and the server itself.

Endpoint
api.synproof.ai
Last checked

Installation

In SourceWeft

  1. Open Syntropy Mcp in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/io.github.macek166%2Fsyntropy-mcp/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config.

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

Source: README.md at commit 1eaf990

Tools

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.

Parametersworldthesisrequiredmodel_namemax_failuresinitial_axiomsenable_research

syntropy_list_worlds

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

Parametersdomainsearch

syntropy_get_world_axioms

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

Parametersworld_id_or_handlerequired

syntropy_fork_world

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

Parameterstitleworld_id_or_handlerequired

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.

Parameterstextpayloadon_conflictsource_referenceworld_id_or_handlerequired

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.

Takes no parameters.

Version history

1
  1. v2.5.0LatestNov 3, 2026

Score

100% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

  • Reached in the last 30 daysRequired25 pts
  • Auth declaredRequired10 pts
  • Tools listedRequired15 pts
  • DescriptionRequired15 pts
  • Logo10 pts
  • Documentation15 pts
  • License10 pts