Module mcp 

Pure Lemma MCP tools: Engine + arguments in, catalog or text out.

No I/O, no JSON-RPC, no session, no remembered engine.

Structs

ResourceDefinition

ToolDefinition

Enums

ResourceError

Unknown or malformed resource URI.

ToolError

Expected MCP tool failure. Unexpected engine invariants still panic at the call site.

Functions

check

evaluate

Deprecated alias of run. Same args and formatted trees.

guide

list

list_resources

list_tools

read_resource

run

Evaluate a spec. Always explains (Engine::run(..., true)). No explain arg. Success text is ASCII explanation trees plus a Missing data block when unbound.

show

source