ProofKeeper: Desktop tool to automate proof management.
SITE: https://github.com/woleet/woleet-proofkeeper