Back to milestones

0.2.1

Open

No due date

•Last updated Nov 6, 2026

Focused post-0.2.0 fixes: MCP liveness, truthful probe outcomes, and actionable setup diagnostics. Candidate membership is tracked separately from review and merge approval.

78% complete

doc: clarify agent setup, recovery, and multi-file workflows
Unread
#398 opened Oct 27, 2026 · Updated Nov 5, 2026
fix: report runAt tactic probes that use the declaration being proved
Unread
#413 opened Nov 2, 2026 · Updated Nov 2, 2026Draft
An external Lake build never clears a dependency's needsSave; the sync barrier then refuses the importer and the recovery plan points at save
leanprover/lean-beam#256 · opened on Sep 12, 2026 · 0.2.1
1