Repository Index

Quickly browse the history of a file from any git repository

• git
• github
• history
• commit

A fast type checker and language server for Python

• code-quality
• ide
• language-server
• lsp

Deepnote is a drop-in replacement for Jupyter with an AI-first design, sleek UI, new blocks, and native data integrations. Use Python, R, and SQL locally in your favorite IDE, then scale to Deepnote cloud for real-time collaboration, Deepnote agent, and deployable data apps. https://deepnote.com/

• artificial-intelligence
• data
• data-analysis
• data-science

Database management for VSCode

• sqltools
• sql
• vscode
• vscode-extension

Quarto open-source scientific and technical publishing system

The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.

• agent
• ai
• ai-agents
• ai-coding-assistant

Visual Studio Code extension for Rocq

• coq
• vscode
• vscode-extension
• editor

Connect to MongoDB and Atlas and directly from your VS Code environment, navigate your databases and collections, inspect your schema and use playgrounds to prototype queries and aggregations.

• mongodb
• mongodb-atlas
• vscode
• vscode-extension

Language server, formatter, and linter for Quarto and other Markdown flavors

• formatter
• pandoc
• quarto
• language-server

Fast, cross-platform, real-time token usage tracker and cost monitor for Claude Code / Codex CLI / Antigravity CLI / Qwen Code / Cline / Zoo Code / Kilo Code / GitHub Copilot / OpenCode / Pi Agent / Piebald.

• analyzer
• claude-code
• codex
• usage

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Visual Integration Designer for Apache Camel

• camel
• camel-k
• apache-camel
• integration

Quarto Wizard is a Visual Studio Code / Positron extension that assists you in managing extensions in Quarto projects.

• extension
• quarto
• vscode
• codium

One local, searchable index of your AI coding-agent history Claude Code, Codex, Cursor, Gemini & more. Keyword + semantic search, MCP server, CLI & VS Code extension.

• ai-agents
• ai-tools
• claude-code
• codex

Lisp VSCode Extension

• common-lisp
• ide
• lisp
• programming-language

TypeQL plugin for Visual Studio Code

🔮 MAGUS Council: World's first? 4-AI consultation system (Gemini+Claude+GPT-5+Qwen) in VS Code - Revolutionary multi-agent development environment

• claude-code
• codex-cli
• gemini-cli
• gpt-5

VSMqtt is a simple MQTT client integrated in vscode.

• mqtt
• client
• mqtt-client
• vscode-extension

The repository host gives no description.