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 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 →