Search results

feat: make lean-ctx proxy a drop-in Codex replacement (Responses WS support + optional non-loopback HTTP upstreams)

Status: Open.

#440 In yvgude/lean-ctx;

· cowwoc opened on Jun 16, 2026

bug: Migration seems fundamentally broken (~/.lean-ctx still used as primary data directory)

bugSomething isn't workingSomething isn't working

Status: Open.

#439 In yvgude/lean-ctx;

· teadatuntud opened on Jun 16, 2026

feat: Use consistent file path format for lean-ctx doctor on Linux (/home/<username> -> ~)

enhancementNew feature or requestNew feature or request

Status: Open.

#437 In yvgude/lean-ctx;

· teadatuntud opened on Jun 16, 2026

bug: Some files are still written to ~/.lean-ctx post-migration

bugSomething isn't workingSomething isn't working

Status: Open.

#436 In yvgude/lean-ctx;

· teadatuntud opened on Jun 16, 2026

bug: lean-ctx doctor is unaware of the post-migration file locations

bugSomething isn't workingSomething isn't working

Status: Open.

#435 In yvgude/lean-ctx;

· teadatuntud opened on Jun 16, 2026

bug: lean-ctx doctor --fix migration leaves behind latest.json

bugSomething isn't workingSomething isn't working

Status: Open.

#434 In yvgude/lean-ctx;

· teadatuntud opened on Jun 16, 2026

bug: lean-ctx doctor reports incorrect number of checks passed

bugSomething isn't workingSomething isn't working

Status: Open.

#433 In yvgude/lean-ctx;

· teadatuntud opened on Jun 16, 2026

bug: ctx_read schema differs between Pi and Codex (fresh/start_line vs offset/limit)

bugSomething isn't workingSomething isn't working

Status: Open.

#432 In yvgude/lean-ctx;

· rtbe opened on Jun 16, 2026

bug: dashboard tool profile 'lean' not recognised — reverts to power + settings page timeout

Status: Open.

#431 In yvgude/lean-ctx;

· SteveeeeeS opened on Jun 16, 2026

bug: redacted password when password is just undefined

bugSomething isn't workingSomething isn't working

Status: Open.

#430 In yvgude/lean-ctx;

· JulesLecuir opened on Jun 15, 2026

Independent benchmark of lean-ctx on a pi/forge agentic workload — request for review before June 17 publication

Status: Open.

#361 In yvgude/lean-ctx;

· devasur opened on Jun 5, 2026