{"server":{"id":"verification-mcp","name":"Formal Verification & Topological Deficit","version":"1.0.0"},"skills":[{"id":"verification-mcp-workbench","name":"Formal Verification & Topological Deficit","uri":"skill://verification-mcp/workbench","description":"Betti number computation, topological deficit analysis, fold verification, DAG structural analysis, and pipeline invariant checking.","tools":["measure_betti","topological_deficit","verify_fold","dag_analysis","pipeline_invariants"],"tags":["verification"],"source":"local"}],"discovery":{"endpoint":"https://verification.forkjoin.ai/mcp","llms":"https://verification.forkjoin.ai/llms.txt"}}