1. Conduid
  2. Marketplace
  3. #formal-verification
Tag

MCP servers tagged formal-verification

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

4
live servers
51
avg trust
5
most stars
1

Chimera-Protocol/csl-core

Chimera-Protocol

Deterministic safety layer for AI agents. Z3-verified policy enforcement.

★ 5updated 6 months agoApache-2.0
67
2

Qwed MCP

QWED-AI

MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and any MCP client

updated 6 months agoApache-2.0
65
3

Governance

MCP Governance Server — wraps any MCP server with MAREF governance guardrails. Intercepts file writes and command execution to enforce policies via MAREF sidecar.

37
4

Kino

Production-grade Rust video SDK -- HLS/DASH streaming, BOLA ABR, audio fingerprinting, WASM player, formal verification (TLA+). 7 crates, CLI, Python bindings, MCP server.

34
← Previous Page 1 of 1 Next →