* [Gobra v26.02](https://github.com/viperproject/gobra) – Automated, modular verifier for Go programs based on the Viper verification infrastructure.

* [Sourcify sourcify-server@3.11...](https://github.com/argotorg/sourcify) – Source-code verification service for Ethereum smart contracts supporting Solidity and Vyper.