Home / MCP registry index / io.github.marcoret74/semantic-geometry
Semantic Geometry
io.github.marcoret74/semantic-geometry in the official MCP registry.
Endpoint https://verify.semgeo.cl/mcp. Source: github.com/marcoret74/sg.
The registry describes it as: Deterministic verifier: LLM proposes, graph verifies. Sub-ms, offline, 0 tokens.
We read its 13 tools on 2026-10-26. Nothing in them matched our tool-poisoning rules. It also sets server instructions, text a client puts in front of the model on connect; those were read too.
A clean read means these rules found nothing, not that the server is harmless. A server can change its tools at any time, which is why the index reads it again every week.
Tools it advertises
sg_calculate_math sg_verify_claim sg_thread_radiography sg_lookup_concept sg_semantic_centroid sg_brujula sg_resonancia sg_resonantes sg_reverse_gps sg_geocode_address sg_solar_system_snapshot sg_mining_simulation sg_eval_rules
Run this server? Show the check in your README
The badge reflects the latest weekly read: 
[](https://lazaretto.dev/mcp-registry/io-github-marcoret74-semantic-geometry)How this was checked
Lazaretto connects to the endpoint the way any MCP client does, asks the server to introduce itself and list its tools, and reads every name, description, parameter schema and server instruction for tool poisoning: hidden directive blocks, orders to read local secrets, parameters built to carry secrets or the conversation out, orders that redirect another server's tools, and invisible characters. It never calls a tool. What we found across the registry.
To run the same check every time Claude Code adds a server, install the free lazaretto-guard plugin. Browse every server in the index.
Related
| io.github.DarthSander/agentdata-nl io.github.DarthSander/agentdata-nl | 53 tools, nothing matched 2026-10-22 |
| Relm CRM com.relmcrm/relm | 41 tools, nothing matched 2026-10-26 |
| com.mudko/agent-ready-kit com.mudko/agent-ready-kit | 26 tools, nothing matched 2026-10-22 |
| com.agentwebmap/agentwebmap com.agentwebmap/agentwebmap | 24 tools, nothing matched 2026-10-26 |
| Cleanor app.cleanor/cleanor | 22 tools, nothing matched 2026-10-22 |
| QuickBuild agent tools (x402) dev.workers.quynguyenbac.quickbuild/agent-tools | 18 tools, nothing matched 2026-10-22 |