keybindings - VS Code Extensions

PICK: LTL Builder

SiddharthaPrasad

Generate candidate LTL formulas from an LLM, then refine them by classifying distinguishing traces.

Other #keybindings

6

O

Open Folder by Path

trueTatar

Open a local folder by typing its path

Other #keybindings

6

S

SSW Editor

lth

A fork of SAS language extension

Other #keybindings

6

LCC lowtech

COOLC

Support coding

Other #keybindings

6

Cerebretron Code

cerebretron

Cerebretron's AI coding agent inside VS Code — reads your workspace, edits files, runs commands, and taps Cerebretron's engines & FEA.

Programming Languages AI #ai

6

B

bigUML-DOP Modeling Tool

csui-rse-lab

Graphical UML-DOP Editor

Programming Languages Visualization #keybindings

6

Agent Comments

christianalfoni

Insert a context-aware, single-keyword comment marker (e.g. CLAUDE:) for your coding agent to pick up.

Other #ai

6

Miranda runner

SebastianBandera

Miranda Runner aims to provide an easy way to run Miranda code independently from the host machine configuration by using Docker.

Programming Languages #docker

6

Ajiu Codex Terminal

jiumaojiu

Ajiu quick launch for Codex in a split terminal

Other #keybindings

6

TSC AI Commit Tool

qiulongwen

Generate AI-enhanced commit template for Cursor/VS Code.

Other #keybindings

6

KlimSanjarPlusPlus

mrcountry1

Расширение для языка KlimSanjar++

Other #keybindings

6 5.0

Tracybot

TracyTeam

Tracing agent prompts to code

Visualization #git

6 5.0