Protects any file against corruption. A small recovery file lets you verify it and repair bit rot, bad sectors, truncated or cut files byte for byte. Fast on huge files such as local AI models.
→
GpgFrontendSaturneric
Saturneric.GpgFrontendv2.2.4
A modern, cross-platform, open-source GUI for OpenPGP encryption.
→
L
LedgerfulLedgerful, LLC
Ledgerful.Ledgerfulv0.2.18
Local-first change intelligence CLI for impact analysis and verification
→
FileHasherFSP Productions, LLC
FSPProductions.FileHasherv0.5.0
Windows GUI utility to hash files and folders, write sidecar hash files, and export results to CSV.
→
R
Reasongit-ksk
git-ksk.Reasonv0.5.5
Provider-neutral reasoning CLI with evidence-bound verification
→
V
VerifpalSymbolic Software
SymbolicSoftware.Verifpalv1.6.6
Cryptographic protocol analysis for real-world cryptographic protocols.
→
C
cairnProductOfAmerica
ProductOfAmerica.cairnv0.5.0
Verification substrate for AI coding agents
→
QuickParPeter B. Clements
PeterBClements.QuickParv0.9
QuickPar is a PAR 2.0-compliant data protection and recovery program.
