All pull requests

Pull requests

• Golf skeleton: remove duplication, fix three edge cases

  CLA Signed
  #52·Deicyde opened Sep 30, 2026Contributor·

  ·

• Bump urllib3 from 2.7.0 to 2.8.0

  CLA Signeddependenciespython:uv
  #51·dependabot[bot] opened Sep 30, 2026Bot·

  ·

• Bump pyjwt from 2.13.0 to 2.15.0

  CLA Signeddependenciespython:uv
  #50·dependabot[bot] opened Sep 30, 2026Bot·

  ·

• [autoform][deicyde] Rebuild execution overlay on main contracts

  CLA Signed
  #48·zibo-yang opened Sep 29, 2026Collaborator·

  ·

• Replace custom Lean servers with Lean Beam

  CLA Signed
  #46·Deicyde opened Sep 26, 2026Contributor·

  ·
  1

• Clarify homepage progress scope and proof completion

  CLA Signed
  #45·Deicyde opened Sep 26, 2026Contributor·

  ·
  1

• Make roadmap invocations goal-driven

  CLA Signed
  #44·Deicyde opened Sep 26, 2026Contributor·

  ·

• Fix #40's review blockers 4 to 6, and the record half of 1

  CLA Signed
  #42·ArmelRandy opened Sep 25, 2026Contributor·

  ·
  1

• Add verified statement-review bundles

  CLA Signed
  #40·Deicyde opened Sep 21, 2026Contributor·

  ·
  1

• Implement skeleton read-backs

  CLA Signed
  #39·ArmelRandy opened Sep 21, 2026Contributor·

  ·
  1

• Verify Mathlib artifact provenance

  CLA Signed
  #38·Deicyde opened Sep 21, 2026Contributor·

  ·

• Verify local Lean artifacts before publication

  CLA Signed
  #36·Deicyde opened Sep 21, 2026Contributor·

  ·

• Publish blueprint sites transactionally

  CLA Signed
  #35·Deicyde opened Sep 21, 2026Contributor·

  ·

• Add session-fenced collaborative claims

  CLA Signed
  #34·Deicyde opened Sep 21, 2026Contributor·

  ·

• Repair incomplete Autoform projects conservatively

  CLA Signed
  #32·Deicyde opened Sep 19, 2026Contributor·

  ·

• Bind Lean source snapshots to filesystem generations

  CLA Signed
  #28·Deicyde opened Sep 19, 2026Contributor·

  ·

• Create Lean projects atomically

  CLA Signed
  #26·Deicyde opened Sep 19, 2026Contributor·

  ·

• Verify installed plugin provenance

  CLA Signed
  #16·Deicyde opened Sep 19, 2026Contributor·

  ·

• Scale roadmap graph traversal

  CLA Signed
  #15·Deicyde opened Sep 19, 2026Contributor·

  ·

• Add bounded Lean project inspection

  CLA Signed
  #14·Deicyde opened Sep 18, 2026Contributor·

  ·

• docs: define archive skill transport policy

  CLA Signed
  #9·akiezun opened Sep 1, 2026·

  ·

• [Reference] Collaborative textbook workflow implementation

  CLA Signed
  #8·Deicyde opened Aug 30, 2026Contributor·

  ·
  9