Results for “contract-safety”

Contract Framework

Scans Cairo/StarkNet smart contracts for 6 critical vulnerability patterns including arithmetic overflow, L1-L2 messaging issues, and signature replay. Use when auditing StarkNet projects.

Provides verified contract addresses for major DeFi protocols across Ethereum mainnet and L2s, verified on-chain via eth_getCode.

Drafts turnkey Engineering, Procurement, and Construction (EPC) contracts for industrial facility projects. Covers scope of work, commercial terms, performance guarantees, risk allocation, warranties, and dispute resolution. Use when drafting EPC agreements, turnkey construction contracts, or energy infrastructure project contracts (power plants, petrochemical facilities, water treatment plants).

Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Jetton contracts, and forward TON without gas checks. Use when auditing FunC contracts.

Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues.

Apply Optionals, Protocols, Extensions, and Type Safety patterns in Swift. Use when working with Swift Optionals, Protocols, Extensions, or type-safe APIs.

Implements layered security for Flutter apps: code obfuscation, certificate pinning, secure storage, encryption, biometric authentication, and root/jailbreak detection.

Validates, tests, and scores the quality of skills within a claude-skills ecosystem using Python scripts that check structure, syntax, runtime, and multi-dimensional quality metrics.

Secure Quarkus applications with authentication, authorization, input validation, and secrets management best practices.

Redige a acao para desfazer contrato civil — distingue resolucao por inadimplemento (CC 474-475 — clausula resolutiva expressa opera de pleno direito, tacita exige interpelacao judicial; parte lesada pede resolucao + perdas e danos), resilicao por vontade (distrato 472, denuncia unilateral 473) e resolucao por onerosidade excessiva (CC 478-480). Inclui excecao de contrato nao cumprido (476-477). Use quando o operador disser rescindir contrato, resolver contrato, distrato, inadimplemento contratual, quebra de contrato, ou desfazer um contrato civil.

Provides a security checklist and hardened Solidity patterns for auditing AMM contracts, liquidity pools, and swap flows, covering reentrancy, CEI ordering, donation attacks, oracle manipulation, slippage, admin controls, and integer math.

ateam-spec