Tips and Tricks for Working with GitHub Copilot Agent PRs

Bootstrap CISO Assistant for new users by guiding them through initial setup. Use when: (1) User wants to set up CISO Assistant from scratch (2) User mentions "bootstrap", "initial setup", "getting started", or "onboarding" with CISO Assistant (3) User needs help creating their organizational structure, loading frameworks, or configuring risk assessments Covers: domains/folders, perimeters, industry-based framework selection, assets, risk assessment type (qualitative vs quantitative), third-party entities and solutions, and compliance vs risk focus.

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

Problem-solving strategies for compactness in topology

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

Routes problems to appropriate mathematical frameworks using expert heuristics

Problem-solving strategies for connectedness in topology

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

Analyze brownfield codebase and create initial continuity ledger

Friendly onboarding when users ask about capabilities

Problem-solving strategies for groups in abstract algebra

Completion Check: Verify Infrastructure Is Wired

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

Problem-solving strategies for source coding in information theory

Identify failure modes before they occur using structured risk analysis

Search Mathlib for lemmas by type signature pattern

Search library documentation and code examples via Nia

Search Tool Hierarchy

Async REPL Protocol

Problem-solving strategies for convex optimization in optimization