omega-imandra-codelogician-provider
Use when code or invariants require real ImandraX/CodeLogician formal or neuro-symbolic verification. Configures the documented CodeLogician MCP endpoint, authenticates through an environment-backed token, probes health, discovers an actual tool, invokes it and preserves proof-scope honesty.
Pinned to revision b76cf7dfcb0b, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.