Certora/CertoraProver

Công dụng

Certora/CertoraProver là kho mã GitHub công khai, chủ yếu viết bằng Kotlin. Bản ghi gần nhất được lưu cho biết có 337 sao và 48 bản fork. Chủ đề: blockchain, certora, certora prover, ethereum, formal verification, security tools. Đọc tài liệu, giấy phép và các issue hiện tại trước khi dùng phần mềm.

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

Kho GitHub

Sao

337

Sao tăng · 7 ngày

+0

Bản fork

48

Ngôn ngữ chính

Kotlin

Giấy phép kho

GPL-3.0

Lần đẩy mã cuối

14 thg 10, 2026

Độ phổ biến theo sao GitHub. Tăng trưởng 7 ngày cần đủ một tuần ghi nhận. Đây không phải bảng xu hướng chính thức GitHub.

Nguồn & độ mới

Mục nhập dẫn nguồn. Có tên trong danh bạ không phải sự bảo chứng.