Skip to content

Add MCP server for LLM interaction with Goblint #4154

Add MCP server for LLM interaction with Goblint

Add MCP server for LLM interaction with Goblint #4154

Annotations

1 error and 1 warning

coverage (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)

failed Feb 12, 2026 in 3m 56s