Viewing profile — michalbilinski

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 throug…