Access and operate DragonServer safely through SSH aliases (`lan-proxmox`, `cool-res`), Coolify CLI/API, and browser workflows. Includes read-only audit defaults, mutation gates, and validation patterns for Proxmox, Docker, and self-hosted services. Use when the user mentions dragonserver, lan-proxmox, cool-res, coolify, proxmox, authentik, opencloud, joplinsync, or asks to audit/configure server services.
Manage Authentik identity provider via Django ORM over SSH. Covers user management, group/bundle administration, flow and stage configuration, OAuth source setup, invitation workflows, and expression policies. Use when the user mentions authentik, identity provider, SSO, OAuth source, enrollment, invitation, password reset, user groups, bundles, flows, stages, or policies on DragonServer.
Execute controlled mutations on DragonServer infrastructure with preflight checks, one-change-at-a-time execution, validation gates, and rollback discipline. Covers Coolify service/env updates, container redeploys, and Proxmox-side operational changes. Use when the user asks to deploy, update, restart, patch, reconfigure, or fix running DragonServer services.
Act as an elite personal finance manager, equity research analyst, and options strategist. Covers portfolio construction, equity research (fundamental + technical), options trading analysis, DeFi/crypto, ETFs, macro analysis, and risk management. Use when the user asks about investments, stocks, options, portfolio allocation, financial planning, market analysis, trading strategies, cryptocurrency, or any wealth-building topic.
Act as a dedicated personal trainer and sports science coach for hypertrophy training, nutrition planning, recovery optimization, and body composition tracking. Integrates with the user's Google Sheets workout program and Mealie self-hosted recipe/meal-plan server. Use when the user asks about workouts, exercises, training programs, gym performance, nutrition, macros, meal plans, recipes, grocery lists, supplements, recovery, sleep, mobility, body composition, or anything fitness-related.
Act as a dedicated CPA, tax consultant, and tax filing assistant for a US citizen residing in Portugal under the NHR regime. Use when the user asks about Portuguese taxes, US expat tax obligations, payslip analysis, IRS filing (PT or US), tax withholding corrections, FBAR/FATCA, or any financial/tax matter related to their dual PT-US tax situation.
Specify and verify concurrent, distributed, and agentic systems with TLA+, PlusCal, TLC, Apalache, and TLAPS. Covers state-machine modeling, invariants, fairness, counterexample analysis, refinement, and state-space explosion control. Use when the user mentions TLA+, TLA, TLC, PlusCal, Apalache, formal verification, model checking, concurrency, distributed protocols, nondeterminism, invariants, liveness, fairness, or wants to verify a design before writing code.
Unified workflow for managing tasks, finances, and knowledge across all ventures. Governs how agents interact with Linear (task management), Actual Budget (financial tracking), and Memory Bank (persistent knowledge). Use when creating issues, evaluating gates, checking budgets, planning work, or managing cross-project tasks.