io.github.macek166/syntropy-mcp

io.github.macek166/syntropy-mcp

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

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Cursor · HTTP clients.

{
  "mcpServers": {
    "syntropy-mcp": {
      "url": "https://api.synproof.ai/v1/mcp"
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
2.5.0
Registry
active
Published
11/3/2026

Remotes

  • streamable-httphttps://api.synproof.ai/v1/mcp

More Developer Tools servers

Browse all Developer Tools →

Jaxonomy — hybrid dynamical systems on JAX

machinavitalis

Build, simulate and calibrate JAX block-diagram models of hybrid dynamical systems.

Developer ToolsAdded 2 months ago

io.github.machinegrade/validate

machinegrade

Deterministic validation for AI-generated artifacts: JSON Schema, OpenAPI response, SQL syntax.

Developer ToolsAdded 3 months ago

Pipe (SPR) MCP Server

MachuraHarry

AI-native runtime with built-in MCP server. 232 builtins, AI pipelines, RAG, single ~8 MB binary.

Developer ToolsAdded 2 months ago

Pipe Docs (SPR) MCP Server

MachuraHarry

Docs + source RAG for Pipe language: semantic search, cited answers, code symbol lookup.

Developer ToolsAdded 2 months ago

io.github.maciekaz/eset-mcp

maciekaz

MCP server for the ESET ecosystem - Connect cloud + PROTECT On-Prem, multi-tenant, RO/RW

Developer ToolsAdded 6 days ago

Excaliself

maciekzygmunt

Find, read, create, edit, and organize Excalidraw drawings in your self-hosted Excaliself instance.

Developer ToolsAdded 3 days ago

Add the badge to your site

Show visitors that io.github.macek166/syntropy-mcp is listed here — it’s also the link we check for a free listing.

io.github.macek166/syntropy-mcp — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-macek166-syntropy-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.macek166/syntropy-mcp — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.macek166/syntropy-mcp — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-macek166-syntropy-mcp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.