Lemma.Mcp (lemma_engine v0.9.7)

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

Summary

args()

engine()

check(args)

guide(args)

list_resources()

list_tools()

@type args() :: map()

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

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

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

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

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

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

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

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

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

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