
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
24 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

由Codex和Grok驱动的AI笔记应用。
@Number1AIFanboy · X
I got to go to bed. More coding tomorrow. I just had a realization that I'm building cool shit, using @grok in an app that I built with Codex and refined with Grok. And now Grok just works on himself. LFG🚀 Drop me a note here: Get the app here (use LAUNCH50):

Keyverse 是免费浏览器游戏系列,通过关卡教你 Mac 快捷键,无需下载。
@EjCruz77 · X
Just launched Keyverse — a free browser game that teaches you Mac keyboard shortcuts by playing, not memorizing. No install. No signup. Just open and train. #buildinpublic #indiedev #macOS

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

Don't let your LLM guess the math. Ultimath evaluates every expression with five independent numeric engines in parallel — REST API + MCP for Claude.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:

用AI分析敏感数据,通过客户端加密实现端到端保护。
@JackiePeters · X

在浏览器中协作编写音乐乐谱,支持实时预览和版本控制。
@erikdao · X

SecureDocs Cloud — 安全云存储,支持家庭成员共享重要文件。
@DwivediNitil · X
Go physical to digital

连接您的 Gmail 账户,自动化发送电子邮件并跟踪打开率和点击率。
@KenziChenBuilds · X
Hey! Developer behind Always looking for feedback to make it better.

@Kiriakoscls4 https://t.co/vL7v4J1TKx
@z5code0 · X

无需上传即可私密签署 PDF,可选在区块链上锁定指纹。
@VeriLockOnline · X
- pdf signing that never uploads your file. fingerprint locally, lock on the blockchain. pay per doc, no subscription. sale through july!

为代码智能体工作流管理 API 密钥和使用预算。
u/Zyron_X · Reddit
I built a service for people to use Codex API without 5-hour limit disruption I built a small service for people who use the OpenAI Codex API regularly and want more predictable usage without the 5-hour or weekly limits. It currently provides: Frontier OpenAI models (GPT 5.6 family included) Managed API key Monthly usage budgets depending to plan No 5-hour limit No weekly limit Under the hood, it is built on top of an open-source project and proxies requests to