MCP servers from io.github.getambr
Ricardian contracts for AI agents — dual-format, SHA-256 bound, legible by construction.