Grounded Reasoning runs on your own machine — the client starts it, so there is no endpoint to ping. 189 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, 5 d ago · rules 995398eba69f
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": {
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}[mcp_servers.grounded-reasoning]
command = "uvx"
args = ["grounded-reasoning"]{
"mcpServers": {
"grounded-reasoning": {
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}{
"servers": {
"grounded-reasoning": {
"type": "stdio",
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}Alternatives to Grounded Reasoning
same job, measured the same wayExecution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
The oracle for agents. Verify trades, tokens and messages before your agent acts.
The oracle for agents. Verify trades, tokens and messages before your agent acts.
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.
Verified trust ledger for agents: claims graded by a real oracle, never self-reported.
Human-in-the-loop approval for agent actions, with verifiable action-bound receipts.
Local-first persistent memory for AI agents, with reasoning and formal verification.
Grounded Reasoning — questions
Answers built from our own checks of this server.