Semantic Geometry

Server Details

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

Glama couldn't complete the latest health check. If this server requires authentication, missing or expired test credentials may be the cause. A test profile lets Glama authenticate for health checks and discover tools; it is separate from your personal connections.

If you are the author, claim ownership, then add or update a test profile under Admin → Test Profile.

Status: Unhealthy
Last Tested: 2026-10-17 11:13
Transport: Streamable HTTP
URL

Related MCP Connectors

Qiniso A
io.github.qinisolabs
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
Knowledge & Memory RAG Systems
5621
ColdState — Deterministic Knowledge Infrastructure A
ai.coldstate
Deterministic knowledge for AI agents: search, fetch, cite and verify a 48M-entry knowledge base.
Search RAG Systems Knowledge & Memory
161
NumProof B
io.github.projecttron
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Finance Security
42
concordance C
com.narrowhighway
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Search Open Data
1022

Related MCP Servers

grounded-reasoning
ALEXaquarius
A
license
Not graded
quality
C
maintenance
Enables LLMs and agents to verify multi-hop relational claims before asserting them, using zero-token relation-algebra proofs with precision guarantees. It supports opt-in calibration guards for entity normalization and relation transitivity.
Updated 3 months ago (2026-07-06 18:20 UTC)
71 PyPI
1
MIT
ontoprune-mcp
Code Analysis Developer Tools AI & Machine Learning
vigmarcarlo
A
license
A
quality
A
maintenance
Neuro-symbolic deterministic context pruning middleware. Reduces tokens by 60%, drops local CPU TTFT by 62%, and prevents IP leakage via formal SPARQL contracts.
Updated 10 days ago (2026-10-07 13:26 UTC)
2
34 PyPI
3
MIT
Proofworks
Research & Data RAG Systems
0x06cf
A
license
Not graded
quality
C
maintenance
Enables AI agents to verify claims deterministically by computing arithmetic, ratios, and dates and matching statements against provided sources, returning a confidence ladder of certain, source-backed, or unverifiable.
Updated 2 months ago (2026-08-26 17:09 UTC)
MIT
Code Oracle
Code Analysis Developer Tools Testing & QA Tools
wahyuzero
A
license
Not graded
quality
A
maintenance
Enables AI coding agents to verify code patches locally with sub-50ms neuro-symbolic analysis, detecting structural issues like dependency cycles and interface drift without consuming output tokens.
Updated 21 days ago (2026-09-26 16:10 UTC)
1
Apache 2.0