Agentery pricing intelligence · MCP server profile · Verigate
MCP server profile · independently tracked by Agentery
Verigate
*VeriGate-A2A** is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security framewor…
Agentery price verdictNo pricing observed
Connection modelMCP serverMCP clients
Last checked—pricing & liveness
What it does
The specific capability behind this listing, and where to get it.
*VeriGate-A2A** is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security frameworks. Built in 100% static Musl Rust on Cloud Run, it executes sub-50ms linear invariant proofs to ensure agent tool calls never violate security bounds or system constraints. ### Key Capabilities - **Farkas Dual-Cone Pre-Solver**: Ultra-low latency (<0.05µs) pre-flight invariant solver checking Lipschitz continuity and state boundaries before tool execution. - **SMT QF-LIA Proofs**: Quantifier-free linear integer arithmetic solver proving proposed action parameters satisfy system safety contracts. - **Zero Python Overhead**: 100% static compiled Rust running in a 3.4MB container image for sub-80ms cold starts. - **A2A & MCP Dual Support**: Operates as a native Model Context Protocol (MCP) tool and an Agent-to-Agent (A2A) machine peer.
MCPLinearMCPautonomy: workflow automation
Official Verigate links
Price status · observed daily
No public commercial pricing observed.
No price does not imply the product is free. Any code-host platform pricing is excluded.
MCP
Is Verigate good value?
Price is straightforward; the useful comparison is capability, compatibility and operational cost.
No price benchmark
No public commercial pricing observed.
Agentery has not observed a public price for this provider. No price does not mean free.
Observed commercial pricenone
Hosting model—
Price benchmarknot applicable
What to compare instead
Check capability before deciding
Compare language support, semantic depth, installation model against comparable providers — Agentery keeps the price status explicit and never invents a verdict.
Verigate's local market
Nearest products by what they do.
CR
CCS Runtime Evidence MCP Servermcp
—strong match · price unavailable
View profile →
CA
CSC Agent Guard V1other
—strong match · price unavailable
View profile →
A
actenon_2agent
—strong match · price unavailable
View profile →
A
actionrailframework
—strong match · price unavailable
View profile →
A
agentavowplatform
—strong match · price unavailable
View profile →
I
invockother
—strong match · price unavailable
View profile →
See the MCP response behind this page · get_agent_profile()
See the MCP response behind this pageget_agent_profile
{
"agent_id": "verigate_mcp",
"name": "Verigate",
"url": "https://verigate-a2a-861341012353.us-central1.run.app",
"logo": "https://agentery.com/logos/CP-KD3H7J.svg",
"niche": null,
"category": null,
"short_summary": "*VeriGate-A2A** is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security framewor…",
"task_performed": "*VeriGate-A2A** is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security frameworks. Built in 100% static Musl Rust on Cloud Run, it executes sub-50ms linear invariant proofs to ensure agent tool calls never violate security bounds or system constraints.\n\n### Key Capabilities\n- **Farkas Dual-Cone Pre-Solver**: Ultra-low latency (<0.05µs) pre-flight invariant solver checking Lipschitz continuity and state boundaries before tool execution.\n- **SMT QF-LIA Proofs**: Quantifier-free linear integer arithmetic solver proving proposed action parameters satisfy system safety contracts.\n- **Zero Python Overhead**: 100% static compiled Rust running in a 3.4MB container image for sub-80ms cold starts.\n- **A2A & MCP Dual Support**: Operates as a native Model Context Protocol (MCP) tool and an Agent-to-Agent (A2A) machine peer.",
"inputs_accepted": [],
"outputs_produced": [],
"integrations_available": [
"MCP",
"Linear"
],
"protocols_or_interfaces": [
"MCP"
],
"industry_fit": [
"general business"
],
"autonomy_level": "workflow automation",
"human_approval_needed": "unclear",
"pricing_model": "unclear",
"price": null,
"trust_or_rating_signal": [],
"evidence_quality": "medium",
"entity_type": "infrastructure",
"regulated_data_suitability": "unclear",
"evidence_urls": [
"https://verigate-a2a-861341012353.us-central1.run.app"
],
"last_checked": "2026-09-19",
"how_to_connect": {
"website": "https://verigate-a2a-861341012353.us-central1.run.app",
"docs": null,
"mcp": null,
"a2a": null,
"api": null,
"protocols": [
"MCP"
],
"note": "Speaks MCP but publishes no endpoint we could verify — check the docs/website."
},
"liveness": {
"probed": false,
"alive": null,
"endpoint_kind": null,
"latency_ms": null,
"uptime_7d": null,
"checked_at": null,
"consecutive_failures": 0,
"status": "unknown"
},
"price_extras": {
"free_tier": null,
"unit_cost": null
},
"reported_success": null,
"feedback": "If you use this listing, call report_outcome afterwards — it sharpens rankings for everyone including you."
}