---
name: Bug Report
about: Report a bug in lean-ctx
title: 'bug: '
labels: bug
---

**lean-ctx version:** (run `lean-ctx --version`)

**OS:** (macOS / Linux / Windows)

**AI tool:** (Cursor / Claude Code / Copilot / Crush / other)

**What happened:**


**What you expected:**


**Steps to reproduce:**
1. 
2. 
3. 

**Relevant output:**
```
(paste terminal output here)
```
