Open Issues Need Help
View All on GitHub PR-3: Hilbert encode/decode on L4 (good first math PR) about 2 months ago
help wanted good first issue pr-plan
4D memory harness for AI agents: mnemonic palace on a Z^4 lattice that fights context rot. MIT, free for everyone.
Python
Docs/tests: more work-loop examples (agent actually uses the harness) about 2 months ago
help wanted good first issue
4D memory harness for AI agents: mnemonic palace on a Z^4 lattice that fights context rot. MIT, free for everyone.
Python
PR-1 leftover: portable Lean REPL harness wrapper about 2 months ago
help wanted pr-plan
4D memory harness for AI agents: mnemonic palace on a Z^4 lattice that fights context rot. MIT, free for everyone.
Python