Slither

Chimeraは、FoundryでSolidityのテストを記述し、Echidna、Medusa、Halmos、Kontrolなどの他のオープンソースツールで再利用できるようにするためのフレームワークです。

Synpressは、Playwrightにイーサリアム対応のブラウザ自動化を重ねることで、CIでウォレットのポップアップやチェーンの切り替えを含む分散型アプリケーション (dapp) のエンドツーエンドテストを行えるようにします。

Aderynは、プロトコルエンジニアやセキュリティ研究者がSolidityコードベースの脆弱性を見つけるのを支援するように設計された、CyfrinのオープンソースでRustベースのSolidityスマート・コントラクト静的アナライザーです。

Medusaは、Echidnaにインスパイアされたステートフルなスマートコントラクトファザーです。スマートコントラクトの並列ファジングテストと、高度なスマートコントラクトの不変条件の検証を提供します。

Titanoboaは、完全なFoundryループの外部でコントラクトを実験する際の高速なフィードバックループのための、インタラクティブなVyperインタープリターおよびテストハーネスです。

solidity-coverageは、Hardhat開発者プラットフォームにスマートコントラクトのコードカバレッジを提供します。精度が非常に高く、完全なviaIR Solidityコンパイルと、Solidity固有のコードブランチパターンの大規模なセットをサポートしています。約23万のGitHubプロジェクトにインストールされており、NPMから週に約10万回ダウンロードされています。