Certora/CertoraProver

できること

Certora/CertoraProverは公開GitHubリポジトリ · 主な言語：Kotlin。最新の記録ではスター337件、フォーク48件です。 トピック：blockchain, certora, certora prover, ethereum, formal verification, security tools。 利用前に資料、ライセンス、現在のIssueを確認してください。

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

GitHubリポジトリ

スター

337

スター増加・7日

—

フォーク

48

主なプログラミング言語

Kotlin

リポジトリのライセンス

GPL-3.0

最後のコード更新

2026/09/07

人気はGitHubのスター数に基づきます。7日の増加数には1週間のローカル記録が必要です。当サイトの収集であり、GitHub公式のトレンドではありません。

出典と更新状況

取り込み項目には出典があります。掲載は発見の手がかりであり、推奨ではありません。