reason

MCP tool from Euclid MCP by meob

Main deduction — get solutions + proof trees

How to use it

Project documentation lists reason for the Euclid MCP MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), then check which tools your installed version makes available. Tool availability can depend on configuration and credentials. A server handshake does not verify this tool’s behavior. See the full listing for setup details.

Install Euclid MCP

$python3 -m euclid_mcp

FULL EUCLID MCP LISTING

Other tools in Euclid MCP (7)

check_kb

Validate KB consistency before reasoning

diagnose

Understand why a query succeeds or fails

explain

Readable, natural-language reasoning steps

list_kbs

List registered named KBs (metadata)