Integrates with Dafny for code correctness verification via formal specification analysis—a specialized MCP server for formal methods and verification.
Memuat lebih banyak......
Di halaman ini
Dafny Mcp
Category: Testing & Debugging Tools
Tags: mcp, verification, formal-methods, code-analysis
Dafny Mcp integrates with Dafny to provide code correctness verification by analyzing formal specifications. It operates as a specialized MCP (Model Context Protocol) server, supporting the use of formal methods and verification tools.
https://github.com/namin/dafny-mcp
No pricing information is provided; the tool appears to be open source.
Jelajahi item lain yang terkait