Run bitwuzla from ChatGPT or Claude
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions. With BCD, ChatGPT, Claude and other AI apps can install and run bitwuzla on your own computer and read what it prints.
Works on
- MacWorks
Homebrew has a ready-made build; the AI can install it with
brew install bitwuzla. - LinuxWorks
Homebrew on Linux has a ready-made build.
- WindowsNot in Homebrew
Homebrew does not run on Windows. If bitwuzla has a Windows build, BCD can run it in PowerShell.
About bitwuzla
- Version
- 0.9.1
- License
- MIT
- Installs (last 365 days)
- 770 · #3,007 in Homebrew
- Homepage
- bitwuzla.github.io
- Install
brew install bitwuzla
Try asking
“Install bitwuzla with Homebrew and show me its version”
“Read bitwuzla --help and give me three useful examples for my files”
“Update bitwuzla and tell me what changed”
Depends on
Questions
Can ChatGPT run bitwuzla on my computer?
Yes. With BCD on your Mac or Linux computer and command permission turned on for it, ChatGPT runs bitwuzla there and reads the output. Claude and other apps with MCP connectors can too.
Do I need to install bitwuzla first?
No. If Homebrew is installed, the AI can run brew install bitwuzla for you.
Is it safe?
A new computer starts read-only: running commands is turned on per computer, and BCD reaches only the folders you allow.
Try it on your computer
BCD connects ChatGPT, Claude and other AI apps to your own Mac, Windows or Linux computer. One computer is free, with 20,000 tool calls a month and no card.
Program data from Homebrew, updated 2026-11-11. Installs are Homebrew's installs on request over the last 365 days.