{"name":"synproof-syntropy","version":"2.5.0","protocolVersion":"2024-11-05","transport":"streamable-http","endpoint":"https://api.synproof.ai/v1/mcp","repository":"https://github.com/macek166/synproof-syntropy","tools":[{"name":"syntropy_verify","description":"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.","inputSchema":{"type":"object","properties":{"thesis":{"type":"string","description":"The specific, declarative claim to put on trial."},"world":{"type":"string","description":"Optional Small World handle(s) such as '@pravo:obcansky-zakonik-cz', '@law:insolvency-code', '@law:contract-act', or '@law:brrd-isda'."},"initial_axioms":{"type":"array","items":{"type":"string"},"description":"Optional list of explicit ground-truth axioms that strictly override model priors."},"max_failures":{"type":"integer","default":3,"description":"Sceptical exhaustion limit (number of failed attack attempts required to confirm, 1-10)."},"model_name":{"type":"string","default":"gemini-2.5-flash","description":"Underlying model ('gemini-2.5-flash', 'gemini-2.5-pro', 'anthropic/claude-3.5-sonnet', 'deepseek/deepseek-r1')."},"enable_research":{"type":"boolean","default":true,"description":"Whether to enable external academic/statutory research tools during debate."}},"required":["thesis"]}},{"name":"syntropy_list_worlds","description":"List available public and official verified Small Worlds (@domain:tag) in the Synproof Syntropy Library.","inputSchema":{"type":"object","properties":{"domain":{"type":"string","description":"Optional domain filter (e.g. 'pravo', 'law', 'medicine', 'physics', 'finance')."},"search":{"type":"string","description":"Optional keyword search query."}}}},{"name":"syntropy_get_world_axioms","description":"Retrieve all atomic ground-truth axioms and metadata for a given Small World handle or ID.","inputSchema":{"type":"object","properties":{"world_id_or_handle":{"type":"string","description":"Small World handle (e.g. '@pravo:obcansky-zakonik-cz') or UUID."}},"required":["world_id_or_handle"]}},{"name":"syntropy_fork_world","description":"Create an isolated private fork of a public Small World so custom rules can be ingested without altering public axioms.","inputSchema":{"type":"object","properties":{"world_id_or_handle":{"type":"string","description":"Source Small World handle or ID to fork."},"title":{"type":"string","description":"Title for the new private fork."}},"required":["world_id_or_handle"]}},{"name":"syntropy_ingest_axioms","description":"Extract and synchronize atomic axioms from raw text or a JSON record into a Small World via Axiomat with deduplication and conflict resolution.","inputSchema":{"type":"object","properties":{"world_id_or_handle":{"type":"string","description":"Target Small World handle or UUID."},"text":{"type":"string","description":"Raw regulatory, contractual, or policy text to compile into atomic axioms."},"payload":{"type":"object","description":"Optional structured JSON/database record to compile into axioms."},"source_reference":{"type":"string","description":"Citation or source identifier for the ingested axioms."},"on_conflict":{"type":"string","enum":["flag","replace","keep"],"default":"flag","description":"Conflict resolution policy when new axioms contradict existing ones."}},"required":["world_id_or_handle"]}},{"name":"syntropy_get_onboarding_guide","description":"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.","inputSchema":{"type":"object","properties":{}}}]}