Folder-level documentation for LLMs — .context.yaml files for every directory
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
Experimental Pi package for Lean-verified proof repair using autocontext and Pi.
autocontext extension for Pi coding agent — iterative strategy generation, LLM judging, and evaluation tools
autocontext — always-on agent evaluation harness
```tsx <AutoContext.ParentProps name="logs/props" data={{ ...yourData }}> <AutoContext.ParentState name="user/state" data={null}> <YourComponent /> </AutoContext.ParentState> </AutoContext.ParentProps> ```
OpenClaw Hyperspell memory plugin
FullStack Nestjs DataPaas
NestJS framework for building Mezon bots
NeuralMemory plugin for OpenClaw — brain-inspired persistent memory for AI agents
PugBrain plugin for OpenClaw — brain-inspired persistent memory for AI agents
Widget embebible de soporte para UTILIA OS
PugBrain plugin for OpenClaw — brain-inspired persistent memory for AI agents
Pi/autocontext package for sports roster-impact analysis built on sports-impact-core.