Connect to Claude
Developer Tools
Other
Security & Testing
Dafny icon

Dafny

Creatednamin

Verifies Dafny code using the Model Context Protocol, enabling integration with tools like Claude.

NPM Package Github Repo

About

Dafny is a verification tool that leverages the Model Context Protocol (MCP) to facilitate interaction with large language models such as Claude. It allows developers to verify the correctness of Dafny code within an MCP environment, enabling powerful integrations for code analysis and manipulation.