游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
分析客户摩擦点，获取优化建议以提高转化率。
@EnricoBoeker · X
预测设备的寿命终期、安全风险和转售价值，决定是否保留、出售、维修或升级。
@teck_baby · X
通过滑动式场景测验提升在育儿、沟通、领导力和财务方面的判断力。
@ShashankBhutiy4 · X
Duolingo for Soft Skills and career growth
Tradovate AI 风险管理，根据您的风险规则自动阻止订单。
@SanuCodes · X
still building-
用AI分析澳洲房产合同，检测风险和谈判要点，5分钟内完成。
anuj_sachan1 · Product Hunt
DueDocs AI property contract review for Australian buyers and pros.
计算《Anime Last Stand》最优队伍组合的策略计算器。
Anime Last Stand Calculator — Anime Last Stand 游戏计算器，帮助玩家快速做出组队策略。
Spendict – 为AI生成的广告创意评分，返回投放/修改/停止建议。
ds246 · HN
Spendict – a performance marketer's verdict for AI agents, over MCP
Manage your entire business with AI agents that automate operations and replace 15+ tools.
@Ramona053764691 · X
Hey Adam! Bouwen aan Zynthoro AI-native ERP met 4 AI agents die samen een heel bedrijf runnen. XPRIZE genomineerd, gelanceerd op 30 juni. Jouw verhaal spreekt me aan zou graag connecten! 🚀
在可交互的时间轴上探索三个 AI 智能体的运行过程，展示规划、工具调用和故障恢复。
douvy · HN
Educational tool for understanding AI agents. Code: https://github.com/douvy/how-agents-think
掷骰子随机选择待办任务，克服决策疲劳。
@RealRandomTask · X
Stuck on bored tasks? Roll the dice.
