This is how I’m also developing most of my code these days as well. My opinions are pretty similar to the pig book author https://martin.kleppmann.com/2025/12/08/ai-formal-verificati....
https://forgejo.org/docs/v1.20/user/actions/
https://docs.gitea.com/usage/actions/overview
Both have “Actions” that are act based and very similar to GitHub Actions and offers some compatibility.
https://js.wiki/ is what we’ve decided to go with at my company.