mcp: add proof recording and tactic replay#167

Merged

jrh13 merged 4 commits intojrh13:masterfrom

ckocaogullar:mcp-server

Apr 13, 2026

Commits on Apr 10, 2026

mcp: add proof recording with start_recording/stop_recording tools
Ceren Kocaogullar
committed
mcp: add recording_dir config for auto-recording
Ceren Kocaogullar
committed
mcp: add replay_init and replay_prefix config for proof resumption
Ceren Kocaogullar
committed

Commits on Apr 13, 2026

mcp: add recording tests and update SKILL.md
Ceren Kocaogullar
committed