Extensions

SoloDrop - Share Agent Artifacts

SZLK

Turn agent-made files into verified browser previews and share them in one click. / 将 Agent 生成的文件转成已验证的网页预览，一键分享。

LeanWeaver

fiersity

Rule-based Lean 4 error explainer — hover errors to get clear explanations. 悬停报错即懂：英语优先，可切中文。

AvaTrust

balkanbrs

AvaTrust watches selected workspace files locally, flags high-signal trust risks while you code, and helps you review changes before they ship - without uploading your code.

Routabout in your editor — smart routing across every model, cross-model verification, and your repo/schema/spec context. Talks to your stack.

Metadata-only VS Code placeholder for the Demia namespace, reserved for future data and model interface helpers.

Implant

strangepleasures

Give coding agents live access to the VS Code API — Find References, Rename, diagnostics, any extension command — through an MCP tool.

Syntax highlighting and snippets for Zing (.zing) templates

BatchExporter

reingel

Batch convert every markdown file in a folder to PDF, with KaTeX math rendering

NWScript Workbench

KobaltBlu

A complete NWScript workbench for VS Code and compatible editors, with WebAssembly compilation, IntelliSense, navigation, and NCS inspection.

Taskbench

mahfujm

A workbench for project tasks. Create, run and manage them from the Explorer sidebar.

Pinake

DevBySergio

Manage Pinake project documentation from a native VS Code sidebar.

Trustabl

Trustabl

Static reliability/safety scanner for AI agent repos (Claude, OpenAI, Google ADK, MCP). Gates Azure Pipelines on risk + severity.