Integrates with Dafny to verify code correctness through analysis of formal specifications and proofs.
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
brew install dafny on Mac OS X.uv pip install "mcp[cli]"mcp install mcp.pymcp dev mcp.pySimilar servers from the same category.
sourcebot-dev
Enables code search across multiple repository hosts including GitHub, GitLab, Gitea, Gerrit, and Bitbucket with advanced filtering options for exploring large codebases through natural language queries.
codealive-ai
Provides a bridge to CodeAlive's platform for semantic code search, repository exploration, and context-aware chat completions that leverage deep understanding of entire codebases including documentation and dependencies.
cloudflare
Provides a secure, sandboxed environment for executing Python, Node.js, and shell commands in ephemeral containers with file management capabilities for code testing, visualization, and data analysis.
lightbaby
Integrates with NovaCV API to generate, analyze, and convert resumes in various formats without dealing with complex document formatting