CO
JetBrains-Research/coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
129 6 +0/wk
GitHub
code-generation coq formal-methods llm theorem-prover inference-engines
Trend
3
Star & Fork Trend (47 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
JetBrains-Research/coqpilot has +0 stars this period . 7-day velocity: 0.8%.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | coqpilot | agent-skills-cli | wine_variety_classification | DrugClaw |
|---|---|---|---|---|
| Stars | 129 | 129 | 129 | 129 |
| Forks | 6 | 9 | 10 | 4 |
| Weekly Growth | +0 | +1 | +0 | +0 |
| Language | TypeScript | TypeScript | Python | Python |
| Sources | 1 | 1 | 1 | 1 |
| License | LGPL-2.1 | MIT | MIT | N/A |
Capability Radar vs agent-skills-cli
coqpilot
agent-skills-cli
Maintenance Activity 100
Last code push 6 days ago.
Community Engagement 69
Fork-to-star ratio: 4.7%. Lower fork ratio may indicate passive usage.
Issue Burden 70
Issue data not yet available.
Growth Momentum 30
No measurable growth in the current period (first-day cold start expected).
License Clarity 70
Licensed under LGPL-2.1. Copyleft — check compatibility requirements.
Risk scores are computed from real-time repository data. Higher scores indicate healthier metrics.
Track 10,000+ repos like this one
AISignal Weekly — top breakouts + research, every Friday. Free.
Free weekly AI intelligence digest