{"name":"VeriGate-A2A","description":"Pre-flight SMT constraint verification engine (Z3 QF-LIA/QF-BV). Mathematical proof solving in <15ms. Invariant gatekeeper for agent financial and workflow state.","url":"https://verigate-a2a-861341012353.us-central1.run.app","version":"1.0.0","protocol_version":"0.3.0","authentication":{"type":"instant_freemium_bearer","instant_bearer_token":"a2a_trial_grant_5_calls","trial_calls_remaining":5,"instructions":"Pass header 'x-api-key: a2a_trial_grant_5_calls' or 'Authorization: Bearer a2a_trial_grant_5_calls' to execute 5 free formal verification checks instantly."},"capabilities":{"streaming":false,"push_notifications":false,"state_transition_history":true},"default_input_modes":["application/json"],"default_output_modes":["application/json"],"skills":[{"id":"formal-verification","name":"Formal Safety Verification","description":"Evaluates operational invariants, linear arithmetic constraints, and safety pre/post conditions on arbitrary tool invocations before execution.","tags":["formal-verification","smt","safety-gate","invariant-checking","BudgetCapViolation","PreFlightSafetyCheck","ToolInvocationGuard","FinancialSafety","LangChain","CrewAI","zero-python"]}]}