Games & Play1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
60 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Collect customer testimonials and embed them on your website with a single script tag.
@aimicrotool · X
Just launched ProofResult 🚀 Collect testimonials from your customers and embed them on your site with a single <script> tag. No login required for them, no iframe. Free while I gather feedback from early users. #buildinpublic #indiehackers
Take AI-powered skill assessments to verify your knowledge and earn certifications.
@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:
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.
Redact PII from PDFs entirely on your device with local OCR and AI verification.
u/AmazingFinger · Reddit
VeriRedact - Offline PDF redactor because I didn't trust any tool with my tax returns Apartment hunting meant sending my SSN, tax returns, and bank statements to strangers, often all in one PDF. Redacting them myself with a black box or highlighter tool felt scary. Cloud tools wanted me to upload my tax return to fix that. However, I didn't trust them, and the one that look trustworthy would charge a lot of money. So I built VeriRedact. Load it, optionally download the local A
Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
Verify AI agent decisions locally with transparent reasoning and MCP integration.
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
AI fact-checking platform that verifies news, videos, images, and claims with instant truth scores.
@Banshee_1212 · X
building a deepfake detection platform,
Collect and display customer testimonials with white-label widgets and multiple import sources.
@builderwl · X
hey guys I built it
Upload a peptide Certificate of Analysis to verify authenticity and flag suspicious indicators.
@DanielGPT2022 · X
I made an app for peptides users, that will hopefully adress their trust issues:
Upload and verify credentials with Hedera-backed tamper detection, paying per use.
@iizhem · X
👏 Shipping before vacation is elite. Good luck with your entry! Claude makes vibe coding way too fun. I joined the same bounty too and turned a simple credential checking idea into a full pay-per-use flow
Backtest crypto trading strategies by describing them in plain English.
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange