JetBrains-Research/coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
This VSCode extension helps Coq users automate the creation of formal proofs. It takes your Coq code with 'admit.' statements, generates potential proofs using AI models, and inserts valid proofs directly into your editor. This tool is designed for formal verification engineers, mathematicians, or researchers working with Coq.
124 stars. No commits in the last 6 months.
Use this if you are a Coq developer looking to accelerate your proof-writing workflow by leveraging AI to suggest and validate proofs within Visual Studio Code.
Not ideal if you are not working with Coq, or if you prefer to write all proofs manually without AI assistance.
Stars
124
Forks
6
Language
TypeScript
License
LGPL-2.1
Category
Last pushed
Jun 08, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/JetBrains-Research/coqpilot"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
whats2000/CodeBRT
CodeBRT is an AI program generation plugin for VSCode. It helps you quickly generate code...
editor-code-assistant/eca-vscode
Editor Code Assistant (ECA) integration for Vscode
SudoACoder/CodeXpert
Code Xpert: A completely free and open-source GitHub Copilot-like Project With VS Code extension.
shunnNet/co
✨ A front-end development AI writing assistant, similar to Copilot but with a different working...
eumiguellllllllll/copilot-rules
⚡ Improve GitHub Copilot's code generation with clear instructions to fix errors and enhance...