# Lionrs: Capability-Bounded Autonomous Reasoning
> A Formally Verified Agentic System
## Licensing
This repository contains two separately-licensed components:
- The **Rust implementation** under [`crates/`](crates/) is licensed under
the **GNU Affero General Public License v3.0 or later (AGPL-3.0-or-later)**.
See [LICENSE](LICENSE) for the full text. Each `.rs` file carries an
SPDX header.
- The **Lean formal proofs** under [`proofs/`](proofs/) are licensed under
the **Apache License, Version 2.0**. See [proofs/LICENSE](proofs/LICENSE)
for the full text. Each `.lean` file carries an Apache notice header.
Top-level documentation files (`MANIFESTO.md`, `TCB.md`, `README.md`,
`COPYRIGHT`) are licensed under **Apache-2.0** so the ideas can be quoted,
cited, and ported freely in research contexts.
For the rationale behind this split, see [COPYRIGHT](COPYRIGHT).
Copyright © 2026 HaiyangLi