All pull requests

Pull requests

• fix: report broker output failures at complete frame boundaries

  #412·ejgallego opened Oct 29, 2026Collaborator·

  ·

• Accept by blocks and copied indentation in tactic probes

  #410·ejgallego opened Oct 28, 2026Collaborator·

  ·

• fix: explain selected targets and preserve reinstall target sets

  #409·ejgallego opened Oct 28, 2026Collaborator·

  ·

  · 0.2.1

• Add Codex and Claude Code plugins for Beam

  #408·ejgallego opened Oct 28, 2026Collaborator·

  ·

• doc: explain sandboxed CLI recovery errors and record doctor fixes

  #401·ejgallego opened Oct 28, 2026Collaborator·

  ·

  · 0.2.1

• doc: clarify agent setup, recovery, and multi-file workflows

  #398·ejgallego opened Oct 27, 2026Collaborator·

  ·

  · 0.2.1

• refactor: extract and prove publication claim decisions

  #359·ejgallego opened Oct 23, 2026Collaborator·

  ·
  1

• Connect admission proofs and LSP models to broker contracts

  #344·ejgallego opened Oct 22, 2026Collaborator·

  ·

• doc: organize upstream cards and migration plans

  #296·ejgallego opened Oct 19, 2026Collaborator·

  ·
  

• refactor: generalize the task worktree harness for Claude Code and Codex

  #295·ejgallego opened Oct 19, 2026Collaborator·

  ·

• fix: make task worktree harness safe for agent workflows

  #294·ejgallego opened Oct 19, 2026Collaborator·

  ·

• test: qualify bundled Windows runtimes

  #277·ejgallego opened Oct 15, 2026Collaborator·

  ·

• doc: introduce Beam through a concrete README workflow

  #260·ejgallego opened Oct 9, 2026Collaborator·

  ·

• feat: profile speculative Lean commands and proofs

  #258·ejgallego opened Sep 22, 2026Collaborator·

  ·

• fix: bind broker requests and diagnostics to source snapshots

  #254·ejgallego opened Sep 8, 2026Collaborator·

  ·

• doc: add architecture message-path diagrams

  #249·ejgallego opened Sep 2, 2026Collaborator·

  ·

• fix: prevent inherited PR titles

  #238·ejgallego opened Aug 15, 2026Collaborator·

  ·

• doc: improve README first-reader flow

  #211·ejgallego opened Jul 7, 2026Collaborator·

  ·

• doc: add related Lean tools overview

  #210·ejgallego opened Jul 7, 2026Collaborator·

  ·

  · 0.3.0