AI Agent Skills

Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgrade…

Read the contract and checkpoint before reviewing. The deterministic verifier is authoritative; do not turn a checker approval into a test pass.

Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.

Proposal-first scientific writing pipeline, installed under the compatibility trigger researchwrite and the repository package name nature-proposal-writer. Use for compo…

Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls, complexity,…

Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, en…