# Dafny Verifier

> Use this tool when you need to verify Dafny code and ensure the correctness of formal specifications and proofs. It provides a Python-based interface for AI assistants to analyze code efficiently, with customizable timeout settings for optimized performance. Ideal for AI-driven software development workflows, the Dafny Verifier automates code verification, eliminating the need for manual interaction with Dafny's command-line interface.

Canonical page: https://skillsregistry.net/skills/namin-dafny-verifier  
JSON: https://api.skillsregistry.net/v1/skills/namin-dafny-verifier

## Description

This Dafny Verifier MCP server, developed by Nada Amin, provides a Python-based interface for AI assistants to verify Dafny code. Built using the FastMCP framework and integrating with the local Dafny installation, it offers a tool for code verification with customizable timeout settings. The implementation focuses on efficient code analysis, making it easier for AI models to check the correctness of Dafny programs. It's particularly useful for enhancing AI-driven software development workflows, enabling automated verification of formal specifications and proofs without requiring deep knowledge of Dafny's command-line interface.

## Trust

- **Trust score (0–1):** 0.97
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-19

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/namin-dafny-verifier)
- **Repository:** <https://github.com/namin/dafny-mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "namin-dafny-verifier"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/namin-dafny-verifier` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/namin-dafny-verifier/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt