Certora/CertoraProver

주요 기능

Certora/CertoraProver은(는) 공개 GitHub 저장소 · 주 언어 Kotlin. 최근 기록은 별 337개, 포크 48개예요. 주제: blockchain, certora, certora prover, ethereum, formal verification, security tools. 사용 전에 문서·라이선스·현재 이슈를 읽어봐요.

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. 9. 7.

인기는 GitHub 별표 기준이에요. 7일 증가량은 일주일의 로컬 기록이 쌓인 뒤 표시돼요. 이 목록은 GitHub 공식 인기 순위가 아니에요.

출처와 갱신 상태

가져온 항목에는 출처 링크가 있어요. 목록에 있다는 것이 추천을 뜻하지는 않아요.