CSL-Core
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.
セキュリティと権限
0 プラットフォーム
0 機能
インストール
uvx csl-core
上記の設定をMCPクライアントの設定ファイル（Claude Desktop は claude_desktop_config.json）に追記し、クライアントを再起動してください。
{
"mcpServers": {
"csl-core": {
"command": "uvx",
"args": [
"csl-core"
]
}
}
}上記の設定をMCPクライアントの設定ファイル（Claude Desktop は claude_desktop_config.json）に追記し、クライアントを再起動してください。
出典：公開されているMCPサーバーカタログ。当サイトは独立した第三者ディレクトリであり、各MCPサーバーの提供元との提携や推奨関係はありません。
