MCP servers tagged invariant-checking

1 live MCP servers tagged "invariant-checking", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with invariant-checking.

live servers

avg trust

Stokes

yvliet

Autonomous cross-boundary systems invariant verification engine for SQL, Protobuf, Python, and Rust. Built with IBM Bob 2.0 for the IBM Bob 2.0 2026 Hackathon on lablab.ai

updated a month ago