This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
lmstr.bsky.social
did:plc:gurt6qkq2yocaohz5flltnmg
As someone building a VSCode extension for #TLAplus, I have some questions about #VSCode, #Cursor, and #MCP. Would appreciate any insights!
🔗 https://forum.cursor.com/t/support-languagemodeltool-api/91137
🔗 https://github.com/microsoft/vscode-discussions/discussions/2411#discussioncomment-13134144
2025-05-13T17:17:50.854Z