Semantic Geometry

Server Details

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

The last two health checks of this connector failed. 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
Uptime: 0.0% over 22 days
Last Tested: 2026-11-06 21:02
Transport: Streamable HTTP
URL
ChatGPT: –
Claude: –

Related MCP Connectors

QinisoA
io.github.qinisolabs
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
Knowledge & Memory RAG Systems
5621
https://qiniso.qinisolabs.workers.dev/mcp
ColdState — Deterministic Knowledge InfrastructureA
ai.coldstate
Deterministic knowledge for AI agents: search, fetch, cite and verify a 48M-entry knowledge base.
Search RAG Systems Knowledge & Memory
161
https://cold-api.coldstate.ai/mcp
NumProofB
io.github.projecttron
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Finance Security
42
https://numproof.com/mcp
concordanceC
com.narrowhighway
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Search Open Data
10221
https://narrowhighway.com/mcp

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 4 months ago (2026-07-06 18:20 UTC)
83 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 a month ago (2026-10-07 13:26 UTC)
2
3
MIT
Proofworks
Research & Data RAG Systems
0x06cf
A
license
Not graded
quality
B
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
genpark-reasoning-mcts-step
AI & Machine Learning Autonomous Agents
Alpha-Park
A
license
Not graded
quality
Not graded
maintenance
Enables agents to verify complex math, code, and logic reasoning through MCTS step-level process reward modeling, counterfactual backtracking, symbolic proof checking, and majority-vote consensus so hallucinated branches get pruned. It also allocates test-time compute dynamically and exposes these capabilities over a zero-dependency STDIO MCP server for Claude Desktop, Cursor, and other agent runtimes.
Updated 7 days ago (2026-10-31 00:23 UTC)
7
MIT