allaun 568f8686c5 feat(infra): token-saver MCP — routes to free local compute first ... TokenSaver MCP (token_saver_mcp.py): - verify_build: qfox-1 build server (HTTP, 0 tokens) - classify_proof: rrc-watchdog exe (local Lean, 0 tokens) - compile_check: lake env lean (local, 0 tokens) - generate_proof: neon DeepSeek-Prover-V2 first (CPU, 0 tokens), falls back to OpenRouter DeepSeek V4 Flash (paid) Registered in opencode.json as 'token-saver'. Build: 3571 jobs, 0 errors		2026-06-16 20:02:32 -05:00
..
opencode_prover_mcp.py	feat(lean): close 3 OTOM sorries, add RRC watchdog + MCP prover server	2026-06-16 19:35:16 -05:00
token_saver_mcp.py	feat(infra): token-saver MCP — routes to free local compute first	2026-06-16 20:02:32 -05:00