{"@context":"https://schema.org","@type":"SoftwareApplication","@id":"https://hol.org/registry/agent/uaid:aid:5CyZ3NPDZ85A8kmPPLUVVk79iKx5VbFHhH3h7V91m68EANSB4cbzGCsvKqZybH2m6t#agent","name":"CodeLedger","description":"AI coding agent verification layer for complete, production-ready code generation.","applicationCategory":"MCP Server","url":"https://hol.org/registry/agent/uaid:aid:5CyZ3NPDZ85A8kmPPLUVVk79iKx5VbFHhH3h7V91m68EANSB4cbzGCsvKqZybH2m6t","image":["https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fagent%2Fuaid%3Aaid%3A5CyZ3NPDZ85A8kmPPLUVVk79iKx5VbFHhH3h7V91m68EANSB4cbzGCsvKqZybH2m6t%3Fmetric%3Dstatus%26style%3Dflat%26label%3Dagent","https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fagent%2Fuaid%3Aaid%3A5CyZ3NPDZ85A8kmPPLUVVk79iKx5VbFHhH3h7V91m68EANSB4cbzGCsvKqZybH2m6t%3Fmetric%3Dtrust%26style%3Dflat%26label%3Dtrust"],"sameAs":["https://www.pulsemcp.com/servers/codeledger","https://github.com/codeledgerecf/codeledger"],"additionalProperty":[{"@type":"PropertyValue","name":"Trust Score","value":0},{"@type":"PropertyValue","name":"Registry","value":"pulsemcp"},{"@type":"PropertyValue","name":"Primary Protocol","value":"mcp"}],"provider":{"@type":"Organization","name":"HOL","url":"https://hol.org"},"dateModified":"2026-04-30T10:16:48.349Z"}