
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

Manage equipment rentals, payments, and inventory tracking in one system.
@ShakibMd93031 · X
Built an Equipment Rental Management System to simplify rentals, payments, and equipment tracking. Looking for businesses interested in a demo or a customized solution.

Enforce policies and audit AI-assisted code changes at merge time.
@Scyloq · X
Currently building SentrAI. The merge-time control plane for AI-assisted software development. Enforce policy, audit every AI-generated change. Just finished an interactive demo and would love your honest feedback. Built with @Lovable

Get paid on time, without chasing clients
@NitishGoel25 · X
Freelancer Workflow:

Secure client portal for sharing files, answers, and approvals with real-time status visibility.
@danielkleach · X
is a branded client portal for files, answers, sign-offs, and signatures. No more scattered email threads, docs in Google Drive, or confusion about who is waiting for whom. Business and client both see what is done and what is in progress on both sides, in

Database of lab reports for verifying product purity and composition before purchase.
@Titratelab · X
Love the direction. Partner with us at Built by security & software engineers. We scrape Whatsapp, TG, GLP1forums, Meso, Finnrick, Janoshik, Freedom, peptidechat, and even Discord- where we have over 1 billion messaged logged and analyzed. 70,000 COAs stored in our database from thousands of vendors. Sentimental analysis driven trust signals on all communities. This isn't vibe-coded one-shot scraping; we've developed our own inhouse anti-automation bypasses for nearly every major platform.

Tests LLM endpoints with adversarial cases and provides OWASP-mapped security audit reports.
@aryaan_sheth · X
- LLM security for small teams

Accept crypto payments directly to your wallet with instant settlement and no intermediary.
@QBitFlowApp · X
— the worst part of shipping is getting paid, so we make crypto payments as simple as a card, but the money hits your wallet instantly and stays yours (no processor sitting on your funds). Would love your feedback 🙏

All-in-one link to manage deals from pitch to payment: book meetings, sign contracts, get paid.
@abhinav__dubey · X
Heyy Yooo! Building one link that helps SMBs go from first pitch to fully paid process, no juggling four tools to get there.

Sign PDFs online and automate document workflows in your browser.
@qayyumabro · X

Open-source personal accounting app with AI bill recognition, multi-platform sync, and offline support.
BeeCount 蜜蜂记账 — 开源跨平台记账 App(Android/iOS/Web),主打数据自主与隐私优先 —— 支持自建 BeeCount Cloud / iCloud / Supabase / WebDAV / S3 多端同步,离线可用,可选 AI 识别账单图片自动记账,无广告无订阅 - [Github](https://github.com/TNT-Likely/BeeCount)

Free tax compliance guide and self-assessment tool for US citizens living abroad.
@_RanjanSoni · X
Intake form for tax consultants and cross border CPAs