Search for a command to run...
1 MCPs · 0 installs total
Connects Claude AI to Atelier B formal methods IDE, enabling typechecking, proof generation, automatic proving, and C code generation for B projects.
Unyly
