Dafny Checker
The Dafny Checker plugin allows users to verify their Dafny code without executing it. By running the code through the Dafny verifier, this plugin ensures that the code is error-free and meets the required specifications. It provides a convenient way to check the correctness of Dafny code before executing it.
📊 Score Breakdown
Overall = Security (30%) + Utility (30%) + Maintenance (25%) + Uniqueness (15%). Full methodology →
ℹ️ Details
Category
💻 Code Execution & Dev Tools
Ecosystem
GPT Action
Language
—
Pricing
Free
License
—
Status
Abandoned
Platforms
chatgpt
Similar Tools
View all Code Execution & Dev Tools →system-prompts-and-models-of-ai-tools
by x1xhlol
FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qode
ui-ux-pro-max-skill
by nextlevelbuilder
An AI SKILL that provide design intelligence for building professional UI/UX multiple platforms
everything-claude-code
by affaan-m
Complete Claude Code configuration collection - agents, skills, hooks, commands, rules, MCPs. Battle-tested configs from an Anthropic hackathon winner.
LibreChat
by danny-avila
Enhanced ChatGPT Clone: Features Agents, MCP, DeepSeek, Anthropic, AWS, OpenAI, Responses API, Azure, Groq, o1, GPT-5, Mistral, OpenRouter, Vertex AI, Gemini, A
The Weekly Index 📬
New MCP servers, Claude skills, stale alerts, and picks — every Thursday.
Data last verified: 1 months ago. See something wrong? Report it →