Requirements Engineering with Formal Verification vs Trace

Every prompt leaves decisions unmade, and your agent will make them silently.

A macOS menu-bar app that turns any conversation into a clean markdown transcript, with an optional on-device summary. Runs a local speech model entirely on your Mac, in...

About Requirements Engineering with Formal Verification

Every prompt leaves decisions unmade, and your agent will make them silently. The AI Requirements Engineer between your idea and your coding agent Your coding agent builds what you tell it. FizzBee uses formal verification to uncover contradictions and requirement gaps. FizzBee generates key scenarios to confirm the specification matches your expectations. FizzBee generates specifications for machines to analyze and coding agents to build from. Requirements engineering is the first stage of Specification-Driven Development.

About Trace

A macOS menu-bar app that turns any conversation into a clean markdown transcript, with an optional on-device summary. Runs a local speech model entirely on your Mac, in dozens of languages. The moment is pinned to your transcript at the exact timestamp. Trace provides you with clear markdown transcripts and summaries that you can use anywhere. Either copy the markdown from Trace directly or have it place the file anywhere in your filesystem. Trace can also send files directly to Obsidian, Bear, Drafts or Things with a button press.