카테고리

스마트 컨트랙트

3549개의 스킬

AI에게 물어보기

3549개의 스킬

State Invariant Detection

Detects broken mathematical relationships between state variables in smart contracts. Automatically infers invariants (totalSupply = sum(balances), conservation laws, ratio constraints) then finds functions that violate them. Catches unauthorized minting, broken tokenomics, accounting desynchronization, and state drift. Use when auditing for state-state invariant violations, broken accounting, supply mismatches, desynchronized state variables, or conservation law violations in smart contracts.

dajneem230

스마트 컨트랙트

Evm Security

Security assessment and hardening workflow for EVM smart contracts. Use when Codex needs to audit Solidity or Vyper code, review protocol architecture for abuse paths, validate access control and value-accounting invariants, assess upgradeable/proxy deployments, evaluate oracle/bridge/DEX integration risk, or produce prioritized remediation guidance with reproducible proof-of-concept tests.

dajneem230

스마트 컨트랙트

Best Practices

Apply modern web development best practices for security, compatibility, and code quality. Use when asked to "apply best practices", "security audit", "modernize code", "code quality review", or "check for vulnerabilities".

dallay0

스마트 컨트랙트

Athena Code

Evidence-only engineering for the ATHENA live multi-engine trading repository. Use when Codex must audit, debug, patch, review, or extend ATHENA code with real execution risk, especially around execution safety, live/backtest parity, data integrity, market-state integrity, score integrity, risk gates, broker lifecycle, dashboard/API/Telegram truth, or engine separation across Engine A, B, C, and D.

damiantrade84-jpg0

스마트 컨트랙트

Clean Typescript

TypeScript best practices for type safety, strict typing, and maintainability. Use when writing TypeScript code, defining types and interfaces, handling nulls, or when user asks about "type safety", "discriminated unions", "utility types", or "strict TypeScript".

daniel-heydari-dev0

스마트 컨트랙트