dafny-mcp

Name: dafny-mcp
Availability: InStock
Author: namin

Dafny is a programming language designed for verifying program correctness. This tool aims to enhance software reliability through formal verification. Implemented in Python, it combines ease of use with powerful features.

GitHub

GitHub Stars

User Rating

Not Rated

Favorites

Views

105

Forks

Issues

Technical Information

Programming Languages

PythonPrimary Language

System Requirements

No specific requirements are documented

Maintenance Status

Stale

Author Information

namin

GitHub

Followers

Repositories

Gists

Total Contributions

Related MCPs

fastmcp

17372

🚀 The fast, Pythonic way to build MCP servers and clients

Python

serena

11753

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & Agno integration)

Python

Qwen-Agent

11314

Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.

Python