Sign in
← Back to search
github Actively maintained

Chimera-Protocol/csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

1 awesome list

Quick read

Stars
15
Forks
12
Open issues
14
Commits
65

Activity and growth

Latest capture 2026-08-04 03:03

Stars · last 7 days
No history
Commits · last 7 days
No history
Stars since tracking
+3
Stored snapshots
8

Classification

Topics

#agent-framework #ai-governance #ai-safety #deterministic-ai #formal-verification #hallucination-prevention #langchain #llm-safety #mcp #mcp-server #neuro-symbolic #policy-as-code #state-machine #tla-plus #tla-plus-model-checking #z3

Technology stack

pytest

Metadata

Language
Python
License
Apache-2.0
Default branch
main
Created
2026-02-06
First commit
2026-02-06
Last pushed
2026-05-31
GitHub updated
2026-07-05
Last synced
2026-08-04 03:03
Stack scanned
2026-08-04 03:03
Archived
No
Sign in to like Chimera-Protocol/csl-core
README Open website View on GitHub

AI development signals

0 paths

Agent instructions and tool configuration found in this repository.

No config files detected.

Growth history

Tracked growth

8 observed captures since 2026-05-22. Observed captures are shown by default.

Stars from first capture +3

Chart data

Observed captures only

Time horizon

All tracked data

Custom date range

Stars history

Observed snapshots

Commits history

Observed snapshots

Similar repositories

Nearest indexed repositories by embedding similarity.

Acacian/aegis

LLM guardrails & prompt injection detection for Python. Auto-instruments LangChain, CrewAI, OpenAI, LiteLLM + 8 more frameworks. PII masking, toxicity detection, policy CI/CD. One line, zero code changes.

15 stars
Python 1 awesome list

microsoft/agent-governance-toolkit

AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.

5,557 stars
Python 4 awesome lists

qhkm/zeptoclaw

Fast, small, secure, local-first personal AI assistant infrastructure: one Rust binary for tools, memory, channels, providers, and sandboxed autonomy.

645 stars
Rust 1 awesome list

chrbailey/promptspeak-mcp-server

Pre-execution governance for AI agents. Sub-millisecond tool call validation, drift detection, circuit breakers, human-in-the-loop holds. 829 tests. 56 MCP tools.

1 stars
TypeScript 1 awesome list

SponsioLabs/Sponsio

Deterministic safety solutions for probabilistic AI agents

469 stars
Python 1 awesome list

zeroclaw-labs/zeroclaw

Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀

32,481 stars
Rust 3 awesome lists