implementing-assertions
Implements Phylax Credible Layer assertions in Solidity using cheatcodes, triggers, and event/state inspection. Use when writing or refactoring assertion contracts.
Implements Phylax Credible Layer assertions in Solidity using cheatcodes, triggers, and event/state inspection. Use when writing or refactoring assertion contracts.
Validate GAS function exports match rollup footer declarations. Use after creating new GAS functions or during quality checks.
Aggregates all critical sanity checks required before a release, ensuring contracts, graphs, and logs are consistent.
Fix symbol selection failing due to asset-type filter mismatch. Trigger when: (1) '0/N passed hard filter' error, (2) crypto selection fails unexpectedly, (3) assets filtered by wrong price/volume thresholds.
Safely bumps contract schema versions following compatibility rules and updates related metadata.
Security auditor for smart contracts - identifies vulnerabilities, logic flaws, reentrancy, access control issues, MEV/economic attacks, and oracle manipulation. Use when auditing Solidity, Vyper, or Rust/Anchor contracts, reviewing PRs for security issues, checking for exploits, or analyzing DeFi protocols. Triggers on "audit", "security review", "vulnerability", "exploit", "reentrancy", "access control", "MEV", "frontrunning".
Validates contract JSON Schemas and fixtures, fails fast on breaking format issues.
Security best practices for Convex functions including ConvexError handling, argument/return validation, authentication helpers, access control, rate limiting, and internal functions. Use when writing public queries/mutations/actions, implementing authentication, adding authorization checks, handling errors, or reviewing Convex functions for security.
Runs Credible Layer assertion backtests against historical transactions. Use when validating assertions on real chain data or known exploits.
Expert Blockchain Engineer (10+ Years). Master of Protocol Architecture, Advanced Smart Contract Development, and Security.
使用币安 USDT-M 永续合约 MCP 工具进行交易操作, 包括账户查询、杠杆设置、开仓平仓、止损止盈等.当需要执行币安合约交易相关操作时触发此技能.
Implement privacy-preserving patterns using zero-knowledge proofs on Midnight Network. Use when designing private data handling, commitment schemes, nullifiers, or selective disclosure. Triggers on privacy, ZK proof, commitment, nullifier, or confidential computing questions.
Enterprise Rust with ownership model and safety guarantees: Rust 1.91.1,
Use this skill when you need to query on-chain data from EVM or ICP. This includes: ERC-7546 Dictionary state, OUC canister state, auditor pools, proposals, and upgrade status. Provides helper functions for cast and dfx calls.
Validate architecture artifacts against contracts and consistency requirements - codifies systematic validation practices with professional reporting
Patterns for Aztec development: contracts, frontend, testing. Use when working with Aztec contracts in any capacity unless otherwise specified
Common vulnerability patterns in Solidity and how to prevent them. Use when reviewing contracts for security issues or learning about common exploits.
Generates a Shared Contract (Interface) and its implementation outline. Use when a module needs to expose data or behavior to other modules (e.g., "Create a contract for getting student GPA").
Proxy patterns for upgradeable smart contracts. Use when implementing or reviewing upgradeable contracts.
Constitutional Treasury Administrator for UBOS Republic. Manages all financial operations, grant applications, revenue optimization, and marketing strategy. Operates under Trinity Lock governance with Hydraulic Governor safeguards. Handles REAL money only: actual bank accounts, crypto wallets, DeFi positions, and EU grant wire transfers.
Implements Ethereum Improvement Proposals (EIPs) in the Moonbeam runtime to maintain Ethereum compatibility. Use when adding support for new opcodes, implementing precompile standards, supporting new transaction types, updating gas costs per EIP specs, or implementing account abstraction features.
Commits transaction hash to immutable AgentDB ledger for complete audit trail of clinical analysis