Coq Checker
The Coq Checker plugin is designed to check the validity of Coq code. It provides a reliable and efficient way to ensure that your Coq code is correct and free from errors. By using this plugin, you can easily validate your Coq code and identify any potential issues or mistakes. Whether you are a beginner or an experienced Coq programmer, the Coq Checker plugin is an essential tool for ensuring the accuracy and reliability of your code.
📊 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 →