Back to milestones

0.3.0

Open

No due date

•Last updated Nov 3, 2026

0% complete

Stop non-polling run-at probes after cancellation
leanprover/lean-beam#331 · opened on Oct 21, 2026 · 0.3.0
Fail pending requests and recover after a Lean file worker dies
leanprover/lean-beam#339 · opened on Oct 22, 2026 · 0.3.0
Support multi-command snippets in MCP lean_run_at
leanprover/lean-beam#100 · opened on Jun 22, 2026 · 0.3.0
Add a batch runAt API for source-position probe batches
leanprover/lean-beam#101 · opened on Jun 22, 2026 · 0.3.0
doc: add related Lean tools overview
Unread
#210 opened Jul 7, 2026 · Updated Oct 27, 2026Draft
Bound retention of recovered session descriptors
leanprover/lean-beam#351 · opened on Oct 23, 2026 · 0.3.0
Support supervised recovery after a session owner is killed
leanprover/lean-beam#333 · opened on Oct 22, 2026 · 0.3.0
1
Detect stale transitive dependencies before reporting sync readiness
leanprover/lean-beam#402 · opened on Oct 28, 2026 · 0.3.0
runAt: blank lines and comments after a finished proof should select the command basis
leanprover/lean-beam#403 · opened on Oct 28, 2026 · 0.3.0
Bound memory held by open documents
leanprover/lean-beam#404 · opened on Oct 28, 2026 · 0.3.0
Do not report project style linters on runAt probe text
leanprover/lean-beam#405 · opened on Oct 28, 2026 · 0.3.0
Keep newlines in readiness blocking diagnostics
leanprover/lean-beam#406 · opened on Oct 28, 2026 · 0.3.0
Agent ergonomics follow-ups from the 0.2.0 RC review
leanprover/lean-beam#407 · opened on Oct 28, 2026 · 0.3.0
runAt: read multi-line text as if inserted at the probe position
leanprover/lean-beam#388 · opened on Oct 27, 2026 · 0.3.0
Required-diagnostic overflow fails sync/refresh instead of degrading
leanprover/lean-beam#411 · opened on Oct 29, 2026 · 0.3.0
4