Search
tradecatlabs/vibe-coding-cn
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Meta-skill that turns docs, APIs, code or specs into a reusable skill with references and a quality gate, and refactors skills that are unclear or misfire. | tradecatlabs/ | 17k | 1 repo | ~2.4k | Automated safety check: Pass | MIT | yesterday |
| 2 | A master set of ten grep command blocks that surface likely vulnerability classes in Solidity source within the first 30 minutes of auditing a new protocol. | tradecatlabs/ | 17k | 2 repos | ~3.3k | Automated safety check: Pass | MIT | yesterday |
| 3 | Operates tmux sessions like an administrator: reads pane output, sends keys, inspects many panes at once, and coordinates multiple AI terminals through a swarm state script, built on oh-my-tmux. | tradecatlabs/ | 17k | — | ~4.7k | Automated safety check: Pass | MIT | yesterday |
| 4 | A selection guide to AI-driven tools for Web3 bug bounty work, from autonomous web pentesters to smart contract bug finders, with notes on authorization. | tradecatlabs/ | 17k | 2 repos | ~3.9k | Automated safety check: Warn | MIT | yesterday |
| 5 | Runs Slither and Mythril against Solidity contracts to find reentrancy, overflow and access-control bugs before mainnet deployment, then triages and reports findings. | tradecatlabs/ | 17k | 1 repo | ~738 | Automated safety check: Pass | Apache-2.0 | yesterday |
| 6 | Runs reproducible math computations and counterexample searches with SymPy, NumPy and mpmath, logging evidence without presenting results as proofs. | tradecatlabs/ | 17k | — | ~881 | Automated safety check: Pass | MIT | yesterday |
| 7 | Reference for ten classes of DeFi smart contract bugs, each with root cause, vulnerable code, fix, grep patterns and paid examples, for audits and bug bounty reviews. | tradecatlabs/ | 17k | 2 repos | ~10k | Automated safety check: Pass | MIT | yesterday |
| 8 | Research notes drawn from Trail of Bits, SlowMist, ConsenSys, Immunefi and Cyfrin on smart contract audit methodology, with Slither, Echidna and Medusa setup. | tradecatlabs/ | 17k | 2 repos | ~9.9k | Automated safety check: Pass | MIT | yesterday |
| 9 | Seven-question triage gate, Immunefi report format and dissected paid bounty examples for deciding whether a smart contract finding is worth submitting. | tradecatlabs/ | 17k | 2 repos | ~7.7k | Automated safety check: Pass | MIT | yesterday |
| 10 | Worked bug bounty case study of a yield aggregator: target scoring, fund-flow mapping, prior audit triage and a verdict per bug class, with role misconfiguration in focus. | tradecatlabs/ | 17k | 2 repos | ~3.5k | Automated safety check: Pass | MIT | yesterday |
| 11 | Starting guide for Web3 bug bounty hunts: validating each finding, ten checks per external function, six questions to disprove your own bug, plus recon setup and target scoring. | tradecatlabs/ | 17k | 2 repos | ~2.5k | Automated safety check: Pass | MIT | yesterday |
| 12 | Records a Web3 bug bounty hunt on ZKsync Era that ended with no findings, using it to show what a hardened protocol looks like and when to drop a target. | tradecatlabs/ | 17k | 2 repos | ~2.2k | Automated safety check: Pass | MIT | yesterday |
| 13 | Constructs honest, checkable derivation chains for formulas and theory notes, and keeps approximations and numerical hints from passing as rigorous proof. | tradecatlabs/ | 17k | — | ~429 | Automated safety check: Pass | MIT | yesterday |
| 14 | Turns a vague math interest into a bounded, searchable problem and builds a source-traced evidence graph, with novelty checks and conjectures drawn from evidence gaps. | tradecatlabs/ | 17k | — | ~554 | Automated safety check: Pass | MIT | yesterday |
| 15 | Turns a mathematical claim into a small Lean 4 and Mathlib formalization checked by the proof assistant kernel, and refuses to report a pass without real evidence. | tradecatlabs/ | 17k | — | ~717 | Automated safety check: Pass | MIT | yesterday |
| 16 | Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims. | tradecatlabs/ | 17k | — | ~571 | Automated safety check: Pass | MIT | yesterday |
| 17 | Routes an unclear math research request to exactly one specialist skill, naming the current stage, the reason, the inputs needed, a stop condition and the next step. | tradecatlabs/ | 17k | — | ~407 | Automated safety check: Pass | MIT | yesterday |
