🔌 MCP Servers

csl-core

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

⭐ —
❤️ 0
⬇️ 0
👁 1
Save📁 Collect
Share

Description

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

Reviews (0)

Sign in to write a review.

No reviews yet. Be the first to review!

Comments (0)

Sign in to join the discussion.

No comments yet. Be the first to share your thoughts!

Compatible Platforms

Tags

pythonlocalmacoswindowslinux

Links

📂 Source Code

Pricing

Free

Related Configs

🧪 Skill

Desktop Control (Windows)

Free

Control desktop applications on Windows — launch, close, focus, resize, move windows, simulate keyboard/mouse input, manage processes, control VSCode, read clipboard, and capture screen info. Use when

❤️ 1 ⬇️ 4.2k
🧪 Skill

HackerNews Extract

Free

Extract a HackerNews post (article + comments) into single clean Markdown for quick reading or LLM input.

❤️ 3 ⬇️ 2.3k
🧪 Skill

Apple Music

Free

Apple Music integration via AppleScript (macOS) or MusicKit API

❤️ 2 ⬇️ 2.0k
🧪 Skill

文件总结 File Summary & Analysis

Free

Local document summary tool. Activate when user mentions "总结文件", "帮我总结", "总结文档", "分析文档" or provides a local file path (txt/docx/pdf/xlsx/xls).

❤️ 0 ⬇️ 960