Integrates with Dafny for code correctness verification via formal specification analysis—a specialized MCP server for formal methods and verification.
Loading more......
An MCP server that implements Claude Code-like functionality, allowing AI-driven analysis of codebases, file modification, command execution, and project management directly through file system interactions. A notable solution for code-focused MCP servers.
A Model Context Protocol server providing clj-kondo linting capabilities for Clojure/ClojureScript/EDN files. Useful in environments lacking built-in linting, directly as an MCP server.
An MCP server running inside a trusted execution environment, enabling remote attestation and secure server verification for MCP clients.
A Model Context Protocol (MCP) server that helps large language models index, search, and analyze code repositories with minimal setup. Demonstrates MCP server use for codebase analysis.
A server wrapping the code2flow tool as an MCP service, enabling AI applications to generate and access code call graphs using a standardized protocol. Directly demonstrates MCP server integration.
Transforms complex codebases into structured summaries optimized for language models through an MCP server, facilitating better code understanding and analysis workflows. Directly relevant as an MCP server.
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.