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

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


Voidocs 为初创团队创建专业文档,无需代码配置。
@hannah24_app · X

https://t.co/3doapHeqkT & https://t.co/qCHWvWuIaq High-Level Architecture (built with Gemini & Grok): Agentic orchestration (LangGraph + CrewAI) Lead qualification + Sales agents A
@LasoffDavid · X
& High-Level Architecture (built with Gemini & Grok): Agentic orchestration (LangGraph + CrewAI) Lead qualification + Sales agents AI Video pipeline (HeyGen/Vyond/Runway etc.) Ad placement optimizer n8n workflows + Voice agents (WhatsApp-heavy for India) HubSpot/Zoho CRM backbone

为你的AI生成网站应用设计系统和字体。
@Hamzadevio · X
just shipped. my goal is to help founders add taste to their vibe coded ugly looking apps. (especially the purple gradient, can't see it no more..)


为创始人设计的风险企业操作系统,涵盖验证、品牌、定位和启动。
u/medialantern · Reddit
Would you use a brainstorming/planning/ideation tool for side projects? This is not a new idea, and I know we see posts about something similar about once a month. I do think I took it farther than others I've seen, but either way I'd still be interested in feedback on this one. Backstory: I've been building side projects with AI a lot (who hasn't?) and I realized that over the past year I've gravitated toward a very structured approach for building new ideas. I define it, research competit


免费在线工具,可用于调整图像、格式化JSON、处理PDF、分析文本和创建设计资产,无需登录。
musekit · Product Hunt
Free AI Tools Free browser tools for everyday tasks, no login

无代码应用构建器,支持AI工作流,专为非技术创始人设计。
@sanchoyai · X
2/ Meet Momen - the no-code builder for production-ready Apps Go to → Got a big app idea but can’t code? The no-code builder that lets non-technical founders create apps go from idea → millions of users. UI, database, workflow, AI — all in one. Not vibe coding, but something you can control, grow, and scale.

与客户共享文件和讨论文档的门户,无需客户注册。
@droplana_com · X

用可视化无代码构建器创建和部署 AI 工作流及智能体。
@RanRan1357699 · X
Just shipped a smart guardrail in experiments: if your flow needs test data, it now blocks runs with a friendly prompt and offers one-click AI-generated samples. No more silent all-fail runs! Small details, big peace of mind. #BuildInPublic