autocontext — always-on agent evaluation harness
autocontext extension for Pi coding agent — iterative strategy generation, LLM judging, and evaluation tools
Experimental Pi package for Lean-verified proof repair using autocontext and Pi.
autocontext control plane for iterative strategy evolution.