Code Review skills

Writing Lean Proofs

trailofbits

Streamline your Lean 4 proof writing and library design.

Slicing Code Context

trailofbits

Efficiently delegate focused code analysis tasks.

Genotoxic

trailofbits

Streamline mutation testing triage with graph analysis.

Second Opinion

trailofbits

Get independent code reviews from external LLMs.

D

Dimensional Analysis

trailofbits

Automate dimensional analysis for codebases with numeric computations.

Token Integration Analyzer

trailofbits

Analyze token implementations for security and compliance.

Coverage Analysis

trailofbits

Measure code exercised during fuzzing for better testing.

G

GitHub Triage

trailofbits

Streamline your GitHub issue and PR management process.

Spec-to-Code Compliance

trailofbits

Ensure code aligns with its documentation requirements.

Guidelines Advisor

trailofbits

Enhance your smart contract development with expert guidance.

Code Maturity Assessor

trailofbits

Evaluate your codebase's maturity with a structured framework.

Trailmark Summary

trailofbits

Quickly analyze codebase structure with Trailmark.