Show HN: ProvLedger – stops coding agents repeating mistakes

ProvLedger appears to help coding agents remember previous mistakes so they do not repeat them. A practical adoption path is to manually inspect its README and