Issues

• Build and verify release artifacts

  ready-for-agent
  rakaadi/lean-reader#30 · Filter by author rakaadi opened on Sep 1, 2026

• Run Integrated MVP Verification and hardening

  ready-for-agent
  rakaadi/lean-reader#29 · Filter by author rakaadi opened on Sep 1, 2026

• Implement and verify the Codex registration and reversal workflow

  ready-for-agent
  rakaadi/lean-reader#28 · Filter by author rakaadi opened on Sep 1, 2026

• Build shared Integrated MVP verification infrastructure

  ready-for-agent
  rakaadi/lean-reader#27 · Filter by author rakaadi opened on Sep 1, 2026

• Compose and verify the Lean-Reader process runtime

  ready-for-agent
  rakaadi/lean-reader#26 · Filter by author rakaadi opened on Sep 1, 2026

• Implement executable operations and startup policy

  ready-for-agent
  rakaadi/lean-reader#25 · Filter by author rakaadi opened on Sep 1, 2026

• Implement and verify the stdio MCP adapter

  ready-for-agent
  rakaadi/lean-reader#23 · Filter by author rakaadi opened on Aug 31, 2026

• Implement and verify passive SQLite telemetry

  ready-for-agent
  rakaadi/lean-reader#22 · Filter by author rakaadi opened on Aug 31, 2026

• Implement and verify the Reference Lifecycle Adapter

  ready-for-agent
  rakaadi/lean-reader#24 · Filter by author rakaadi opened on Aug 31, 2026

• Specify and plan the Lean-Reader MCP server

  ready-for-agent
  rakaadi/lean-reader#1 · Filter by author rakaadi opened on Aug 23, 2026