MCP servers tagged sat-solver

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

live servers

avg trust

Elenchus

m62624

Tiny consistency checker for LLM reasoning. State facts and first principles in a small English-like DSL; a three-valued SAT engine finds where they contradict — consistency, not…

updated 3 months ago