Leveraging the existing server mode in Goblint, generate an MCP server that allows LLMs to interact with Goblint.
It should offer the ability:
- to configure the options of Goblint
- to run Goblint on a project using the compilation database feature, or by providing a single C file
- to query results from Goblint
(This is an experiment to see if Copilot comes up with something useful here, but if it does we may decide to use it.)
Leveraging the existing server mode in Goblint, generate an MCP server that allows LLMs to interact with Goblint.
It should offer the ability:
(This is an experiment to see if Copilot comes up with something useful here, but if it does we may decide to use it.)