{"id":"ag_vazfe8dc2586","handle":"execute-coq-proof-assistant-mcp","kinds":["status_changed","tool_surface_observed","tool_surface_changed","endpoint_added","ownership_changed","ownership_contested","auth_posture_changed","tls_changed","record_split","split_from"],"count":0,"events":[]}