correctover-mcp-serverSecurityAutonomous AgentsDSHCorrectoverAlicense-Not gradedqualityCmaintenanceEnables protocol-level runtime verification of AI agent tool calls across six dimensions with a fail-closed guarantee, blocking any action that fails verification before execution. Updated 6 days ago (2026-10-05 10:10 UTC)01Elastic 2.0
Agent Runtime ProxySecurityDeveloper ToolsDSHCorrectoverFlicense-Not gradedqualityCmaintenanceEnables fail-closed runtime interception of MCP tool calls, blocking denied, verifier-error, or timed-out invocations while forwarding permitted calls with Ed25519 receipts. Updated 6 days ago (2026-10-05 06:37 UTC)-