Skip to content

Add MCP server for LLM interaction with Goblint#1938

Draft
michael-schwarz with Copilot wants to merge 10 commits into
masterfrom
copilot/add-mcp-server-for-goblint
Draft

Add MCP server for LLM interaction with Goblint#1938
michael-schwarz with Copilot wants to merge 10 commits into
masterfrom
copilot/add-mcp-server-for-goblint

Improve documentation in ServerUtil and McpServer

b7c1c8f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.