Grounded Reasoning MCP
A relation-algebra verifier for LLM/agent multi-hop reasoning that provides zero-token, precision-guaranteed verification of claims by checking for grounded proof paths. It acts as a guard against hallucinations in complex relational logic without requiring external knowledge bases or additional model tokens.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Verify multi-hop relational claims before agent assertion
- Check consistency of LLM-generated facts using relation algebra
- Reduce hallucinations in complex reasoning tasks
Source and maintenance
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
grounded-reasoning 0.1.8
{
"version": "0.1.8",
"transport": "stdio",
"identifier": "grounded-reasoning",
"registryType": "pypi"
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"grounded-reasoning-mcp": {
"command": "uvx",
"args": [
"grounded-reasoning==0.1.8"
]
}
}
}Cline
{
"mcpServers": {
"grounded-reasoning-mcp": {
"command": "uvx",
"args": [
"grounded-reasoning==0.1.8"
]
}
}
}VS Code
{
"servers": {
"grounded-reasoning-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"grounded-reasoning==0.1.8"
]
}
}
}Claude Desktop
{
"mcpServers": {
"grounded-reasoning-mcp": {
"command": "uvx",
"args": [
"grounded-reasoning==0.1.8"
]
}
}
}Let your agent find its tools
Find servers like Grounded Reasoning MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.