Games & Play1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
14 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Scan and monitor AI-coded apps for security, performance, and code quality issues.
@Vibedoctor_io · X
Connect VibeDoctor MCP to Cursor, Copilot, Claude Code or Windsurf. Your agent gets a security gate built in. #ClaudeCode #AppSecurity #DevTools