MCP servers from io.github.armanas
Run hosted proofs, signed receipts, service discovery, and local install planning.
