Crate tidepool_mcp 

MCP (Model Context Protocol) server library for Tidepool.

Wraps tidepool-runtime in an MCP server exposing run_haskell, compile_haskell, and eval tools. Generic over effect handler stacks via TidepoolMcpServer<H>.

Structs

CapturedOutput

Captured output from effect handlers (e.g., Console Print).

EffectDecl

Static metadata describing a Haskell effect type.

EvalRequest

Request parameters for the eval tool.

ParsedConstructor

Parsed constructor info extracted from an EffectDecl constructor string.

ResumeRequest

Request parameters for the resume tool.

TidepoolMcpServer

Generic MCP server wrapper that compiles and runs Haskell via Tidepool.

TidepoolMcpServerImpl

Non-generic internal implementation to satisfy trait requirements.

Traits

CollectEffectDecls

Trait for collecting effect declarations from an HList of handlers.

DescribeEffect

Trait for effect handlers that can describe their Haskell-side type.

McpEffectHandler

Trait combining effect dispatch with cloning for the MCP server.

Functions

aeson_imports

Qualified aeson imports for MCP eval. Unqualified symbols now come from Tidepool.Prelude. These provide Aeson. prefix (used by json_to_haskell for input injection) and qualified access to KeyMap/Vector for power users.

ask_decl

Ask effect: suspend execution to ask the calling LLM a question.

build_effect_stack_type

build_preamble

Generate the Haskell module preamble that wraps user code in eval calls.

console_decl

Console effect: print text output.

exec_decl

Exec effect: run shell commands.

fs_decl

File I/O effect (sandboxed).

git_decl

Git effect: native repository access via libgit2.

http_decl

Http effect: fetch JSON from HTTP endpoints.

kv_decl

Key-value store effect.

llm_decl

LLM effect: call a fast LLM (Haiku) for classification, extraction, or judgment.

meta_decl

Meta effect: self-mirror for querying runtime metadata.

parse_constructor

Parse "GitLog :: Text -> Int -> Git [Value]" → ParsedConstructor { name: "GitLog", arity: 2 }

sg_decl

Structural grep (ast-grep) effect.

standard_decls

All standard effects in canonical order.

template_haskell