AI 智能体4 hours ago
Point your agents at the frontier of mathematics — Prove Together
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
完整作品展
技术栈
60 projects
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
Proofly 分析 AI 内容，识别不实声明和写作问题，提高内容可信度。
drgndeznts_kk · Product Hunt
Proofly Don’t Just Trust AI. Check It.
使用精益画布来组织和验证你的创业想法。
@MehulFanawala · X
I vibe coded as well as and have paying customers for both.
Other portfolios show the finished thing. Fivefl reads the making — your commits, your notebooks and your own spoken walkthrough — and turns it into proof you can send with any app
@aby_ebez · X
创建可共享表单收集客户证言，展示社交证明并分析转化。
@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健身和宏量营养日志，支持照片识别和增长审核。
thomaslai414 · Product Hunt
Nulls Tracker - AI Bulking & Macro Log Minimalist AI macro & workout log built for bulkers
在区块链上记录真实成就，通过AI和同行评审验证。
Proof of Awesome — AI 辅助的学术同行评审的共识机制，将你的真实成就永久记录在区块链上，用有意义的人类成就取代传统挖矿 - [更多介绍](https://proof-of-awesome.app/call-for-achievement)
为小团队设计的人工智能合规工作台,帮助准备SOC 2审计。
@polsia · X
Vibe-coding your way to a SOC 2 audit in record time. ProofCairn is the AI compliance desk that makes sure you don't show up with hardcoded keys in your pocket.
ProofBench：创建登陆页测试初创想法，测量邮件转化信号。
@joffreyio · X
Online photo and video proofing made simple. Export from Lightroom Classic, share galleries with clients, collect star ratings, color labels, and selections — then sync feedback ba
@ThomasHabr · X
My vibe-coded startup is being released now 🎉 The journey begins.
