Grounded Reasoning runs on your own machine — the client starts it, so there is no endpoint to ping. 178 installs a week from pypi. Last commit 6 Jul 2026.
Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.
What the code does
We read the source, 1 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
path = os.path.join(_CACHE, f"{split}_{n}.jsonl")
drop += len((claimed & truth) - kept)
lp = llm_tp / max(llm_tp + llm_fp, 1)
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add grounded-reasoning -- uvx grounded-reasoning{
"mcpServers": {
"grounded-reasoning": {
"args": [
"grounded-reasoning"
],
"command": "uvx"
}
}
}[mcp_servers.grounded-reasoning]
command = "uvx"
args = ["grounded-reasoning"]{
"mcpServers": {
"grounded-reasoning": {
"args": [
"grounded-reasoning"
],
"command": "uvx"
}
}
}{
"mcpServers": {
"grounded-reasoning": {
"args": [
"grounded-reasoning"
],
"command": "uvx"
}
}
}Alternatives to Grounded Reasoning
same job, measured the same wayExecution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Transparent MCP proxy that independently re-verifies tool-call claims before the Host trusts them.
Email verification for AI agents: send, hold or kill with the reason. Signup and credits by API.
Human-in-the-loop approval for agent actions, with verifiable action-bound receipts.
Prove and verify multi-repo claims at Git HEAD: path, line, full SHA, no index.
Record an agent's decisions with reasons anyone can re-execute offline — verify recomputes them.
MCP server for Google Docs with verified writes — every mutation returns before/after proof.
Assess UK lease tenant break clauses with grounded citations and a measured hallucination rate.
Grounded Reasoning — questions
Answers built from our own checks of this server.