Sign in
← Back to search
github Not archived

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
16
Forks
12
Open issues
14
Commits
75

Activity and growth

Latest capture 2026-09-12 03:09

Stars · last 7 days
No history
Commits · last 7 days
No history
Stars since tracking
+4
Stored snapshots
9

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-09-07
GitHub updated
2026-09-07
Last synced
2026-09-12 03:09
Stack scanned
2026-09-12 03:09
Archived
No

Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.

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

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

Stars from first capture +4

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.

16 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.

6,250 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.

649 stars
Rust 1 awesome list

zeroclaw-labs/zeroclaw

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

32,740 stars
Rust 3 awesome lists

future-agi/future-agi

Open-source, end-to-end platform for evaluating, observing, and improving LLM and AI agent applications. Tracing · Evals · Simulations · Datasets · Gateway · Guardrails. Self-hostable. Apache 2.0.

1,943 stars
Python 5 awesome lists

AgentsKit-io/agentskit

The complete toolkit for building AI agents in JavaScript. Lightweight core, React & Terminal UIs, autonomous runtime, tools, skills, memory, RAG and observability. Plug-and-play from chat UI to full agents.

35 stars
TypeScript 1 awesome list