A
licenseA
qualityB
maintenanceVerify AI agent communication with session types and formal proofs.
4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.
4
11
Apache 2.0
Matching MCP tools:
Matching MCP Connectors:
com.meridianlabssoftware
co.civai.nova
co.civai.nova
md.adsagent