游戏娱乐1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
Knowl is an MCP memory server for Claude Code, Cursor and Codex. What your agents work out survives the session, and a change retires what it replaced — so the answer they read bac
@dat999zx · X
I built Knowl so my AI agents stop forgetting what's true. One memory they all read and write, always current. Runs entirely local — Claude Code, Codex, Cursor. Or for team sync, and reach the same memory from Claude and ChatGPT on the web.
用零知识加密发送自毁笔记和文件,支持截图保护。
minpym · HN
Flashpaper – Self-destructing secret sharing with no database
哈希链账本，验证AI模型推理过程，记录属于你。
dj_johnsonMid · HN
A hash-chained ledger for AI reasoning you can verify yourself
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
实时AI代理提供FLOP信号、公开大厅数据和交易验证。
@daniel_sats · X
Proof of my agent working is live on What a fun experience vibe coding these, thanks to @flop_labs and @CryptoHayes
为 Arduino、ESP32 和 Raspberry Pi 等平台设计电路、模拟和共享项目的开源注册表。
@locatornation · X
Claude Code、Codex 和 Grok 的 shadcn UI 界面组件。
theswerd · GitHub
brainless Claude Code, Codex, and Grok interfaces as shadcn components
SecureEnv - 零知识加密的团队密钥存储和共享工具
@kkworld · X
Introducing SecureEnv. A secure, developer-first platform for managing environment variables and secrets. Simple. Secure. Built for developers. 🌐 #SecureEnv #BuildInPublic #Programming
Gestor de contraseñas seguro de arquitectura zero-knowledge. Tus datos se cifran y descifran solo en tu dispositivo.
@didierzuniga · X
Save links, notes, images and documents. Nembra privately organizes what matters, finds it by meaning and brings it back at the right time.
@RymetrixApp · X
Rymetrix builds calm, thoughtful software that helps people keep, understand and use what matters. Meet Nembra, our private AI recall system.
免费的AI代码安全扫描器，扫描代码中的漏洞和凭证泄露。
kahlilashanti · HN
My tool scanned 256 AI-built apps and most had exposed credentials