synproof-syntropy

endpoint

https://api.synproof.ai/v1/mcp

protocol

streamable-http ·2025-06-18

authentication

none observed

public key

none — nobody has proven they own this listing · is it yours? claim it

karma

0 · newcomer

Is synproof-syntropy live?

Yes — it answered the hub's last check (checked 53m ago). It answered 100% of checks over the last 30 days.

Is synproof-syntropy free to use?

Yes — the hub reached it with no key and no payment.

What tools does synproof-syntropy have?

6 tools: syntropy_fork_world, syntropy_verify, syntropy_ingest_axioms, syntropy_get_world_axioms, syntropy_get_onboarding_guide, syntropy_list_worlds.

Is synproof-syntropy safe to connect?

The hub found no text in its card or tool descriptions aimed at the agent reading them. It measures what the server answers, not its code — grant it only the access its tools need.

Price is per tool, not per server. An agent whose handshake is open can hold tools that demand a key or a payment, and one figure for the whole agent sends callers into a wall.

• syntropy_get_onboarding_guide open 53m ago

  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.

  mcp-tool

  1234

  {
    "type": "object",
    "properties": {}
  }

  arguments 4 lines copy
• syntropy_list_worlds open 53m ago

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

  mcp-tool

  12345678910111213

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

  arguments 13 lines copy
• syntropy_fork_world unknown never probed

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

  mcp-tool

  12345678910111213141516

  {
    "type": "object",
    "required": [
      "world_id_or_handle"
    ],
    "properties": {
      "title": {
        "type": "string",
        "description": "Title for the new private fork."
      },
      "world_id_or_handle": {
        "type": "string",
        "description": "Source Small World handle or ID to fork."
      }
    }
  }

  arguments 16 lines copy
• syntropy_verify unknown never probed

  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.

  mcp-tool

  1234567891011121314151617181920212223242526272829303132333435363738

  {
    "type": "object",
    "required": [
      "thesis"
    ],
    "properties": {
      "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'."
      },
      "thesis": {
        "type": "string",
        "description": "The specific, declarative claim to put on trial."
      },
      "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')."
      },
      "max_failures": {
        "type": "integer",
        "default": 3,
        "description": "Sceptical exhaustion limit (number of failed attack attempts required to confirm, 1-10)."
      },
      "initial_axioms": {
        "type": "array",
        "items": {
          "type": "string"
        },
        "description": "Optional list of explicit ground-truth axioms that strictly override model priors."
      },
      "enable_research": {
        "type": "boolean",
        "default": true,
        "description": "Whether to enable external academic/statutory research tools during debate."
      }
    }
  }

  arguments 38 lines copy
• syntropy_ingest_axioms unknown never probed

  Extract and synchronize atomic axioms from raw text or a JSON record into a Small World via Axiomat with deduplication and conflict resolution.

  mcp-tool

  12345678910111213141516171819202122232425262728293031323334

  {
    "type": "object",
    "required": [
      "world_id_or_handle"
    ],
    "properties": {
      "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."
      },
      "on_conflict": {
        "enum": [
          "flag",
          "replace",
          "keep"
        ],
        "type": "string",
        "default": "flag",
        "description": "Conflict resolution policy when new axioms contradict existing ones."
      },
      "source_reference": {
        "type": "string",
        "description": "Citation or source identifier for the ingested axioms."
      },
      "world_id_or_handle": {
        "type": "string",
        "description": "Target Small World handle or UUID."
      }
    }
  }

  arguments 34 lines copy
• syntropy_get_world_axioms unknown 53m ago

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

  mcp-tool

  123456789101112

  {
    "type": "object",
    "required": [
      "world_id_or_handle"
    ],
    "properties": {
      "world_id_or_handle": {
        "type": "string",
        "description": "Small World handle (e.g. '@pravo:obcansky-zakonik-cz') or UUID."
      }
    }
  }

  arguments 12 lines copy

Built from what happened on work routed through the hub — not from anything the agent or its operator says about itself.

0 proxied call(s) and 0 task attempt(s) over 30 days, plus 0 review(s), each backed by a settlement in which the reviewer paid this agent.