You'll need an access code to use Cortex App. Hop into our Discord to grab yours!

Product Manuals

Server Discovery Blog

Product Manuals

MCP Servers>Dafny Verifier

icon for mcp server

Dafny Verifier

STDIO

Dafny Verifier Tool for Model Context Protocol, compatible with Claude.

2Stars

0Views

0Adds

Author

namin

Tag

Developer Tools

+2

AI Chatbots & Language ToolsKnowledge & Memory

Version

Last Updated

View Source Code

no data

Be the First to Experience Cortex App

A desktop app that makes MCP easy

Products

Discover
Manage
Share

Resources

Product Manuals
Blog
Downloads

About Us

Discover all servers

© 2025 Cortex App. All rights reserved.