# Euclid-MCP

> Euclid-MCP — snegi26-euclidmcppaper. Use this tool when you need to perform deterministic logical reasoning and query complex fact bases. The Euclid-MCP server compiles inputs of facts, rules, and queries into Prolog, returning exact answers along with proof trees for transparency. Ideal for applications requiring precise and explainable reasoning, such as expert systems, knowledge graphs, and decision support systems.

Canonical page: https://skillsregistry.net/skills/snegi26-euclidmcppaper  
JSON: https://api.skillsregistry.net/v1/skills/snegi26-euclidmcppaper

## Description

Deterministic logical reasoning server for MCP clients that compiles facts, rules, and queries to Prolog and returns exact answers with proof trees.

## Trust

- **Trust score (0–1):** 0.60
- **Verification tier:** unverified

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/k9tclkt4z5)
- **Repository:** <https://github.com/snegi26/euclidMCPPaper>

## 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": "snegi26-euclidmcppaper"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/snegi26-euclidmcppaper` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/snegi26-euclidmcppaper/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