Related Servers

No user-submitted related servers found.

Related Servers

• 

  Aare MCPofficial

  aare-ai

  A

  license

  -Not graded

  quality

  -Not graded

  maintenance

  Enables formal verification of LLM outputs against compliance ontologies using Z3 SMT solver. Validates that AI-generated content adheres to regulatory requirements like HIPAA or mortgage compliance rules.

  Updated 9 months ago (2025-12-04 20:05 UTC)

  MIT

• CSL-Core

  Chimera-Protocol

  A

  license

  A

  quality

  A

  maintenance

  Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.

  Updated 7 days ago (2026-09-07 18:25 UTC)

  6

  16

  Apache 2.0
• 

  QWED-MCPofficial

  QWED-AI

  A

  license

  B

  quality

  A

  maintenance

  Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.

  Updated 19 days ago (2026-08-27 08:48 UTC)

  2

  Apache 2.0

• Unravel MCP

  EruditeCoder108

  A

  license

  -Not graded

  quality

  C

  maintenance

  A deterministic AST evidence engine that forces AI agents to debug using verified execution facts instead of pattern-matching symptoms, enabling hallucination-free debugging for MCP-compatible agents.

  Updated 3 months ago (2026-06-27 05:02 UTC)

  4 npm

  Business Source 1.1

• Chiasmus

  yogthos

  A

  license

  -Not graded

  quality

  A

  maintenance

  MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.

  Updated 10 days ago (2026-09-04 19:34 UTC)

  100 npm

  212

  Apache 2.0

• Python Code Validator

  jkanselaar

  A

  license

  A

  quality

  A

  maintenance

  Validates AI-generated Python: syntax, lint, security scan and deterministic repair.

  Updated a month ago (2026-08-17 19:06 UTC)

  3

  MIT