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

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

通过AI评估验证知识并获得Academission认证。
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

创建可共享表单收集客户证言,展示社交证明并分析转化。
@AmyVaradkar · X
It solves the scattered testimonial problem. Freelancers and agencies collect feedback via shareable form, display it anywhere, get real analytics on what converts. Beta access available right now which gives free pro plan for 15 days.

扫描AI账单找出浪费支出,用防篡改证据证明节省成本。
@askrashidkhan · X

ForgeLab Brain:多个AI智能体协作编程,自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev

SmartMatch AI - 用自定义条件和精度匹配电子表格列
Smart Match AI — 自定义条件和精度来匹配两列不同的数据,更加自由的 Excel lookup/vlookup

为现代团队自动化负载测试,无需复杂设置或手动脚本编写。
@GorodkovVi85373 · X
- load testing made easy even without enginnering team. Faster, cheaper, distributional

搜索超60,000份第三方测试报告,验证产品的真实成分和纯度。
@Titratelab · X
Love the direction. Partner with us at Built by security & software engineers. We scrape Whatsapp, TG, GLP1forums, Meso, Finnrick, Janoshik, Freedom, peptidechat, and even Discord- where we have over 1 billion messaged logged and analyzed. 70,000 COAs stored in our database from thousands of vendors. Sentimental analysis driven trust signals on all communities. This isn't vibe-coded one-shot scraping; we've developed our own inhouse anti-automation bypasses for nearly every major platform.

检测API中转站输出是否与官方100%一致
@nodeloc_cc · X
🌈 7月,你好,MODELOC上线算力池。 MODELOC自上线以来,已检测2000余次,覆盖600+中转站,为众多AI用户提供的使用参考。 MODELOC近期进行了改版,上线了算力池及市场。 加入算力池 查看帖子: 用 MODELOC 便宜地调各家大模型:一次讲清它的价格体系

在共享层中记录产品决策、背景和推理,团队不会遗忘决策背后的原因。
@TimEngng · X
Stop losing the "why" behind product decisions -

Aurora - 本地AI代理验证系统,提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents

在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents