i agree, i wrote a z3 skills for claude and generate a proof before writing code

I’m working on a games website called https://minigames.world It’s really low budget, but the idea might be interesting to you. It’s a Laravel app that’s solely interactable through a TUI application, so Claude Code can help me operate it. To support my decision-making, I analyze collected data with Jupyter notebooks. I’ve been working on this since early October 2025.