MCPVault
Chiasmus logo

Chiasmus

未申請

作者: yogthos

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分以内に完了します。

このサーバーを申請する