ngarner · HN

ZeroGate – Fast, account-free visual CSV matching without AI

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

@pakosteve · X

Improve your SaaS quality when scaling (by register requirements and test via MCP)

@satulipa_ · X

My workflow: 1. Open Speckit → answer 5 questions 2. Get blueprint (PRD, DB, API, roadmap) 3. Take it to Cursor/Claude Code 4. Vibe code with actual direction Built with Next.js, Vercel, try it on

HSR Warp Calculator — 《崩坏：星穹铁道》跃迁规划工具，计算保底进度、抽取概率和星琼需求

@KolhyP92244 · X

@cultkoushik · X

A problem warehouse for creators

@dan72ros · X

@TatBanerjee · X

I still need to do some work on this one, but I really appreciate it if you can give your honest take, mate!

@syprayt · X

We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

@spec_tacul_ar · X

Specifications for humans and AI.

@ComparadorTCG · X

Comparador de Producto TCG de One Piece. Compara entre más de 80 tiendas españolas ->