virtualfunction/lean4_playbook_skill

A skill to help agents with LEAN 4.