https://github.com/chountalas/redline
Trustworthy commercial lease validation: LLM extraction, deterministic math checks.
https://github.com/chountalas/redline
commercial-real-estate lease macos mcp python swift validation
Last synced: about 1 month ago
JSON representation
Trustworthy commercial lease validation: LLM extraction, deterministic math checks.
- Host: GitHub
- URL: https://github.com/chountalas/redline
- Owner: chountalas
- License: mit
- Created: 2026-06-04T00:13:08.000Z (about 1 month ago)
- Default Branch: main
- Last Pushed: 2026-06-04T03:55:20.000Z (about 1 month ago)
- Last Synced: 2026-06-04T05:05:49.214Z (about 1 month ago)
- Topics: commercial-real-estate, lease, macos, mcp, python, swift, validation
- Language: Swift
- Size: 1.42 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Security: SECURITY.md
- Notice: NOTICE.md
Awesome Lists containing this project
README
# Redline
Redline validates commercial lease math. It extracts lease facts with a configurable model provider, then runs deterministic checks over the extracted numbers so the verdict is based on arithmetic and rule assertions, not model judgment.
The first target is the expensive template error where rent was drafted as a figure per display face when the intended deal was a total. Redline is built for local review workflows: you point it at a lease PDF, it cites the source text it used, and the deterministic rules decide whether the math holds.
## Install
Install everything with Homebrew:
```bash
brew install --cask chountalas/tap/redline-app
```
That installs `Redline.app` into `/Applications` and installs the CLI formula as a dependency, so the app, `redline`, and `redline-mcp` all use the same validator engine. Provider adapters for Codex, Ollama, OpenAI, and Anthropic are included.
CLI and MCP tools only:
```bash
brew install chountalas/tap/redline
```
Verify the install:
```bash
redline --version
redline --help
```
Upgrade later:
```bash
brew upgrade chountalas/tap/redline
brew upgrade --cask chountalas/tap/redline-app
```
The Python package is not published to PyPI yet. Homebrew is the supported public install path.
From source for development:
```bash
git clone https://github.com/chountalas/Redline.git
cd Redline
uv sync --extra dev --extra mcp
uv run redline check lease.pdf
```
## Quickstart
```bash
redline check lease.pdf
```
Codex subscription is the default provider. It uses your local `codex` CLI login and does not require an API key:
```bash
redline check lease.pdf --provider codex
```
OpenAI API is separate and requires an API key plus an explicit current model:
```bash
export OPENAI_API_KEY=...
redline check lease.pdf --provider openai --model
```
Local Ollama runs do not require an API key:
```bash
ollama pull gpt-oss:20b
redline check lease.pdf --provider ollama --model gpt-oss:20b --base-url http://localhost:11434
```
Anthropic is available only when explicitly selected with an API key plus an explicit current model:
```bash
export ANTHROPIC_API_KEY=...
redline check lease.pdf --provider anthropic --model
```
Strict CI mode fails when a rule could not verify:
```bash
redline check lease.pdf --fail-on verify
```
JSON output:
```bash
redline check lease.pdf --json
```
Draft-vs-deal validation:
```bash
redline check lease.pdf --deal deal.yaml
```
Optional AI advisory focus, kept separate from deterministic findings:
```bash
redline check lease.pdf --context "Check that the rent matches the negotiated total economics."
```
## Mac App
Redline includes a SwiftUI macOS wrapper. It uses the same Python validator engine as the CLI.
```bash
brew install --cask chountalas/tap/redline-app
```
To install a development build into `/Applications` from a source checkout:
```bash
./script/build_and_run.sh --install
```
The app supports choosing or dropping a lease PDF, choosing an optional `deal.yaml`, entering optional deal context/focus text, choosing Codex/OpenAI/Ollama/Anthropic, and reviewing the resulting report from a native window. The API key field is runtime-only and is passed to the CLI process as `REDLINE_API_KEY`; it is not written to disk by Redline. Codex and Ollama do not need a key.
## Screenshots
## Per-Face Total Demo
Synthetic fixture:
```yaml
total_rent:
amount: "400000"
currency: CAD
num_display_faces: 2
```
If the lease says `$400,000 per Display Face` and also states total rent as `$400,000`, Redline emits:
```text
ERROR
- [R2_per_face_total_reconcile] Per-face rent does not reconcile to stated total
Expected: CAD 800,000.00
Actual: CAD 400,000.00
```
That is the core trust boundary: the selected model extracts the facts and source quotes; Redline decides whether the math holds.
## What Redline Checks
- `R1_schedule_sums_to_total`: rent schedule sums to stated total.
- `R2_per_face_total_reconcile`: per-face rent times display faces matches stated total.
- `R3_escalation_consistency`: schedule agrees with escalation clauses.
- `R4_numeral_vs_words`: numerals match spelled-out money.
- `R5_term_date_coherence`: commencement, base term, and expiry agree.
- `R6_dealsheet_match`: optional `deal.yaml` matches extracted facts.
See [docs/rules.md](docs/rules.md), [docs/dealsheet.md](docs/dealsheet.md), [docs/providers.md](docs/providers.md), [docs/mcp.md](docs/mcp.md), and [docs/mac-app.md](docs/mac-app.md).
## Privacy and Security
Do not commit real leases. The repository should only contain synthetic fixtures. Redline sends extracted lease text to the selected provider unless you use local Ollama. Use remote providers only where outbound API processing is acceptable.
Redline is not a law firm and does not provide legal advice. It is a validation tool for lease math, dates, extracted facts, and cited evidence.
See [PRIVACY.md](PRIVACY.md) and [SECURITY.md](SECURITY.md).
Before public push:
```bash
uv run python scripts/check_release_safety.py
```
## Status
Open-source alpha. Homebrew is the supported public install path. The Python package is not published to PyPI yet.