RSRaphael Stolt@raphaelstolt·1d0bbf92dScrew it. $ z py-lean && echo "# py-lean prompts" >> PROMPTS.md08:18 · Oct 28, 2026 · commit 0bbf92dQuoteReply