mcp: structured JSON from eval/hol_load, output truncation, built-in timing#163

jrh13 merged 3 commits intojrh13:masterjrh13/hol-light:masterfrom

sgmenda:mcp-context-improvementssgmenda/hol-light:mcp-context-improvementsCopy head branch name to clipboard