SecurityPython

Chimera-Protocol/csl-core

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.

Chimera-Protocol View Repository

securitylocal-servicemacoswindowslinux

Quick Start

Clone the repository:

git clone https://github.com/Chimera-Protocol/csl-core

Claude Desktop configuration example:

{
  "mcpServers": {
    "csl-core": {
      "command": "npx",
      "args": [
        "-y",
        "Chimera-Protocol/csl-core"
      ]
    }
  }
}

Check the repository README for specific installation and configuration instructions.

Details

More Security Servers

13bm/GhidraMCP

MCP server for integrating Ghidra with AI assistants. This plugin enables binary analysis, providing tools for function inspection, decompilation, memory exploration, and import/export analysis via the Model Context Protocol.

Python/Java

82ch/MCP-Dandan

Real-time security framework for MCP servers that detects and blocks malicious AI agent behavior by analyzing tool call patterns and intent across multiple threat detection engines.

Python/TypeScript

adeptus-innovatio/solvitor-mcp

Solvitor MCP server provides tools to access reverse engineering tools that help developers extract IDL files from closed-source Solana smart contracts and decompile them.

Rust

agntor/mcp

MCP audit server for agent discovery and certification. Provides trust and payment rail for AI agents including identity verification, escrow, settlement, and reputation management.

TypeScript

AIM-Intelligence/AIM-Guard-MCP

Security-focused MCP server that provides safety guidelines and content analysis for AI agents.

TypeScript

atomicchonk/roadrecon_mcp_server

🐍 🪟 🏠 MCP server for analyzing ROADrecon gather results from Azure tenant enumeration

Python