What are the best alternatives to VsCoq?

The top alternatives to VsCoq are Replit, Cursor, JetBrains AI Assistant, ranked by real usage data on Unfragile.

Are there free alternatives to VsCoq?

Yes, 19 free alternatives to VsCoq exist, including Replit, Cursor, JetBrains AI Assistant.

Best VsCoq Alternatives (2026) — Ranked by Real Data | Unfragile

nfragile

Search Hub Build Docs Sign in

Home/VsCoq/Alternatives

Best Alternatives to VsCoq

20 alternatives ranked by real usage data. VsCoq scores 37/100 — 20 tools score higher.

OriginalVsCoq

VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant

20 alternatives

19 free options

20 score higher

Replit88/100FreeHigher rated

Browser-based IDE + AI Agent — builds, runs, and deploys full apps from a description, 50+ languages supported.

Agent

Search

Search AI Artifacts
For Developers
For Idea Builders
Categories
Trends
Fresh
Compare
Stacks
Use Cases

Hub

Browse All
Capabilities
Agents
Models
MCP Servers
Repositories

For Builders

Build for agents
Submit an Artifact
Studio Dashboard
Pricing

Cursor84/100FreeHigher rated

AI-native code editor — Cursor Tab, Cmd+K editing, Chat with codebase, Composer multi-file.

JetBrains AI Assistant82/100FreeHigher rated

JetBrains' first-party AI + Junie agent across IntelliJ-family IDEs — chat, completion, autonomous tasks.

Extension

Claude Code79/100Higher rated

Anthropic's terminal coding agent — file ops, git, MCP servers, extended thinking, slash commands.

Agent

Cline (Claude Dev)77/100FreeHigher rated

Autonomous AI coding agent with file and terminal control.

Agent

Windsurf76/100FreeHigher rated

Codeium's AI code editor — Cascade agentic flows, Supercomplete, inline commands, generous free tier.

Agent

Semantic Kernel75/100FreeHigher rated

Microsoft's SDK for integrating LLMs into apps — plugins, planners, and memory in C#/Python/Java.

Framework

aider73/100FreeHigher rated

AI pair programming in terminal — git-aware, multi-file editing, auto-commits, voice coding.

Agent

GitHub Copilot70/100FreeHigher rated

Your AI pair programmer

Extension

Continue67/100FreeHigher rated

Open-source AI code assistant for VS Code/JetBrains — customizable models, context providers, and slash commands.

Extension

Cline67/100FreeHigher rated

Autonomous AI coding assistant for VS Code — reads, edits, runs commands with human-in-the-loop approval.

Agent

ChatGPT62/100FreeHigher rated

GPT-4,Key-free,Free of charge,免Key,免魔法,免注册,免费

Extension

Dify62/100FreeHigher rated

Open-source LLM app platform — prompt IDE, RAG, agents, workflows, knowledge base management.

Framework

Obsidian Copilot60/100FreeHigher rated

AI agent for Obsidian knowledge vault.

Agent

Twinny59/100FreeHigher rated

Free local AI completion via Ollama.

Extension

rust-analyzer59/100FreeHigher rated

Official Rust language server for VS Code.

Extension

Roo Code59/100FreeHigher rated

Enhanced Cline fork with custom modes.

Extension

REST Client59/100FreeHigher rated

Send HTTP requests from text files in VS Code.

Extension

Prettier59/100FreeHigher rated

Opinionated code formatter for JS, TS, CSS, HTML.

Extension

GitLens59/100FreeHigher rated

Advanced Git integration with blame annotations and AI.

Company

About
Philosophy

Agent? One curl.

curl unfragile.ai/agents.md | sh

nfragile