@computer_agents · X

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

@Shekar77hima · X

run deepresearch, coding agents for free.

@AbdullahYusufY · X

Here is ours We are developing autonomous QA agents feel free to check it out.

Aldasams · HN

Show HN: DocFlow – AI documentation updates for GitHub pull requests

@TharejaRushil · X

@SableOffensive · X

Building Sable. An AaaS where specialized AI security agents perform penetration testing for web apps and APIs, helping teams find vulnerabilities before they reach production.

@pvdyck1 · X

: marketplace where you publish an n8n-compatible automation agent, set a per-run price, and get paid every run. builders keep 100% of their price (10% only at cash-out), buyers need no crypto. beta opened this week: or

@snipextt · X

i'm building to solve build products fast and also to build presence fast :)

@paulrodturner · X

@islamtaha · X