T3 VERIFIED

a5c-ai/babysitter/coq-proof-assistant

Name: coq-proof-assistant
Author: a5c-ai

a5c-ai·AI/ML·a5c-ai/babysitter·library/specializations/domains/science/mathematics/skills/coq-proof-assistant/SKILL.md ↗·Updated Oct 4, 2026

Source check pending

This skill was recently updated. Verifying source availability...

a5c-ai/babysitter

community

Install

# npm
$ npx vskill@latest install a5c-ai/babysitter/coq-proof-assistant

# bun
$ bunx vskill@latest install a5c-ai/babysitter/coq-proof-assistant

# pnpm
$ pnpx vskill@latest install a5c-ai/babysitter/coq-proof-assistant

# yarn
$ yarn dlx vskill@latest install a5c-ai/babysitter/coq-proof-assistant

# alternative
$ npx vskill@latest install a5c-ai/babysitter --skill coq-proof-assistant

──Security

Tier 1PASS 90/100Tier 2PASSView full security report →

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

1.8kstars113forks437d trend

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

Cline

Amp

Roo Code

Goose

Continue

Kilo Code

Junie

Trae

OpenHands

Qwen CodeAI AgentTabnine ChatSourcegraph CodyAmazon QFirebase GenkitSweepDevinPhindMentatClaude DesktopAiderGPT PilotPlandexbolt.newv0

Replit AgentAnseTypingMindBetterChatGPTLibreChatWarp AIPiecesFig AI

Embed badge

Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/a5c-ai/babysitter/coq-proof-assistant/badge)](https://verified-skill.com/skills/a5c-ai/babysitter/coq-proof-assistant)