Analyze Solidity smart contracts with Slither and Mythril before Ethereum deployment. Combine code inspection with execution path analysis, review potential vulnerabilities, remove duplicate findings, and produce an audit report with severity ratings and suggested fixes.
- Checking Solidity contracts before deployment
- Investigating reentrancy and access control weaknesses
- Consolidating findings from Slither and Mythril
tradecatlabs/vibe-coding-cn☆ 17.7KUpdated Oct 18, 2026
Audit Solidity contracts in Foundry projects before deployment using code analysis, randomized tests, manual review, and private key checks. Produces a JSON report with findings, remediation, test coverage, and a pass or fail deployment decision.
- Auditing Solidity contracts before deployment
- Adding fuzz and invariant tests for contracts that move funds
- Reviewing private key storage and deployment scripts
tradecatlabs/vibe-coding-cn☆ 17.7KUpdated Oct 18, 2026
Build reusable Claude Skills from documentation, APIs, code, and specifications. Organize instructions and reference files, define clear activation conditions, add reproducible examples, and check new or existing skills against a delivery checklist.
- Creating a skill from documentation, code, or specifications
- Reorganizing an overly long SKILL.md
- Clarifying when a skill should activate
tradecatlabs/vibe-coding-cn☆ 17.7KUpdated Oct 18, 2026
Check mathematical expressions, solve equations, and search bounded ranges for counterexamples using symbolic and numerical libraries. Record assumptions, commands, and results so calculations can be repeated, while keeping computational evidence distinct from general mathematical proof.
- Checking identities and integrals with exact arithmetic
- Searching a defined range for counterexamples
- Cross-checking numerical results at higher precision
tradecatlabs/vibe-coding-cn☆ 17.7KUpdated Oct 18, 2026
Turn scattered formulas and theory notes into a derivation that can be checked step by step. Keep definitions and assumptions consistent, distinguish exact identities from approximations, and make hidden conditions and limits explicit.
- Organize scattered formulas and theory notes
- Trace the steps behind an algebraic identity
- State conditions and error orders for approximations
tradecatlabs/vibe-coding-cn☆ 17.7KUpdated Oct 18, 2026
Shape broad mathematical interests into precise research questions. Search prior work on definitions and theorems, record traceable sources, map supporting and conflicting evidence, and identify gaps that could lead to testable conjectures.
- Tracing a theorem’s variants and related work
- Checking prior work on an integer sequence
- Defining search terms and the scope of a research question
tradecatlabs/vibe-coding-cn☆ 17.7KUpdated Oct 18, 2026