Search past reasoning for relevant decisions and approaches
Index at Creation Time
Formal theorem proving with research, testing, and verification phases
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
Create or update continuity ledger for state preservation across clears
Search Mathlib for lemmas by type signature pattern
AI-powered web search, research, and reasoning via Perplexity
No Polling for Background Agents
Background Agent Pings
Show full session token usage, costs, TLDR savings, and hook activity
Agent Context Isolation
Query the memory system for relevant learnings from past sessions
Graceful Degradation with Helpful Messages
Implement technical plans from thoughts/shared/plans with verification
Scrape web pages and extract content via Firecrawl MCP
Conducts comprehensive security code reviews including vulnerability detection (OWASP Top 10, CWE), authentication/authorization flaws, injection attacks, cryptography issues, sensitive data...
Use when completing tasks, implementing major features, or before merging to verify work meets requirements
Use when completing tasks, implementing major features, or before merging to verify work meets requirements
Autonomously deep-scan entire codebase line-by-line, understand architecture and patterns, then systematically transform it to production-grade, corporate-level professional quality with optimizations
Autonomously deep-scan entire codebase line-by-line, understand architecture and patterns, then systematically transform it to production-grade, corporate-level professional quality with optimizations