A lightweight upgrade for pi’s built-in grep. Fewer noisy results, lower token burn, and a cleaner path from search to read.
Pi Coding Agent extension — routes bash/read/grep/find/ls through lean-ctx for strong token savings. The embedded MCP bridge (on by default) adds a persistent session cache so unchanged re-reads cost ~13 tokens.
Native Rust bindings for grep, clipboard, image processing, syntax highlighting, PTY, and shell operations via N-API
Search and Rewrite code at large scale using precise AST pattern
Native Rust bindings for grep, clipboard, image processing, syntax highlighting, PTY, and shell operations via N-API
Search and Rewrite code at large scale using precise AST pattern
Search and Rewrite code at large scale using precise AST pattern
pi extension: FFF-powered fuzzy file and content search
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
Search and Rewrite code at large scale using precise AST pattern
Attach virtuals to the results of mongoose queries when using `.lean()`
Experimental Pi package for Lean-verified proof repair using autocontext and Pi.
Search and Rewrite code at large scale using precise AST pattern
Search and Rewrite code at large scale using precise AST pattern
Search and Rewrite code at large scale using precise AST pattern
Search and Rewrite code at large scale using precise AST pattern
Filter tests using substring
Search and Rewrite code at large scale using precise AST pattern
Search and Rewrite code at large scale using precise AST pattern
Coding agent CLI with read, bash, edit, write tools and session management
Graph-powered code intelligence for AI agents. Index any codebase, query via MCP or CLI.
Search and Rewrite code at large scale using precise AST pattern
Attach defaults to the results of mongoose queries when using `.lean()`
Search and Rewrite code at large scale using precise AST pattern