New in November

Working with agents - Trust, but verify (with Provengo's new verify command)

The new version of our provengo tool supports verification, and now our IDE supports this too! Look for the Verify command on the Commands panel.

We've also refreshed some icons and improved some internal wirings.

Get it on VSCode Marketplace and on OpenVSX.

In other news, a maintenance release of our CLI tool is also out. It contains faster and more accurate verification and analysis engine, as well as some bug fixes and internal updates.

As usual, it's available on our download page, or from brew (if you're on MacOS).

Happy Modeling!