awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Solidity | Awesome Repository

SRI-CSLsolidityFork

0

View on GitHub↗

53 stars·16 forks·C++·GPL-3.0·0 viewsgithub.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md↗

Solidity

Features

Security Analysis Tools - Modular verification tool for formalizing smart contract correctness.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

This is solc-verify, a modular verifier for Solidity.