Personal analytics dashboard for your proof patterns.
When you ship proofs (based on timestamp data)
Generate a markdown summary of your proofs for sharing.