Lemma.Mcp (lemma_engine v0.10.2)

Pure Lemma MCP tools: engine + JSON args in, catalog or tool result text out.

Read tools mirror the engine catalog: evaluate, specs, show, source, check, guide. Admin/write tools stay in the CLI MCP server only.

evaluate/2 always includes explanations and returns formatted ASCII trees (plus a Missing data block when inputs are unbound). Args match SDK evaluate: spec, optional repository, rules, data (object), effective. Do not pass explain. User phrasing "ask Lemma" means evaluate.

Summary

Types

args()

engine()

Functions

check(args)

evaluate(engine, args)

guide(args)

list_resources()

list_tools()

read_resource(uri)

run(engine, args) deprecated

show(engine, args)

source(engine, args)

specs(engine, args)

Types

args()

@type args() :: map()

engine()

@type engine() :: Lemma.engine()

Functions

check(args)

@spec check(args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}

evaluate(engine, args)

@spec evaluate(engine(), args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}

guide(args)

@spec guide(args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}

list_resources()

@spec list_resources() :: {:ok, [map()]} | {:error, term()}

list_tools()

@spec list_tools() :: {:ok, [map()]} | {:error, term()}

read_resource(uri)

@spec read_resource(String.t()) ::
  {:ok, String.t()} | {:error, :unknown_uri, String.t()}

run(engine, args)

This function is deprecated. Use evaluate/2.

@spec run(engine(), args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}

show(engine, args)

@spec show(engine(), args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}

source(engine, args)

@spec source(engine(), args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}

specs(engine, args)

@spec specs(engine(), args()) ::
  {:ok, String.t()}
  | {:error, :invalid_arguments | :not_found | :diagnostics, String.t()}