{"agents":[{"name":"verification-mcp","description":"Betti number computation, topological deficit analysis, fold verification, DAG structural analysis, and pipeline invariant checking.","mcpEndpoint":"https://verification.forkjoin.ai/mcp","capabilities":["measure_betti","topological_deficit","verify_fold","dag_analysis","pipeline_invariants"],"provider":{"name":"ForkJoin","url":"https://forkjoin.ai"}}]}