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.
📊 Score Breakdown
Overall = Security (30%) + Utility (30%) + Maintenance (25%) + Uniqueness (15%). Full methodology →
ℹ️ Details
Category
🛡️ Security & Monitoring
Ecosystem
MCP Server
Language
—
Pricing
Free
License
—
Status
Unknown
Platforms
claude
Similar Tools
View all Security & Monitoring →mcp-for-beginners
by microsoft
This open-source curriculum introduces the fundamentals of Model Context Protocol (MCP) through real-world, cross-language examples in .NET, Java, TypeScript, JavaScript, Rust and Python. Designed for
netdata/netdata#Netdata
by netdata
🎖️ 🏠 ☁️ 📟 🍎 🪟 🐧 - Discovery, exploration, reporting and root cause analysis using all observability data, including metrics, logs, systems, containers, processes, and network connections
toolhive
by stacklok
ToolHive makes deploying MCP servers easy, secure and fun
mcp-context-forge
by IBM
A Model Context Protocol (MCP) Gateway & Registry. Serves as a central management point for tools, resources, and prompts that can be accessed by MCP-compatible LLM applications. Converts REST API end
The Weekly Index 📬
New MCP servers, Claude skills, stale alerts, and picks — every Thursday.
Data last verified: 3 weeks ago. See something wrong? Report it →