Logo and icon for Dafny Checker, a ChatGPT plugin with description: Check that Dafny code passes the verifier, without executing the code.. Find out more on Plugin Surf, the best plugin database.

Dafny Checker

Check that Dafny code passes the verifier, without executing the code.

This plugin, called Dafny Checker, allows you to verify the correctness of your Dafny code without actually executing it. Simply input your Dafny code and the plugin will check if it passes the verifier. It's a handy tool for developers looking to ensure the accuracy of their Dafny code. With Dafny Checker, you can catch any potential errors or bugs in your code before running it, saving you time and effort in the debugging process. It's like having a personal code verifier by your side!

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

Example prompts

  1. Prompt 1: "Check if this Dafny code is valid."

  2. Prompt 2: "Can you verify that this Dafny program is correct?"

  3. Prompt 3: "I need to ensure that my Dafny code is free of errors, can you assist me?"

Features and commands

Feature/CommandDescription
dafnyThis command is used to check the validity of Dafny code. It verifies the code without executing it. You need to provide the Dafny code as input. The response will include an error log and a standard out log, along with a status code indicating the result.

Configuration

User authenticationNo user authentication
API documentation

For AI

Namedafny_checker
DescriptionCheck that Dafny code passes the verifier, without executing the code.

Updates

First added22 September 2023

Similar plugins