Skip to content
mcp/skillhub

Csl Core MCP Server

by chimera-protocol

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

20Python

context tax

queued

security

queued

cold start

queued

freshness

Active5d ago

Install Csl Core MCP server

No published package or hosted endpoint yet — see the repository README for build-from-source instructions.

Freshness

Active — last maintenance signal 5d ago. The newest of the signals below sets the band.

  1. Last commit (default branch)

    2026-10-05 · 5d ago · GitHub

  2. Latest release

    2026-10-05 · 5d ago · GitHub · v0.6.9

  3. Package published

    no data · npm/PyPI

  4. Registry entry updated

    no data · official registry

FAQ

›Is Csl Core in the official MCP registry?

No. It was indexed from awesome-mcp-servers (punkpeye).

Alternatives to Csl Core

Other security MCP servers.

View all
SemgrepActiveScan code for security vulnerabilities using Semgrep.Ida ProActiveIDA Pro plugin for binary analysis: decompilation, disassembly and automatic malware analysis reports.GhidraAbandonedAutonomous reverse engineering with Ghidra: decompile binaries, rename methods and data, and list methods, classes, imports and exports.Robin: AI-Powered Dark Web OSINTActiveDark web OSINT over Tor: search onion engines, scrape pages, report with your own model.Claude Code Ultimate GuideActiveSearch the Claude Code Ultimate Guide, official Anthropic documentation, releases, examples, security references, agent harness data, and translations from any MCP-compatible client.Jadx AIActiveJADX decompiler plugin providing live, LLM-assisted reverse engineering.