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 ToolsEcosystem
GPT ActionLanguage
-
Pricing
Free
License
-
Status
Abandoned
Platforms
Similar Tools
View all Code Execution & Dev Tools →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.
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
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
Know before you install 📬
We score every tool 0-100 for security, maintenance and utility. Get the weekly shortlist of the highest-scored, vetted tools, plus an alert when a package you rely on goes stale. Free.
Data last verified: 5 months ago. See something wrong? Report it →