# Grounded Reasoning

> Grounded Reasoning — alexaquarius-grounded-reasoning. Use this tool when you need to verify multi-step relational claims with perfect precision, or solve complex reasoning problems that require mathematical operator algebra. It takes in relational claims and produces a proof path as output, making it ideal for applications where accuracy and transparency are crucial. Grounded Reasoning is particularly useful in contexts where multi-hop reasoning is necessary, such as knowledge graph queries or natural language inference.

Canonical page: https://skillsregistry.net/skills/alexaquarius-grounded-reasoning  
JSON: https://api.skillsregistry.net/v1/skills/alexaquarius-grounded-reasoning

## Description

Grounded Reasoning is a zero-token, precision-guaranteed relation-algebra verifier for multi-hop reasoning. It checks multi-step relational claims using mathematical operator algebra instead of an additional LLM call, achieving perfect precision while producing a proof path for each verified claim. It plugs into Claude or any MCP-compatible agent as a dedicated MCP server.

## Trust

- **Trust score (0–1):** 0.63
- **Verification tier:** scanned
- **Last scanned:** 2026-09-03

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-03

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/alexaquarius-grounded-reasoning)
- **Repository:** <https://github.com/alexaquarius/grounded-reasoning>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "alexaquarius-grounded-reasoning"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/alexaquarius-grounded-reasoning` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/alexaquarius-grounded-reasoning/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt