Veridise
Organization@veridise
Hardening Blockchain Security with Formal Methods
veridise.com/ On GitHub since February 2022
1
Published Tools
22
Total Stars
0
Weekly Downloads
106
GitHub Followers
62
Public Repos
Published Tools
1 MCP Serveracross 1 categoryVeridise
Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Open source, Apache 2.0.
...moreMCP Serveruncategorised
221 dir