Deterministic verifier: LLM proposes, graph verifies. Sub-ms, offline, 0 tokens.
Connect Remote server
claude mcp add --transport http semantic-geometry https://verify.semgeo.cl/mcp
{
"mcpServers": {
"semantic-geometry": {
"url": "https://verify.semgeo.cl/mcp"
}
}
}
{
"servers": {
"semantic-geometry": {
"type": "http",
"url": "https://verify.semgeo.cl/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://verify.semgeo.cl/mcp
Tools
The tool list was not available in our last check.
Details
| Endpoint | https://verify.semgeo.cl/mcp (Streamable HTTP) |
| First published | 16 Oct 2026 |
| Last updated | 16 Oct 2026 |
| Registry name | io.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.
