← 최신 프로덕트

Requirements Engineering with Formal Verification

Every prompt leaves decisions unmade — and your agent will make them silently. FizzBee asks the questions your prompt didn't, then generates a precise, verified specification your coding agent can build from. I've been building an open source formal methods system (fizzbee.io) for the past few years.

fizzbee.ai 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. FizzBee

    fizzbee.io

    Formal methods in Python

    Hacker News119점

  2. OQP

    github.com

    A verification protocol for AI agents

    Hacker News8점

  3. Self-healing review gate and knowledge base for Claude Code (Beta)

    verity.md

    Verity checks what your AI agent actually did against your prompt and your team's standard, then blocks the commit when they don't match. Works with Claude Code.

    Hacker News5점

  4. A Context Registry for AI coding agents

    context.apimatic.io

    A directory of Context Plugins, one per API. Each one grounds your coding agent in the API’s real specification, so what it writes is ready for production.

    Hacker News9점

  5. Showboat and Rodney

    simonwillison.net

    so agents can demo what they've built

    Hacker News91점