autocontext extension for Pi coding agent — iterative strategy generation, LLM judging, and evaluation tools
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.
Coding agent CLI with read, bash, edit, write tools and session management
π.
autocontext — always-on agent evaluation harness
2π.
General-purpose agent with transport abstraction, state management, and attachment support
Square root of 2π.
Natural logarithm of the square root of 2π.
MCP (Model Context Protocol) adapter extension for Pi coding agent
AWS SDK for JavaScript Pi Client for Node.js, Browser and React Native
1/2 times π.
Pi extension for delegating tasks to subagents with chains, parallel execution, and TUI clarification
1/4 times π.
Web search, URL fetching, GitHub repo cloning, PDF extraction, YouTube video understanding, and local video analysis for Pi coding agent
Coding agent CLI with read, bash, edit, write tools and session management
Native Abstractions for Node.js: C++ header for Node 0.8 -> 26 compatibility
ACP adapter for pi coding agent
General-purpose agent with transport abstraction, state management, and attachment support
Plannotator Pi extension - interactive plan review with annotations, annotate agent messages, and review code/PRs
Native Rust bindings for grep, clipboard, image processing, syntax highlighting, PTY, and shell operations via N-API
Multi-phase security audits with specialist sub-agents, isolated context windows, capped concurrency, and resumable state — packaged as a Pi extension.
Terminal User Interface library with differential rendering for efficient text-based applications