参要 AI - 诗词字帖 — 用诗词作为练字内容，又练字又温习诗词，双倍收获

dudemanAtl · HN

PlanWright – A control plane for AI 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...

@sanjeevpai · X

I have been trying out a new idea at - A 100% vibe coded site that actually adds value. It is alpha v0.003 so far but beginning to take shape nicely. The AI agent completely redid the look and feel and behavior in one day. At this rate of growth, agents are going to put a lot of software vendors out of business.