Formal theorem proving with research, testing, and verification phases

Problem-solving strategies for connectedness in topology

Problem-solving strategies for first order odes in odes pdes

Use RepoPrompt CLI for token-efficient codebase exploration

Wiring Verification

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

Friendly onboarding when users ask about capabilities

Async REPL Protocol

Problem-solving strategies for residues in complex analysis

Search Tool Hierarchy

System health check (MOT) for skills, agents, hooks, and memory

Router-First Architecture

Problem-solving strategies for entropy in information theory

Problem-solving strategies for source coding in information theory

AI-powered web search, research, and reasoning via Perplexity

Parallel Agent Type Contracts

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

Problem-solving strategies for rings in abstract algebra

Problem-solving strategies for matrices in linear algebra

Graceful Degradation with Helpful Messages