AI Agents3 hours ago
Point your agents at the frontier of mathematics — Prove Together
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
The full gallery
Tech stack
60 projects
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Analyzes AI content to identify unsupported claims and writing weaknesses, helping verify and improve clarity.
drgndeznts_kk · Product Hunt
Proofly Don’t Just Trust AI. Check It.
Organize and validate startup ideas through structured lean canvas data.
@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
Collect and display customer testimonials with analytics to track conversion impact.
@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-powered workout log and macro tracker for bulkers with photo recognition and growth audits.
thomaslai414 · Product Hunt
Nulls Tracker - AI Bulking & Macro Log Minimalist AI macro & workout log built for bulkers
Record real achievements on a blockchain verified through AI and peer review.
Proof of Awesome — AI 辅助的学术同行评审的共识机制，将你的真实成就永久记录在区块链上，用有意义的人类成就取代传统挖矿 - [更多介绍](https://proof-of-awesome.app/call-for-achievement)
Turn startup ideas into private proof links to validate customer fit.
@AshirShaikEng · X
A human-guided compliance desk for teams too small for a security department.
@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.
Create landing pages to test startup ideas and measure email conversions.
@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.