Synproof's Syntropy 5-sieve dialectical verification engine and Small Worlds axiom library.
Connect Remote server
claude mcp add --transport http syntropy-mcp https://api.synproof.ai/v1/mcp
{
"mcpServers": {
"syntropy-mcp": {
"url": "https://api.synproof.ai/v1/mcp"
}
}
}
{
"servers": {
"syntropy-mcp": {
"type": "http",
"url": "https://api.synproof.ai/v1/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://api.synproof.ai/v1/mcp
Tools 9 found in our last check
syntropy_verifyPut a declarative claim (thesis), contract clause, scientific hypothesis, or AI output on formal adversarial trial against explicit ground-truth axioms, a Small World (@domain:tag), and/or live Custom Epistemic Connectors (SQL tables, REST webhooks, retrieval sub-agents) using S…
syntropy_list_worldsList available public and official verified Small Worlds (@domain:tag) in the Synproof Syntropy Library.
syntropy_get_world_axiomsRetrieve all atomic ground-truth axioms and metadata for a given Small World handle or ID.
syntropy_fork_worldCreate an isolated private fork of a public Small World so custom rules and connectors can be attached.
syntropy_ingest_axiomsCompile and synchronize custom text, contracts, or JSON/SQL table rows into a Small World via Axiomat.
syntropy_register_connectorRegister a Custom Epistemic Connector (live REST API webhook, SQL/JSON table snapshot, data-retrieval sub-agent endpoint, or MCP tool bridge) on a Small World (@domain:tag).
syntropy_list_connectorsList all registered Custom Epistemic Connectors attached to a Small World (with secret headers redacted).
syntropy_query_connectorExecute a registered Custom Epistemic Connector on a Small World and return sanitized ground-truth facts.
syntropy_get_onboarding_guideReturn the interactive Synproof Syntropy Customer Implementation & Onboarding Skill (SKILL.md).
Details
| Endpoint | https://api.synproof.ai/v1/mcp (Streamable HTTP) |
| Package | [email protected] (NPM, stdio) |
| First published | 9 Nov 2026 |
| Last updated | 9 Nov 2026 |
| Registry name | io.github.macek166/syntropy-mcp |
More other servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
