Pi extension that runs configurable, staged code verification checks.
Auto-verify Pi agent output. Two-agent system: builder runs, verifier checks, auto-corrects.
Coding agent CLI with read, bash, edit, write tools and session management
π.
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
Web search and fetch tools for Pi agent - uses Ollama's web search and fetch APIs
Let Pi use your existing signed-in Chrome profile after explicit authorization.
Extension for Pi coding agent
A Pi extension that reviews recently changed code for clarity, consistency, and maintainability.
Experimental Pi package for Lean-verified proof repair using autocontext and Pi.
Babysitter package for Pi Coding Agent
Verification of Sigstore signatures
2π.
Square root of 2π.
General-purpose agent with transport abstraction, state management, and attachment support
Extension for Pi coding agent
JWA implementation (supports all JWS algorithms)
Extension for Pi coding agent
Element for detecting that an application using Vaadin Elements is running in development mode
1/2 times π.
Persistent memory extension for Pi — semantic search, knowledge compounding, session continuity
Improve Pi prompt/KV cache hit rates with stable prompts, OpenAI-compatible cache keys, proxy compat warnings, and footer cache stats.
Codex-style goal tracking and continuation for pi.
Pi extension for delegating tasks to subagents with chains, parallel execution, and TUI clarification