pulsemcp verified Safe content atomic mcp-remote

Dafny Verifier

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.

Cognium trust score

97%

Tier

Verified

Composite of vulnerability cleanliness, spec conformance, provenance, stability, and usage signals — scanned and weighted by Cognium. Human and agent signals are tracked separately. Last scanned 2026-09-19.

Scan details: Circle-IR · 2026-09-19 · Appeal

View full trust & usage report →

Metadata

Version: 1.0.0
Skill type: atomic
Execution layer: mcp-remote
Category: other
Source: PulseMCP
Repository: github.com/namin/dafny-mcp
Author type: human
Last scanned: 2026-09-19
Updated: 2026-09-19

View source Find related skills

MCP

Resolve Dafny Verifier from your agent

Streamable HTTP transport at https://api.skillsregistry.net/mcp. No auth for read tools. Discovery: .well-known/mcp.json.

One command in your shell — Claude Code wires it up and verifies the connection. Run /mcp in any session to confirm.

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

Swap --scope user for --scope project to commit it to .mcp.json.

Your client Same endpoint everywhere; only the config key differs. The full list is in the descriptor.

Claude Desktop · Settings → Connectors → Add custom connector

https://api.skillsregistry.net/mcp

Paste the URL as the connector endpoint. No authentication.

ChatGPT · Settings → Connectors → Create (developer mode) → MCP server URL

https://api.skillsregistry.net/mcp

Authentication: none. Works in chat and deep research — the server exposes the connector search and fetch tools.

Codex CLI · ~/.codex/config.toml

[mcp_servers.skillsregistry]
url = "https://api.skillsregistry.net/mcp"