add-admin-page
This skill should be used when the user asks to "add admin page", "add admin", "admin dashboard", or wants to add NiceGUI admin pages to an existing domain.
This skill should be used when the user asks to "add admin page", "add admin", "admin dashboard", or wants to add NiceGUI admin pages to an existing domain.
This skill should be used when the user asks to "cross-domain dependency", "wire domain dependency", "domain reference", "connect domains", "Protocol dependency", or needs to wire one domain to depend on another domain's data via Protocol-based DIP.
Audit architecture compliance for a domain. Use when the user asks to "review architecture", "compliance audit", or wants to check if a domain follows project architecture rules.
Generate and update ONR provider DSL configs in config/providers/*.conf from user requirements. Use when Codex is asked to add a new provider, scaffold provider configuration files, convert API/auth/base_url requirements into explicit DSL directives, or validate provider config generation.
Generate memorable, brandable product and SaaS names using global linguistics (African, Asian, Nordic, Indigenous, and classical languages) to bypass English domain saturation. Use when the user asks to brainstorm product names, find available domains, develop cross-cultural brand identity, name a startup or side project, or needs a distinctive tech brand name that isn't just another English portmanteau. Triggers include "name my product," "brand name ideas," "domain name brainstorm," "SaaS name," "startup name," "what should I call," "name generator," or any request for creative, globally-inspired naming.
This skill should be used when the user asks to "check if a domain is available", "find a domain name", "brainstorm domain names", "is X.com taken", "search for domains", or is trying to name a product, app, or startup and needs domain options. Also activate when the user mentions needing a domain or asks about aftermarket domains listed for sale.
DefiLlama API integration for DeFi analytics - TVL, prices, yields, volumes, fees, bridges, and DAT data. Use for blockchain/DeFi research, protocol analysis, and market data queries.
Comprehensive smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgradeability patterns, assess implementation quality, identify pitfalls, review dependencies, and evaluate testing. Provides actionable recommendations. (project, gitignored)
Query Dune Analytics API for blockchain data, pyUSD flows, stablecoin metrics, and on-chain analytics. Use when analyzing DeFi protocols, token flows, or building dashboards.
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof space via prime geodesics.
Interact with Aptos blockchain - check balances, transfer APT, swap tokens, stake, and execute Move view functions. Features game-theoretic decision analysis with Nash equilibrium detection. All transactions require explicit approval.
Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (project, gitignored)
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects. (project, gitignored)
Expert-level blockchain, Web3, smart contracts, DeFi, and cryptocurrency development
On-chain GF(3) entropy storage via Aptos Move - bulk-boundary correspondence where entropy lives in the interior and observables project to agents
Execute trades on Aptos mainnet with price-triggered profit-taking and dip-buying strategies. Includes wallet management, transaction signing, and DEX swaps via Liquidswap. Use when automating APT trading, checking balances, or executing swaps.
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
macOS Keychain credential management with GF(3) balanced operations