trailofbits

Automate the iterative improvement of Claude Code skills.

Streamline your GitHub issue and PR management process.

Efficiently manage your local git branches and worktrees.

Identify Firebase misconfigurations in Android APKs.

Resolve connectivity issues with Claude in Chrome MCP tools.

Comprehensive security audits for C/C++ applications.

Scan TON smart contracts for critical vulnerabilities.

Identify critical vulnerabilities in Substrate pallets.

Identify critical vulnerabilities in Solana programs.

Identify critical vulnerabilities in Cairo smart contracts.

Streamline your security review preparation process.

Secure your Algorand smart contracts with automated scanning.

Expand vulnerabilities into candidate variants for analysis.

Enhance security reviews with structural diff analysis.

Ensure code aligns with its documentation requirements.

Streamline your mutation testing campaigns with ease.

Systematically verify security bugs to eliminate false positives.

Enhance smart contract security with a structured approach.

Enhance your smart contract development with expert guidance.

Evaluate your codebase's maturity with a structured framework.

Quickly analyze codebase structure with Trailmark.

Coverage-guided fuzzing for Ruby applications.

Coverage-guided fuzzing for C/C++ projects.

Comprehensive auditing for Rust security issues.