4. Security & Compliance

Executes secure Cardano wallet operations including key generation and address building, requiring manual invocation for safety.

Provides migration patterns for Next.js authentication systems, including NextAuth v4→v5, Clerk, Auth0, Firebase Auth, and custom JWT implementations.

Adversarial security audit playbook for Plutus V3 Aiken DEX smart contracts, covering threat models, invariants, and test cases.

Provides security hardening guidance for web applications, covering OWASP Top 10, authentication, and secure headers implementation.

Provides security-focused IP lookup guidance with context reuse, VPN detection, and abuse contact integration for threat monitoring.

Provides security patterns for auditing ERC4626 vaults, mitigating attacks like inflation, donation, and first depositor exploits.

Automates security audit code analysis for smart contracts, mapping structures and identifying entry points to assess vulnerabilities.

End-to-end smart contract security audit orchestrator automating scope, analysis, PoC, and report generation for vulnerability detection.

Detects security vulnerabilities in blockchain oracles including stale prices, DoS attacks, and price manipulation using predefined patterns.

Generates and validates Foundry-based Proof of Concept tests for smart contract security vulnerabilities, converting attack scenarios into executable tests.

Generates formatted security audit reports for Code4rena, Cantina, Sherlock, and Immunefi submissions from validated findings.

Detects critical access control vulnerabilities in smart contracts including missing modifiers, privilege escalation, and tx.origin phishing via pattern analysis.

Analyzes asset flow within protocols to identify storage locations, movement paths, and potential leakage points for security vulnerability assessment.

Provides security patterns and vulnerability analysis for DeFi lending protocols, including liquidation logic and collateral management risks.

Standardizes vulnerability assessment templates, severity classification, and quality standards for security auditors, ensuring consistent findings without proof-of-concept code.

Detects reentrancy vulnerabilities in smart contracts including cross-function, cross-contract, and token callback exploits using State Timeline mapping.

Analyzes DeFi lending protocols for security vulnerabilities including liquidation logic, interest rate models, and collateral management flaws.

Analyzes DeFi staking mechanisms for security vulnerabilities including precision loss, reentrancy, and incentive design flaws.

Provides security analysis patterns for DeFi staking protocols, highlighting critical vulnerabilities like precision loss and reentrancy.

Detects security vulnerabilities in cross-chain transactions including missing validations, replay attacks, and message ordering issues.

Extracts and verifies protocol invariants from code/docs to identify security violations in balance, state, accounting, and access conditions.

Identifies state inconsistency windows and reentrancy vulnerabilities in smart contracts during external calls and cross-contract interactions.

Delivers critical security patterns for Chainlink oracle integrations, including stale price checks, decimal handling, and front-running prevention.

Detects security vulnerabilities in DeFi protocols via flash loan attacks, including price, governance, and oracle manipulation patterns.