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未申請リスティング
このMCPサーバーはあなたのものですか?
このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。
このサーバーを申請する