Semantic Geometry MCP Server

by marcoret74 Your server? Claim it

answering

Semantic Geometry is answering right now. Last checked 6 min ago. It exposes 22 tools.

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

The linked repository no longer exists on GitHub — it was deleted or made private.

Uptime history 18 days of history · worst day 87%

18 days agonow

94.5%

Uptime 24h

86 of 91 checks

Tools

read from the server

827 ms

Response time

average over 24h

open, no key

Access

streamable-http

What changed 23

Every tool that appeared, vanished or quietly changed what it asks for. Recorded since 28 October 2026. No other catalogue keeps this.

2 Nov 9 tools appeared sg_dimension_check, sg_dimension_derive, sg_dimension_proof and 6 more

1 Nov a tool changed version

28 Oct 12 tool descriptions were rewritten sg_brujula, sg_calculate_math, sg_eval_rules and 9 more

28 Oct a tool appeared sg_thread_radiography

Semantic Geometry does not always answer

Over the last week it answered 93.6% of our checks. We check every 15 minutes, so you hear about the next outage within the hour — not from your users.

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 6 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

claude mcp add semantic-geometry --transport http https://verify.semgeo.cl/mcp

Settings → Connectors → Add custom connector, then paste this address

https://verify.semgeo.cl/mcp

~/.codex/config.toml

[mcp_servers.semantic-geometry]
url = "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"
    }
  }
}

Available tools 22

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

math

sg_math_catalog

Lista magnitudes y fórmulas canónicas del catálogo SG-DOC. Permite filtrar por texto (id/fórmula/fuente) y limitar resultados. Útil para descubrir qué fórmulas se pueden verificar o demostrar.

sg_math_convert

Convierte una expresión a otra unidad compatible: '1 km' → 'm', '1 m/s' → 'km/h'.

sg_math_eval

Evalúa una expresión aritmética/científica con el motor C++23 (IEEE 754).

sg_math_eval_units

Evalúa expresiones con unidades SI y convierte a base: '9.8 m/s^2 * 2 s', '1 km + 500 m'.

sg_math_isolate

Despeja una variable de una fórmula del catálogo: potencia_electrica + I → P / V.

sg_math_solve

Resuelve ecuaciones lineales y cuadráticas en x/y con el solver C++23.

dimension

sg_dimension_check

Verifica si una ecuación es dimensionalmente consistente usando SG-DOC C++23. Acepta 'P = V * I', 'E = mc²', '1/2mv²' o un id de fórmula. Devuelve CONFIRMED (dimensiones iguales), REFUTED (no coinciden) o NO_EVIDENCE (símbolo/fórmula desconocida). No es calculator aritmética: solo dimensiones.

sg_dimension_derive

Dado un nombre de magnitud (ej. 'potencia', 'energia', 'resistencia') o un id de fórmula, devuelve las fórmulas que la derivan, variables, dimensiones y veredicto. No es un solver simbólico general.

sg_dimension_proof

Devuelve la demostración auditada de una fórmula del catálogo: pasos, fuente, dimensiones LHS/RHS y veredicto. Si la fórmula no existe o no tiene pasos/fuente, devuelve NO_EVIDENCE. No inventa pasos.

brujula

sg_brujula

EN: Semantic compass: polar decomposition of a concept in the cube — radius r, mass M=r², heading θ and octant. | ES: Brújula Semántica: descompone un concepto en su forma polar en el hipercubo [-1,1]³ — radio (r), masa (M=r²), heading (ángulo θ) y octante. La masa mide la energía semántica; el heading el eje (ontológico/biográfico).

calculate

sg_calculate_math

EN: Evaluate math/physics expressions deterministically (C++23, IEEE 754 double, exact): '2^8', 'x+5=12'. | ES: Evalúa expresiones matemáticas, aritméticas, algebraicas o ecuaciones de física deterministamente en C++23 con precisión IEEE 754 de 64 bits (ej: '1 + 1', '25 * 4', '2^8', 'x + 5 = 12').

eval

sg_eval_rules

EN: Run a CLOSED-domain SG DSL program (facts + rules, EXACT arithmetic) and return derived facts with their inference chain. Deterministic, offline, sub-ms. Not a general-purpose language. | ES: Ejecuta un programa del DSL CERRADO de dominio de SG (hechos + reglas, con aritmética EXACTA) y devuelve los hechos DERIVADOS con su cadena de inferencia. Determinista, offline, sub-ms. Útil para protocolos mineros, reglas tributarias o dosificación. NO es un lenguaje de propósito general.

geocode

sg_geocode_address

EN: Geocode an address/street/commune to WGS84 coordinates and navigation links (100% offline). | ES: Geocodifica una dirección o nombre de calle/comuna a coordenadas GPS WGS84 de alta precisión y enlaces de navegación satelital (100% offline).

lookup

sg_lookup_concept

EN: Look up a concept in the semantic cube [-1,1]^3: coordinates (Valence, Energy, Certainty), octant and clean causal relations. | ES: Busca un concepto en el hipercubo semántico [-1, 1]³ y retorna sus coordenadas tridimensionales (Valencia, Energía, Certeza), octante y relaciones ontológicas causales limpias.

mining

sg_mining_simulation

EN: Run a critical ventilation/geomechanics incident simulation in an underground mine (El Teniente / Chuquicamata). | ES: Ejecuta simulación de incidente crítico de ventilación y geomecánica en faena subterránea (Codelco El Teniente / Chuquicamata).

resonancia

sg_resonancia

