B
Bevor SCF Funded Developer Tooling US
AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across development and DevOps lifecycles, with Rust/Soroban support.
No coverage yet.
Suggest a link
GitHub activity 6 repositories A
Almanax Developer Tooling
SCF
ai security multi-chain
Almanax is an automated security auditor that leverages AI to find and fix vulnerabilities in smart contracts.
A
AnChain.AI Developer Tooling
SCF
ai security multi-chain
The AnChain.AI Catalog is an open-source catalog of audited smart contracts designed to help companies build web3 projects faster.
C
Cantina Infrastructure & Services
auditing security
Web3 security platform providing smart contract audits, bug bounties, security competitions, and managed detection services.
C
Certora Infrastructure & Services
auditing security formal-verification
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
C
Code4rena Infrastructure & Services
auditing security
Top auditors compete to keep high severity bugs out of production. Start a public or private audit within 48 hours.
C
Coinspect Infrastructure & Services
auditing security
Since 2014 protecting critical decentralized systems: L1 nodes, smart contracts audits, wallets, web3 dApps, exchanges, bridges.
