list_kbs

MCP tool from Euclid MCP by meob

List registered named KBs (metadata)

How to use it

Project documentation lists list_kbs 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

reason

Main deduction — get solutions + proof trees

register_kb

Register a named KB under a kbid

unregister_kb

Remove a named KB from the registry

what_if

Test modifications before applying them