Logo and icon for Z3 Checker, a ChatGPT plugin with description: Calls the Z3 verifier on an SMT-LIB specification.. Find out more on Plugin Surf, the best plugin database.

Z3 Checker

Calls the Z3 verifier on an SMT-LIB specification.

A handy plugin called Z3 Checker! It allows you to call the Z3 verifier on an SMT-LIB specification. If you need to verify the correctness of your code or mathematical formulas, this plugin will come to the rescue! Simply input your specification and let Z3 Checker work its magic. It's a reliable way to ensure your work is error-free and mathematically sound. So why worry about bugs or mistakes when you have Z3 Checker on your side? Give it a try and code with confidence!

Learn how to use Z3 Checker effectively! Here are a few example prompts, tips, and the documentation of available commands.

Example prompts

  1. Prompt 1: "Check if my SMT-LIB specification is valid."

  2. Prompt 2: "Can you verify the correctness of this SMT-LIB specification?"

  3. Prompt 3: "I need to validate my SMT-LIB specification, can you help?"

  4. Prompt 4: "What is the status of the verification process for my SMT-LIB specification?"

  5. Prompt 5: "Please check if my SMT-LIB specification has any errors."

Features and commands

Feature/CommandDescription
z3This command calls the Z3 verifier to check the validity of an SMT-LIB specification. You need to provide the SMT-LIB specification in the request body. The response will include the error log, standard out log, and status code.

Configuration

User authenticationNo user authentication
API documentation

For AI

Namez3_checker
DescriptionCalls the Z3 verifier on an SMT-LIB specification.

Updates

First added25 October 2023

Similar plugins