Paulo Matos on Mythryl: “Updated the ESBMC Claude Code plugin

Updated the ESBMC Claude Code plugin — now with Python verification support and a new repo home. Also started writing up an idea: what if formal verification happened *during* coding, not after? p.ocmatos.com/blog/esbmc-p...

p.ocmatos.comESBMC Plugin Update: Python Support, a New Home, and Where This Is Going - Notes & CodePython verification support, a new agent-marketplace repo, and thoughts on co-temporal verification.

23/2/26, 10:49 am0 reposts1 like

Post