Open-Source-Legal/cite
Ground truth layer for humans and AI agents working together. Version control for knowledge.
Deterministic safety solutions for probabilistic AI agents
Ground truth layer for humans and AI agents working together. Version control for knowledge.
An Open-Source Asynchronous Coding Agent
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
The operational layer for coding agents. Memory, validation, and feedback loops that compound between sessions.
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 capture since 2026-05-26
AI agent config detected
Key config paths
CLAUDE.md