Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates

Never Use TaskOutput

Research agent for external documentation, best practices, and library APIs via MCP tools

Formal theorem proving with research, testing, and verification phases

Scrape web pages and extract content via Firecrawl MCP

Parallel Agent Type Contracts

Search library documentation and code examples via Nia

Agent Orchestration Rules

Search Mathlib for lemmas by type signature pattern

Find unused functions and dead code in the codebase

Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic

Goal-based workflow orchestration - routes tasks to specialist agents based on user goals

Resume work from handoff document with context analysis and validation

LLM Tuning Patterns

AST-based code search and refactoring via ast-grep MCP

Full 5-layer analysis of a specific function. Use when debugging or deeply understanding code.

Search GitHub code, repositories, issues, and PRs via MCP

Fast codebase search via WarpGrep (20x faster than grep)

Store a learning, pattern, or decision in the memory system for future recall

Search Tool Hierarchy