GitHub repository: zacernst/prover9nudge
Description: Plumbing for a system to automagically recommend hints for Prover9