Skip to content

[llm] agent-facing interfaces: interactive REPL and in-binary MCP server - #1019

Draft
strub wants to merge 57 commits into
mainfrom
llm-interactive
Draft

strub wants to merge 57 commits into
mainfrom
llm-interactive

[llm] mcp -sessions: one engine per agent behind one MCP server

2b2ca3c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Sep 22, 2026 in 6s