BitDive is not just wrapping a generic chat model with a long prompt.
There is no external LLM API.
BitDive uses its own small local model as part of the developer toolchain.
The model is designed for a narrow task:
runtime trace → regression test
