Skip to content

Automatically register TLA+ MCP server in VSCode.#472

Merged
lemmy merged 1 commit intomasterfrom
mku-CodeRegMCPProg
Dec 2, 2025
Merged

Automatically register TLA+ MCP server in VSCode.#472
lemmy merged 1 commit intomasterfrom
mku-CodeRegMCPProg

Commits

Commits on Dec 2, 2025