{"status":"healthy","service":"verification-mcp","version":"1.0.0","environment":"production","timestamp":"2026-06-13T04:38:41.168Z","toolCount":5,"tools":["measure_betti","topological_deficit","verify_fold","dag_analysis","pipeline_invariants"]}