gfx · HN

Building a Rust-ish programming language with 100% coding agents: Wado

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...

@theshaunak_twit · X

ScopeShield ( A platform designed to kill scope creep for agencies and teams before it eats their margins. Built so you don’t forget scopes and stop doing unbilled work.

@IfeanyiArinze10 · X

What does What makes it unique?

Loerei · HN

I found that describing where a broken UI is and taking screenshots for AI agents really sucks. I’m too lazy to explain an indescribable visual bug or capture a millisecond-long flash. I also don’t want to remember which file defines an element, whether it's right in the .tsx or a problem with the Parent Styles in .css. And even if you can point out the exact file, your agent still has to dig through thousands of lines of code to know what on earth you're yapping about. In a 7700-file monorepo like Cal.com, simply giving the right file in the prompt for your agent saves about 68.9% of execution time and 94.2% of the tokens your agent needs to digest. HoverSource gives all the needed information and further pushes it to -88.5% time and -94.5% tokens, basically skipping the entire digging session and jumping straight to reasoning and executing. The save is linear to how big your codebase is. I want to save tokens, but don’t want to spend my time and energy digging manually, and a junio

@ErwanCodes · X

I created Helios Control entirely with Grok 4.5. From concept to code, the whole project was generated, structured, and built with AI. A real test to see how far vibe coding can go in 2026. Live app 👇 Thank @SpaceXAI & @cursor_ai !

@void_rags · X

Introducing Orqis AI, an AI Watchdog that also fixes Agents. Have a look:

@fortsignal1 · X

@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.

austinvhuang · HN

Collaborate.dev – Multiplayer Visual Desktop for Coding Agents

malviyamukul · HN

Liveshortly - stream and pair prompt with ai agents

eldar_hsnv · HN

Show HN: AI Notebook for Data Science – Kind of Like Cursor but for Jupyter