@itamarst@hachyderm.io @mcc@mastodon.social hopefully that includes Verification Driven Development tools https://levon003.github.io/2026/01/07/verification-driven-development.html