Proof Publisher MCPCI/CD & DevOpsDeveloper Toolsbiliman1-workAlicenseBqualityDmaintenanceThis MCP server publishes commit-bound proof summaries to a specified HTTPS webhook, featuring fail-closed writes and a clear authority boundary for safe external actions. Updated 3 months ago (2026-08-01 20:28 UTC)1MIT