MCP servers for formal-verification

MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration

Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.

Deterministic AST Safety Guard, High-Throughput Compound Pipelines, Bidirectional Intent Synthesizer, Polyglot Graph & Zero-Dependency MCP Server in Pure Safe Rust.