Productivity5 days ago
Voidocs - The simple way to create documentation
Generate professional documentation for startups without coding or complex setup.
@hannah24_app · X
The full gallery
Tech stack
60 projects
Generate professional documentation for startups without coding or complex setup.
@hannah24_app · X
@JamesAuble https://t.co/GdUqHtJjbA
@Jasoliyaharsh1 · X
AI tool that asks clarifying questions and generates verified specifications for coding agents.
jayaprabhakar · HN
I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...
Daily logic puzzle game inspired by Shikaku and LinkedIn Patches.
patches game — 每日逻辑谜题游戏
Multiple AI agents develop code in parallel with automatic error detection and fixing
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X
110+ free developer tools including JSON formatter, JWT decoder, and regex tester that run entirely in your browser.
@abhilakshharora · X
Just launched DevTab on Product Hunt 🚀 110+ dev tools that run 100% in your browser. Zero server calls. No signup. Free forever. Would love your support 🙏 → #buildinpublic #DevTools
Pre-commit hook that catches verbose, defensive LLM-generated code before merge.
@iampeersky · X
is blazingly fast LLM generated code slop detector & clean up cli tool that installs as git pre-commit hook to save your git history from sloppppp
Two AI reviewers analyze your code independently and verify each other's bug findings.
@BotariaDotBot · X
This Tuesday I'm launching Botbugger on @ProductHunt 🚀 One AI reviewer gives you 10 "critical" bugs — half hallucinated. So I built two: Claude Code + Codex review your code independently, then cross-check each other. Real bugs with fixes, not noise.
Build apps and websites with AI, no coding skills needed.
@cecond_thoughts · X
Don't know about vercel but a website can have and only have its frontend vibe-coded, and backend not vibe coded but hosted on railway.
Solve grid logic puzzles in a calm, meditative experience.
@birkinapps · X
Logic Loom is out now on iOS 🧩 A calm collection of grid logic puzzles — Want to try before installing? Play the web demo, no download needed. iOS: demo: #puzzlegame #indiedev
Desktop app for running multiple AI coding agents in parallel across git worktrees
vuphanse