NestDaddy

Semantic Geometry

io.github.marcoret74/semantic-geometry ยท v1.0.0

Deterministic verifier: LLM proposes, graph verifies. Sub-ms, offline, 0 tokens.

Connect Remote server

Terminal
claude mcp add --transport http semantic-geometry https://verify.semgeo.cl/mcp
~/.cursor/mcp.json
{
  "mcpServers": {
    "semantic-geometry": {
      "url": "https://verify.semgeo.cl/mcp"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "semantic-geometry": {
      "type": "http",
      "url": "https://verify.semgeo.cl/mcp"
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://verify.semgeo.cl/mcp

Tools

The tool list was not available in our last check.

Details

Endpointhttps://verify.semgeo.cl/mcp (Streamable HTTP)
First published16 Oct 2026
Last updated16 Oct 2026
Registry nameio.github.marcoret74/semantic-geometry

More data and analytics servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.