MCP servers
Semantic Geometry
Deterministic verifier: LLM proposes, graph verifies. Sub-ms, offline, 0 tokens.
Remotes
Streamable HTTP
https://verify.semgeo.cl/mcpclaude mcp add --transport http semantic-geometry https://verify.semgeo.cl/mcpPackages
This server publishes no installable package.
Server details
- Registry name
- io.github.marcoret74/semantic-geometry
- Version
- 1.0.0
- Registry status
- active
- Repository
- marcoret74/sg
- Website
- semgeo.cl
- First published
- Source
- Official MCP Registry
