// Taming Silicon Intelligence
We build the tools that turn domain expertise into working software — without losing what the expert actually knows along the way.
Projects
Aspirational Intent Decomposer. A structured interviewer that extracts what a domain expert actually wants and crystallizes it into a buildable functional specification.
Active developmentMulti-model parliament for spec quality gates. Multiple LLM personas vote on consistency, completeness, and coherence before any code is written.
Active developmentFormal verification pipeline. Prose specifications pass through an expert system and Lean 4 proofs before being handed to a code generator — so the output is correct by construction.
In design“Human wanting is the only irreplaceable element. Everything downstream is automatable.”
— VOB Soft, founding thesis
LLMs write code fluently but don’t know what you need. Experts know what they need but can’t specify it precisely enough for machines.
Structured interview before code generation. A living specification that knows its own gaps. Validation gates that catch drift before it ships.
Software that faithfully encodes what the expert actually knows — not a plausible-looking approximation of it.
Contact
Berkeley, California