alt-research
10 verified skills840 total stars
solidityguard
Advanced Solidity/EVM smart contract security auditor with 104 vulnerability patterns, multi-tool integration, and professional report generation.
tools93
fuzz-generator
Generates Foundry invariant tests and Echidna property-based fuzz tests for Solidity contracts. Creates handler contracts, invariant assertions, and fuzzing configurations.
testing83
reentrancy-auditor
Deep reentrancy vulnerability analysis for Solidity contracts. Covers single-function, cross-function, cross-contract, and read-only reentrancy. Maps all external call paths and validates CEI pattern compliance.
testing83
spec-compliance
Validates Solidity implementation against specification documents. Extracts behavior from docs (README, specs, NatSpec) and verifies code matches documented intent. Uses Trail of Bits methodology for divergence detection.
development83
storage-analyzer
Analyzes storage layout, proxy patterns, and state variable security in Solidity contracts. Detects storage collisions, uninitialized pointers, and upgrade risks. Use when auditing proxy/upgradeable contracts.
testing83
defi-analyzer
Analyzes DeFi-specific security patterns in Solidity contracts. Covers oracle manipulation, flash loan attacks, economic exploits, vault inflation, MEV, and protocol-specific vulnerabilities.
testing83
entry-point-analyzer
Analyzes Solidity contract entry points to map attack surface. Identifies all external/public functions, categorizes by privilege level, maps access control, and detects authorization patterns. Use as first step in any audit.
development83
report-generator
Generates professional security audit reports from findings. Creates OpenZeppelin/Trail of Bits style reports with executive summary, methodology, severity-classified findings, and remediation recommendations.
testing83
solidity-vulnerability-scanner
Comprehensive Solidity contract security scanner detecting 104 vulnerability patterns across reentrancy, access control, arithmetic, DeFi, proxy, and token categories. Integrates Slither, Aderyn, and Mythril with manual analysis.
development83
access-control-reviewer
Comprehensive access control and authorization review for Solidity contracts. Checks ownership, role-based access, proxy authorization, centralization risks, and privilege escalation vulnerabilities.
testing83