Lean web search, URL fetching, code search, GitHub repo cloning, and PDF extraction for Pi coding agent
Web search, URL fetching, GitHub repo cloning, PDF extraction, YouTube video understanding, and local video analysis for Pi coding agent
Pi Coding Agent extension (CLI-first) — routes bash/read/grep/find/ls through lean-ctx CLI for strong token savings. Optional MCP bridge can register advanced tools.
π.
React Native Network Info API for iOS & Android
AWS SDK for JavaScript Iam Client for Node.js, Browser and React Native
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
Attach virtuals to the results of mongoose queries when using `.lean()`
Experimental Pi package for Lean-verified proof repair using autocontext and Pi.
2π.
AWS SDK for JavaScript Kms Client for Node.js, Browser and React Native
Square root of 2π.
Single-tool Exa-powered web search and URL reading for Pi coding agent
AWS SDK for JavaScript Sso Oidc Client for Node.js, Browser and React Native
Natural logarithm of the square root of 2π.
React Native SegmentedControlIOS library
minimal QR code generation
GitHub App authentication for JavaScript
Coding agent CLI with read, bash, edit, write tools and session management
Attach defaults to the results of mongoose queries when using `.lean()`
A shim for the setImmediate efficient script yielding API
1/2 times π.
1/4 times π.
Array manipulation, ordering, searching, summarizing, etc.