lemma/mcp/mod.rs
1//! Pure Lemma MCP tools: `Engine` + arguments in, catalog or text out.
2//!
3//! No I/O, no JSON-RPC, no session, no remembered engine.
4
5mod catalog;
6mod error;
7mod tools;
8
9pub use catalog::{list_resources, list_tools, read_resource, ResourceDefinition, ToolDefinition};
10pub use error::{ResourceError, ToolError};
11pub use tools::{check, evaluate, guide, list, run, show, source};