{"name":"aura-protocol","transport":"mcp (JSON-RPC 2.0 over HTTP)","hint":"POST MCP JSON-RPC requests here: initialize, tools/list, tools/call. Tools: search_operations, get_operation, list_invariants, execute_operation."}