
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

免费在线PDF工具:合并、拆分、压缩、转换和旋转文件。
u/Successful_Respond31 · Reddit
My first "vibe coding" experiment: I built a 100% free, client-side PDF engine with zero backend uploads Hey Reddit, I’ve been watching the "vibe coding" trend and decided to run an experiment: building a complete, production-ready web utility entirely through prompt-based AI coding. The result is PDFEngine ( https://pdfengine-neon.vercel.app ). I got tired of online PDF converters that force you to create an account, cap you at 2 files per day behind a paywall, or upload your sensiti

使用无限画布创建长篇高质量AI视频和广告。
@ApaiAIdigest · X
Just shipped: Buzzy 🔥 Tired of AI video that forgets the face mid-cut? Infinite canvas keeps subjects locked. #AI #ProductHunt #buildinpublic

OmniTool Engine provides 11 pages covering subscriptions, access codes, login, tools, and account access in one focused digital workspace online.
@ToolZico · X

Wurk.Flow unifies schema design, a live SQL workspace, column-level lineage, and source-to-target mapping in one local-first modeling IDE — in your browser or on your desktop. Free
@WurkHaus · X
What happens when you got told no to a 3k quote for a data tool and spend a year building one instead.

部署自主代理执行任务,每月$8,操作简单。
u/liltechnomancer · Reddit
I forked Pi and tried to make it accessible to normies. I love all the open source coding agent harnesses. Pi chief among them. But I was bummed I couldn't really get my non-technical friends on them. They also would not be eager to drop a bunch of money on a mac mini to host an OpenClaw instance. This made me feel there may be a gap in the market. This made me wonder if people would like a web app based agent that could update itself. If you want to build a custom media pipeline for

V2Fun:从图像或文本生成3D模型、角色和动画
zaczuo · Product Hunt
V2Fun Generate 3D character with 8K textures and AI motion capture

混合动物、机甲或英雄来创建独特的混合角色。
Magic Animal Generator — 尽情发挥你的想象力 用 AI 混合两种动物,创造前所未见的新物种

自动将提示词路由到最便宜的模型,节省API成本。
u/ASDKING100 · Reddit
Launched an AI API router tonight, and found a bug hours in that would've taken real payments without ever upgrading the account Built LLMLite over the past few weeks — it classifies each prompt and routes it to the cheapest model that can actually handle it, instead of hitting GPT-4o for everything. Free tier, no card needed to try it. Tonight, right as I was about to launch, ran a real transaction to test the payment flow end to end. Paddle processed it, webhook fired, signature verified

用 AI 分析 GitHub pull request 获得合并信心分数。
@aryawarti_aky · X
Hey Daniel ! I Built PRisk — an AI-powered pull request risk intelligence platform for GitHub & Gitea. Paste a PR URL and get an evidence-backed Merge Confidence Score before you merge. 🔗 I'd love to hear your feedback!

Leveraging the Bittensor ecosystem, Vidaio provides scalable, affordable, and high-quality video processing solutions.
@vidaio_ · X
Ai driven, video enhancement!

Ad-free Vedic astrology engine on the Swiss Ephemeris. Compute your sidereal chart, dasha timing and planetary strengths — then query it with AI.
@saketposwal · X