parcadei verified

Problem-solving with Rudin's Real and Complex Analysis textbook

Problem-solving strategies for graph algorithms in graph number theory

Problem-solving strategies for gradient methods in optimization

Problem-solving strategies for rings in abstract algebra

Scrape web pages and extract content via Firecrawl MCP

Release preparation workflow - security audit → E2E tests → review → changelog → docs

Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity

Formal theorem proving with research, testing, and verification phases

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

Implement technical plans from thoughts/shared/plans with verification

Create and use Claude Code slash commands - quick prompts, bash execution, file references

Migration workflow - research → analyze → plan → implement → review