All pull requests

Pull requests

• CLI: build each command's parser beside its handler

  CLA Signed
  #804·Deicyde opened Nov 13, 2026Contributor·

  ·

• Map and book: a one-row local graph toolbar, links between the cards, splitter grips

  CLA Signed
  #803·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  1

• Revisions: step 6 unsets a revised article's Mathlib facts

  CLA Signed
  #802·Deicyde opened Nov 13, 2026Contributor·4 tasks done·

  ·
  1

• README: draw agents working through the CLI, and lead with parallel agents

  CLA Signed
  #801·Deicyde opened Nov 13, 2026Contributor·

  ·
  3

• Python 3.14: name Lean sources by Lean's rule and report unreadable library paths

  CLA Signed
  #800·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  1

• move: carry the notes and read-back cards named by the node id

  CLA Signed
  #799·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  1

• Migrate: remove article-ids

  CLA Signed
  #796·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  1

• Claims: remove renew, cleanup and --ttl

  CLA Signed
  #795·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  2

• Formulas as text: an accent on an accent adds one mark

  CLA Signed
  #794·Deicyde opened Nov 13, 2026Contributor·3 tasks done·

  ·
  1

• Skills: move develop-plugin out of the consumer plugin

  CLA Signed
  #791·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  2

• Delete four definitions no command uses

  CLA Signed
  #790·Deicyde opened Nov 13, 2026Contributor·2 tasks done·

  ·
  1

• Render and check: reference links to left-out files, unpublished pages, and case variants

  CLA Signed
  #787·Deicyde opened Nov 12, 2026Contributor·2 tasks done·

  ·
  1

  1

• fix(site): check links and cards in the HTML5 element tree

  CLA Signed
  #621·rudycelekli opened Nov 4, 2026·

  ·
  1

• Prove2me - Add skill files and modifications to the autoform-bot CLI to allow for easy integration with prove2.me

  CLA Signed
  #351·OrigamiClub opened Oct 16, 2026·

  ·
  3