Veridise
Popular repositories Loading
-
Picus
Picus PublicForked from chyanju/picus
Automated verification of uniqueness property for ZKP circuits
-
Medjai
Medjai PublicForked from chyanju/__archived__Medjai
A Symbolic Execution Tool for Cairo
Racket 52
-
audithub-skills
audithub-skills PublicReusable AI agent skills for AuditHub security tools. Teach Claude Code and Codex how to run OrCa fuzzing campaigns, launch DeFi Vanguard scans, and analyze findings. Plug and play.
-
audithub-mcp
audithub-mcp PublicConnect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Open source, Apache 2.0.
Python 22
Repositories
- audithub-mcp Public
Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Open source, Apache 2.0.
Veridise/audithub-mcp’s past year of commit activity - audithub-skills Public
Reusable AI agent skills for AuditHub security tools. Teach Claude Code and Codex how to run OrCa fuzzing campaigns, launch DeFi Vanguard scans, and analyze findings. Plug and play.
Veridise/audithub-skills’s past year of commit activity - picus-schema Public
Veridise/picus-schema’s past year of commit activity - Ziren Public Forked from ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Veridise/Ziren’s past year of commit activity - audithub-sdk Public
Veridise/audithub-sdk’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…