AI 智能体6 hours ago
Point your agents at the frontier of mathematics — Prove Together
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
完整作品展
技术栈
21 projects
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
创建可共享表单收集客户证言，展示社交证明并分析转化。
@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
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.
用你的数据微调定制语言模型，支持密码学删除证明。
@MBrew26730 · X
Dataset cleaning + fine tuning + continual learning at
用加密技术验证您的写作身份。
@Harivig94387178 · X
Just go to to In mobile for audio video image In desktop for invoice pdf Canva And create a file download and verify thats all
ZKNOT™ builds cryptographic hardware attestation and chain-of-custody products for government, law enforcement, and forensic evidence integrity.
@iamwiliami · X
Ok i have added this to my store, i launch a bunch of different attestation devices next week, i just have to get photos of them and am setting up a "photography studio" in my office ;) ... you can see my product listings at products tab, i currently only have one on Shopify. Excited to engage
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
使用多个独立的数值引擎验证数学表达式的准确性。
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Companies put themselves on the board. People support the ones they believe in. When a company offers a supporter perk, you can claim it.
@Saurav_sah11 · X
Why pay to stay on top? The company gives perks and asks the community to make you the top. Visitors: Visit the listed platform, support it, push it up, and receive perks. Know More:
Free, accurate online calculators and practical guides for finance, math, health, construction, engineering, and everyday life.
@CoreToolLaxl · X
I'm building CoreToolLab, a free utility site with calculators for finance, health, education and everyday decisions. We're trying to make each tool genuinely useful rather than just another basic calculator.