Certora/CertoraProver

Что делает

Certora/CertoraProver — публичный репозиторий GitHub, основной язык — Kotlin. Последняя запись сообщает 337 звёзд и 48 форков. Темы: blockchain, certora, certora prover, ethereum, formal verification, security tools. Перед использованием прочитай документацию, лицензию и текущие issues.

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

Последняя отправка кода

7 сент. 2026 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.