Formulas AI — 帮助用户生成 Excel 公式，基于 DeepSeek-V3 的 AI 工具产品（需要用户自己填入key）

jacobgc · HN

Outside Agent – Build SMS Agents from Claude Code

@SpalaAi · X

@isuryatk · X

- World's most reliable vibe coding platform

@bind_ai · X

We got tired of juggling model subscriptions and editors, so we built Bind AI One tab: Claude, GPT, Gemini, an IDE that runs the code and ships it to Vercel Heads down on the shortest path from idea to application #vibecoding

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

@_m3rl1n

@liquidated0x · X

building an AI coding agent that ships full projects from a prompt — if you're if you're curious

@GetPrbl · X

@NeuralArchitec · X

Vibe coding a smart wallet is high-stakes. One logic gap and the funds are gone. We bridge that risk by turning messy vibe thoughts into verified schemas and API maps. Build fast, stay precise. 🏛️

@GuidedBase · X

kitforai · GitHub

kitforai Kit for AI developer hub — official SDK, Claude Code plugin, MCP setup, and llms.txt.