Chiasmus
未认领Chiasmus is an MCP server that gives language models access to formal verification
ai-agentsai-assistantai-toolsformalmethodsllmmcpmcp-serverprologz3-smt-solver
安装
$
claude mcp add chiasmus -- npx -y chiasmus