csl-core

10

Policy Language for AI Agents. Deterministic safety language, Z3-verified policy enforcement.

Visit Site GitHub
Category MCP Servers
Language Python
License Apache-2.0
Added Mar 28, 2026
Views 126

About

Policy Language for AI Agents. Deterministic safety language, Z3-verified policy enforcement.

Is this your product? Claim this listing with an email at your domain to post updates.

Is this your project?

Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.

Log In to Claim

Share This Project

Share on X Share on LinkedIn

Embed Badge

Add this badge to your README:

[![Listed on AiList](https://hifriendbot.com/ai-list/badge/csl-core.svg)](https://hifriendbot.com/ai-list/csl-core/)
Listed on AiList

Compare

csl-core vs mcp-hangar csl-core vs AgentOS csl-core vs Beacon GoM — Gulf of Mexico Safety Intelligence

Similar Projects

mcp-hangar

14

MCP policy enforcement plane — deterministic policy on every Model Context Protocol call: identity, RFC 8707 audience binding, tool schema digest pinning, full audit trail. Python, self-hosted, MIT.

MCP Servers

AgentOS

68

Build and manage policy-compliant AI agents with safety enforcement and compliance checking.

Agents Python

Beacon GoM — Gulf of Mexico Safety Intelligence

Query BSEE offshore safety data for Gulf of Mexico oil and gas operations. Search incidents by operator, area, and date range. Get operator safety summaries including incident counts, injuries, fatalities, and violations. Access raw public data from the Bureau of Safety and Environmental Enforcement

MCP Servers

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project