Structured planning, bounded memory, TDD, and Git guardrails for local coding models in Pi Code (I don't know TypeScript at all; this is mostly a local-model experiment, with occasional help from Claude Code)

Experimental approval modes for Pi Code powered by local Qwen

Tiny consistency checker for LLM reasoning. State facts and first principles in a small English-like DSL; a three-valued SAT engine finds where they contradict — consistency, not truth. Simplified SAT, not SMT — small enough for local LLMs, useful for any. Beta.