{"id":"21907ebf-79bf-44f7-ac5b-3482f386da53","slug":"npm-proofledger-mcp","name":"proofledger-mcp","description":"ProofLedger MCP server — verify ASC 606 claims with formal proofs","capabilities":["mcp","proofledger","asc606","audit","formal-verification","lean4"],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":35.8,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-04-15T02:00:28.676Z"}