EN: Polar resonance between TWO concepts: angular affinity (1+cos Δθ)/2, radial ratio and coupling, plus 3D Euclidean distance. | ES: Resonancia polar entre DOS conceptos: afinidad angular (1+cos Δθ)/2, ratio radial (tensión de magnitud) y el acople (afinidad × ratio), junto a la distancia euclidiana 3D como referencia. Lente armónica del circunplex de Russell, complementaria a la distancia.

resonantes

sg_resonantes

EN: Concepts that RESONATE with a given one: polar re-ranking of cube neighbors by angular affinity and radial magnitude (finds translations and related concepts). | ES: Conceptos que RESUENAN con uno dado: re-ranking polar de los vecinos del hipercubo por afinidad angular y magnitud radial. Surte equivalencias semánticas (traducciones en la misma posición, resonancia ~1.0) y conceptos afines.

reverse

sg_reverse_gps

EN: Reverse geocoding: exact street address (street, number, commune) and map links from latitude/longitude (100% offline). | ES: Obtiene la dirección catastral exacta (calle, número y comuna) y enlaces a mapas a partir de coordenadas GPS de latitud y longitud (100% offline, 0 mm error).

semantic

sg_semantic_centroid

EN: Compute the continuous 3D semantic centroid, scalar variance and covariance matrix of a phrase/query. | ES: Calcula el centroide semántico continuo 3D, la varianza escalar y la matriz de covarianza de una frase o consulta en formato limpio.

solar

sg_solar_system_snapshot

EN: Compute J2000 orbital ephemerides, lunar phases and Solar System coordinates deterministically. | ES: Calcula efemérides orbitales J2000, fases lunares y coordenadas del Sistema Solar en tiempo real de forma 100% determinista.

thread

sg_thread_radiography

EN: Build a stateless conversation-thread radiography from the last N turns: frame, entities, slots, per-entity open questions, heading/affect, frame geometry, potential field/attractors, controlled potential tie-break and evidence. Optional entity lookup. No persistence. | ES: Construye una radiografía stateless de un hilo (últimos N turnos): frame, entidades, slots, preguntas abiertas por entidad, heading/afecto, geometría de frames, campo de potencial/atractores, desempate controlado por potencial y evidencia. Permite consultar una entidad. No persiste datos.

verify

sg_verify_claim

EN: Verify a factual/ontological claim against the semantic graph. Returns CONFIRMED (direct edge), CONFIRMED_BY_PATH (multi-hop), NO_EVIDENCE (graph has no evidence — NOT false), NODE_ABSENT (term outside the cube), REFUTED (direct refutation), CONFIRMED_NEGATIVE, CONFLICT (derogated norm used as valid). Direct-edge checks are ~ms; BFS/NO_EVIDENCE can take longer. | ES: Verifica formalmente una afirmación factual u ontológica contra el grafo semántico. Veredictos: CONFIRMED (arista directa), CONFIRMED_BY_PATH (multi-salto), NO_EVIDENCE (no hay evidencia; NO significa falso), NODE_ABSENT (término fuera del cubo), REFUTED (refutación directa), CONFIRMED_NEGATIVE, CONFLICT (norma derogada usada como vigente). Arista directa ~ms; BFS/NO_EVIDENCE puede tardar más.

Endpoints

URL	Transport	State	Latency	Checked
https://verify.semgeo.cl/mcp	streamable-http	answering	800 ms	6 min ago

Alternatives to Semantic Geometry

same job, measured the same way

Smartscale

by jdhart81

Deterministic CR80 pixel-geometry scaler. Callers supply the card and object pixel geometry; this MC

4 tools answering

Mapsmith

by mapsmith-ai

Deterministic GIS geoprocessing with verifiable provenance on every output

1 157 installs/wk local only

Osnova

by getdomovoi

Deterministic code map for AI coding agents: a tree-sitter call graph with exact file:line over MCP.

85 installs/wk local only

LLMScribe

by amrito-kundu

Deterministic local project map, search and file reader for AI agents.

258 installs/wk local only

GEOMETRY

by geometry

Deterministic calendars and cosmic date JSON for AI agents via MCP (Gregorian 1900-2100).

8 tools answering

Submarine Cables MCP

by mrfentmen

Submarine communications cables: list, search, landing points and route geometry from TeleGeography.

281 installs/wk local only

WKT geometry token, value discarded

by sadri-dridi

WKT geometry token, value discarded

31 tools answering

Boundr

by danielinniss

UK administrative boundary data from OS Boundary Line: name search, point lookup, GeoJSON geometries

7 tools answering

Semantic Geometry — questions

Answers built from our own checks of this server.

What can Semantic Geometry do?

It exposes 22 tools, read directly from the server on our last check. Among them: sg_brujula, sg_calculate_math, sg_dimension_check, sg_dimension_derive, sg_dimension_proof, sg_eval_rules and 16 more. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →

What is Semantic Geometry mostly used for?

Its tools cluster around math and dimension. That is what this server is built to work with — the grouping comes from the actual tool names, not from a category we assigned.

Is Semantic Geometry working right now?

We send a real MCP handshake every 15 minutes. Over the last 24 hours 86 of 91 checks got a reply (94.5%), average response time 827 ms. The bar chart above shows every period we have measured.

Is Semantic Geometry still maintained?

The linked repository no longer exists on GitHub — it was deleted or made private. We show this because it changes what you can expect: an unmaintained server may keep answering for months and then stop without warning.

How do I connect Semantic Geometry?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.

Does Semantic Geometry need an API key?

No. Semantic Geometry completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 22 of them are readable on this page. This is what we observed, not what the docs claim.

How fast is Semantic Geometry?

It answers our handshake in 827 ms on average, which is faster than 10% of all working MCP servers we measure. That is on the slow side — worth knowing if the tool sits inside an interactive loop. The comparison comes from our own checks across the whole registry, every 15 minutes.