Skip to content

Add MCP server for LLM interaction with Goblint #15103

Add MCP server for LLM interaction with Goblint

Add MCP server for LLM interaction with Goblint #15103

Annotations

1 error and 1 warning

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

failed Feb 12, 2026 in 3m 38s