Clean
Clean is Clean is an embedded Lean DSL for zk circuits. Every gadget carries soundness and completeness proofs, checked by Lean.. It is ranked #388 on the Dev Radar, in Security, first seen 16 h ago and shared in 1 post (2.3k views).
What people said about Clean on X
Did you know that Clean has a website and a pragmatic introduction to formal verification for zk devs? https://clean.zksecurity.xyz
— @zksecurityXYZ, 16 h ago · 34 likes · see the post
Alternatives to Clean
- security-audit-skill — A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings -…
- Cloudflare Blog — Use production traffic and security signals to prioritize findings, prepare edge mitigations when safe, and propose…
- not-a-mused — First, one of 0day PoCs
- entratrace — EntraTrace is a defensive security research tool for tracking and identifying the behavior of offensive tooling…
- CSA — Traditional threat modeling assumes you can map the attack surface ahead of time. An autonomous agent doesn't work…
- Gist — ZCode (zai-org/ZCode) 凭据加密的兜底密钥机制：默认情况下加密密钥由平台/家目录/用户名推导，偷取密文文件即等于拿到全部 API Key - ZCode-credential-fallback-gist.md
Clean in numbers
- Rank on the Dev Radar: #388 of 2352
- Shared in 1 post by 1 account: @zksecurityXYZ
- 2.3k views on those posts
- First seen 16 h ago, last shared 16 h ago
- Pricing seen by Jev: not stated
- Market: Security
FAQ
What is Clean?
Clean is an embedded Lean DSL for zk circuits. Every gadget carries soundness and completeness proofs, checked by Lean. It was first shared on X 16 h ago and is ranked #388 on the Dev Radar.
Is Clean free?
Pricing is not stated on the page we read.
Who shared Clean?
1 account on X, including @zksecurityXYZ, in 1 post totalling 2.3k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 20.7k posts from 4.9k X accounts over the last 21 days, 2.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-22 08:21 UTC. Full method.