SAME ENGINE BEHIND THE REAL MCP + A2A SERVERS

Stop an agent before it drops your database.

This runs ai/verify, the safety and reachability barrier compiled to WebAssembly. It is the identical Go package that gates tools/mcpserver and tools/a2aagent, the real MCP and A2A servers, just wired to buttons here instead of protocol calls. Try dropping the database before validating a backup.

Runbook: db-maintenance

try step 3 first

Barrier log

// waiting for WASM engine...

What this page is, and isn't

This is a static site with no backend, so it cannot run a live MCP or A2A network server, both are real protocols an agent connects to over stdio or HTTP. What you just clicked through is the actual verification logic those servers call before committing a step. Run the real servers yourself:

git clone https://github.com/SharedCode/sop.git
cd sop
go run ./examples/verify_barrier        # same scenario, in a terminal
go run ./cmd/sop-mcp-server              # MCP over stdio
go run ./cmd/sop-a2a-agent &             # A2A over HTTP
curl localhost:8087/.well-known/agent-card.json

Full writeup: docs/MCP_A2A_AND_VERIFICATION_ENGINE.md