Zero-token, precision-guaranteed relation-algebra verifier for LLM/agent multi-hop reasoning
接入配置
选择客户端,复制配置,再按项目文档补齐环境变量。
claude mcp add grounded-reasoning -- uvx grounded-reasoning~/.codex/config.toml
[mcp_servers.grounded-reasoning]
command = "uvx"
args = ["grounded-reasoning"]
# codex mcp add grounded-reasoning -- uvx grounded-reasoning~/.cursor/mcp.json
{
"mcpServers": {
"grounded-reasoning": {
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}.vscode/mcp.json
{
"servers": {
"grounded-reasoning": {
"type": "stdio",
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"grounded-reasoning": {
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"grounded-reasoning": {
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"grounded-reasoning": {
"command": "uvx",
"args": [
"grounded-reasoning"
]
}
}
}