Signal
Advertise
Signal
Advertise
Sign in
Submit
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
Log in
auditinfra-io/claims — GitHub trending stats & insights | Trendshift
Omnigraph
VModal Mobile SDK
Bifrost
auditinfra-io/claims
#
Static analysis
Claimed abilities
Visit GitHub
Like auditinfra-io/claims, 0 likes
0
Bookmark auditinfra-io/claims, 0 bookmarks
0
1
1 contributors
Social mentions
Recent discussions about this repository across the web
🚨 Meet Audit Engine CLI (v35.10.0). We built a multi-language static analysis & formal verification platform targeting EVM, Solana, Move, & ZK (SP1, Risc0, Noir, o1js, Circom).
@proofplay_GPMSC · x.com
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues