Skip to content

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

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

[llm] agent-facing interfaces: interactive REPL and in-binary MCP server#1019
strub wants to merge 52 commits into
mainfrom
llm-interactive

[mcp] stop naming the JSON constructors yojson 3 removed

51c6915
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 3, 2026 in 8s