MCP servers from io.github.musa8026
Signed Buildability Oracle for AI-for-science papers. ed25519 receipts, Wave proofs, divergence.