register_kb

MCP tool from Euclid MCP by meob

Register a named KB under a kbid

How to use it

Project documentation lists register_kb 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)

reason

Main deduction — get solutions + proof trees

unregister_kb

Remove a named KB from the registry

what_if

Test modifications before applying them