Markus Alexander Kuppe

Written by @younes-io at https://github.com/tlaplus/vscode-tlaplus/pull/467#issuecomment-3598410425: > I am not convinced MCP "won" the race. It is still inconsistent in tool calling and instruction following; also, it's very token-hungry. People are...

I'm getting suspicious that there may not be any actual users, considering no one has spoken up even though SANYTool and TLCTool are clearly behind MCPServer in functionality.

> I'm getting suspicious that there may not be any actual users, considering no one has spoken up even though SANYTool and TLCTool are clearly behind MCPServer in functionality. @zfhuang99's...

Related: https://github.com/tlaplus/vscode-tlaplus/pull/472

Our extension includes TLA+ commands such as “TLA+: Check Model with TLC.” These are designed for humans to invoke. I initially [assumed](https://github.com/microsoft/vscode-discussions/discussions/2411#discussioncomment-12938817) that IDEs would allow LLMs to call those...

At this time, I don’t intend to expose a library API, mainly because I don’t have a clear picture of the non-HTTP pipelines you’re aiming to support. If your intent...

@FedericoPonzi Does DocuWiki or some of its plugins support Markdown?

@FedericoPonzi Could you please create a basic structure for a page that others like @younes-io can build upon?

@younes-io We discussed and weighed the decision to use a hosted DokuWiki instead of the GitHub Wiki extensively. One reason was to avoid vendor lock-in, but more importantly, we wanted...

At present, the Spectacle repository is too large (tree-sitter-tlaplus is 5mb) to be directly bundled within the VS Code extension. As an initial step, we will need to produce a...