Hire Google's Antigravity CLI (agy) as a fast Gemini staffer for Claude Code and OpenAI Codex.
Personal pi coding agent extensions and skills
A personal learning environment that helps you find your unknown unknowns by grilling you against the consensus research on a particular topic or question.
Applications defined as Markdown specifications, executed by agentic coding harnesses. No compiled binary. Text is the code.
Research-partner skill for deriving mathematics: falsifiable conjectures before explanations, complete proofs, a journal of claims, and Lean 4 as the verifier. Includes a mathlib sandbox and seven reference cases from EWMA to K41 turbulence.
Meta-skills for creating, reviewing, and maintaining production-quality Agent Skills.
skills, extensions, themes and prompts for pi coding agent
Personal skills, model configurations, and coding standards for the PI Coding Agent. Synced across machines, version-controlled, and optimized for minimal token usage and high autonomy.
Backend engineering intelligence for coding agents. Audit, architect, debug, secure, optimize, and production-harden APIs, databases, workers, and services with reusable Pi Agent skills.
Agent skills for Laravel and PHP development. Installable via npx skills@latest add ceilidhboy/skills
Like everyone else, I'm sharing my agent stuff.
To associate your repository with the pi-skills topic, visit your repo's landing page and select "manage topics."