MCP: Runcode, upgrade, compile - #6236

Open

bbarker wants to merge 7 commits into

unisonweb:trunkfrom

bbarker:runcode-upgrade-compile

Commits on May 19, 2026

Add optional param to run tool for typecheck-then-run
bbarker
committed
70f8332
fix nix flake
bbarker
committed
763cf05
update proofs
bbarker
committed
09397aa
add tests for mcp run with code
bbarker
committed
b73c80e
update hashes
bbarker
committed
dde78a7
formatting
bbarker
committed
da8371e

Commits on May 22, 2026

Add compile and lib-upgrade MCP tools
bbarker
committed
4e28522