Find unused functions and dead code in the codebase
Query the memory system for relevant learnings from past sessions
Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
Goal-based workflow orchestration - routes tasks to specialist agents based on user goals
Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates
Use RepoPrompt CLI for token-efficient codebase exploration
Debug issues by investigating logs, database state, and git history
Search Tool Hierarchy
Agent Orchestration Rules
Search Mathlib for lemmas by type signature pattern
Resume work from handoff document with context analysis and validation
Spawn Agentica multi-agent patterns
Search Tool Hierarchy
Index at Creation Time
A complete skill for E2E testing
Guide to the math cognitive stack - what tools exist and when to use each
Create or update continuity ledger for state preservation across clears
Modular Code Organization
Comprehensive project planning and documentation generator for software projects. Creates structured requirements documents, system design documents, and task breakdown plans with implementation...
Automatically creates user-facing changelogs from git commits by analyzing commit history, categorizing changes, and transforming technical commits into clear, customer-friendly release notes....