Run z3 from ChatGPT or Claude

• MacWorks

  Homebrew has a ready-made build; the AI can install it with brew install z3.

• LinuxWorks

  Homebrew on Linux has a ready-made build.

• WindowsNot in Homebrew

  Homebrew does not run on Windows. If z3 has a Windows build, BCD can run it in PowerShell.

Version

5.4.1

License

MIT

Installs (last 365 days)

16,968 · #615 in Homebrew

Homepage

github.com/Z3Prover/z3

Install

brew install z3

“Install z3 with Homebrew and show me its version”
“Read z3 --help and give me three useful examples for my files”
“Update z3 and tell me what changed”

llvm · solidity · lldb · klee

Can ChatGPT run z3 on my computer?
Yes. With BCD on your Mac or Linux computer and command permission turned on for it, ChatGPT runs z3 there and reads the output. Claude and other apps with MCP connectors can too.

Do I need to install z3 first?
No. If Homebrew is installed, the AI can run brew install z3 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.