TLA+ VS Code Extension
The official TLA+ extension for Visual Studio Code providing language support, syntax highlighting, TLC integration, and model checking from within the VS Code editor.
Work with this as data
Every API here is available over the APIs.io API and to AI agents over MCP.
MCP server
One button, every client — Claude, Cursor, VS Code and the rest.
https://apis.io/mcp
Tools for apis
7 MCP tools reach this
find_apisBrowse and filter every API in the catalog.get_api_artifactsOne API's artifacts, grouped by type.get_openapiThe primary OpenAPI for this API.find_similar_apisAPIs that look like this one.apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.resolveTurn a domain, URL or GitHub org into the provider it belongs to.find_cohortsEvery scored population of providers in the catalog.
Call it yourself
curl for this page
This API
curl "https://apis.io/api/v1/apis/vscode-tlaplus"
All apis
curl "https://apis.io/api/v1/apis?limit=25"Discovery needs no key. Ratings and market analysis are Pro.
Get an API key
Free tier, no form to fill in. Signing in shares your email address with us — we store it to create your key and to recognise you if you sign in with another provider. See our Privacy Policy and Terms.
A second provider on the same verified email joins the account you already have.
API entry from apis.yml
aid: tla-plus-foundation:vscode-tlaplus
name: TLA+ VS Code Extension
description: The official TLA+ extension for Visual Studio Code providing language support, syntax highlighting,
TLC integration, and model checking from within the VS Code editor.
humanURL: https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus
tags:
- IDE
- VS Code
- Tooling
properties:
- type: Documentation
url: https://github.com/tlaplus/vscode-tlaplus
- type: GitHubRepository
url: https://github.com/tlaplus/vscode-tlaplus