Sign in
← Back to search
github Active

Repository profile

Chimera-Protocol/csl-core

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

Python Apache-2.0 main Stack scanned README.md
Sign in to like Chimera-Protocol/csl-core
Open website Open GitHub
Stars
15
Forks
12
Watchers
15
Issues
14
Commits
65
Awesome lists
1

Repository updates

Follow repository updates

Get generated Chimera-Protocol/csl-core development summaries by email, or follow the weekly and monthly RSS feeds.

Weekly RSS Monthly RSS

Sign in to subscribe by email. RSS feeds are public.

Sign in to subscribe

Activity and growth

Tracked growth, recent movement, and commit velocity from stored repository snapshots.

Latest capture 2026-07-16 03:09

Star growth, last 7 days
0 0.0%
Commit velocity, last 7 days
0 0.0%
Stars since baseline
+3
Snapshot coverage
7

Tracked growth

7 captures since 2026-05-22

Stars from baseline +3

Time horizon

All tracked data

Stars history

Total stars

Commits history

Default branch commits

Detected stack

Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.

Scanned 2026-07-16 03:09

Stack signals
1
Package managers
2
Manifest files
2
Dependencies
12

Frameworks and tools

  • pytest test framework · high confidence
npm PEP 517 javascript python

Dependency files

2 manifests
  • pyproject.toml python ecosystem, 12 dependencies
  • vscode-extension/csl/package.json javascript ecosystem, 0 dependencies

Classification

Searchable topics, generated tags, and stack labels that explain where this repository fits.

Topics
16
Tags
0
Stacks
1

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

Generated tags

No generated tags yet.

Stack labels

pytest

AI development signals

Agent instructions and tool configuration paths found in the repository tree.

0 paths
No AI development config files detected.

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.

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

4,874 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

Chorus-AIDLC/Chorus

The Agent Harness for AI-Human Collaboration, inspired by the AI-DLC (AI-Driven Development Lifecycle)

1,049 stars
TypeScript 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

464 stars
Python 1 awesome list

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-07-16 03:09
Stack detected
2026-07-16 03:09
Archived
no

Links and files

GitHub Website

https://runtime.chimera-protocol.com/

README

Appears in

1