@md_shadann · X

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

@sykatt01 · X

Here it is: Definitely appreciating feedbacks

@POONAMSING9999 · X

Forget this fight. The problem in AI is vibe coding security risk so i made vibe Guard ai that analysis user code and found out security risks. For the sake of humanity, to solve a painful problem I made this It had free version try now

u/surmado_rachel · Reddit

We built a cheaper code review tool for small teams We've been working on a code review tool for small teams, solo founders, and vibe coders who want a second set of eyes on every PR without paying Claude-level prices. The idea is simple: Surmado's Scout reviews your PRs against your own standards, not random generic lint rules. You add a STANDARDS.MD file, and on every push Scout gives you: What looks good/What needs work/A short reviewer brief so a human knows where to focus/Feedback

@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

u/Zyron_X · Reddit

I built a service for people to use Codex API without 5-hour limit disruption I built a small service for people who use the OpenAI Codex API regularly and want more predictable usage without the 5-hour or weekly limits. It currently provides: Frontier OpenAI models (GPT 5.6 family included) Managed API key Monthly usage budgets depending to plan No 5-hour limit No weekly limit Under the hood, it is built on top of an open-source project and proxies requests to

@preproomai · X

🟢Get ready for #vibecoding and AI #codereview. It is cutting-age & you can't miss: Time to ditch old-school @LeetCode ! #SoftwareEngineering #TechInterviews #CodingSkills #TechCareers #PrepRoom #TechCareers #SystemDesign #ITJobs #CareerGrowth

videlov · HN

I was interested in answering this question so I built a benchmark comparing git, jj and gitbutler in agentic context https://vcbench.dev/ Disclaimer - I am a co-founder of GitButler

@GetPrbl · X

pranav100000 · HN

Aether – Run Claude Code, Codex, or OpenCode in devboxes you can watch

@Number1AIFanboy · X

I got to go to bed. More coding tomorrow. I just had a realization that I'm building cool shit, using @grok in an app that I built with Codex and refined with Grok. And now Grok just works on himself. LFG🚀 Drop me a note here: Get the app here (use LAUNCH50):