tradecatlabs/vibe-coding-cn

这个仓库里有 21 个技能，GitHub 星标 ★ 16,253。

• analyzing-ethereum-smart-contract-vulnerabilitiesPerform static and symbolic analysis of Solidity smart contracts using
• auditing-foundry-smart-contract-security>-
• web3-ai-toolsAI-powered tools for Web3 bug bounty automation. Use when you want to automate r
• web3-bug-classesComplete reference for all 10 DeFi smart contract bug classes. Use this when hun
• web3-case-study-role-misconfigCase study - role misconfiguration bug class applied to a yield aggregator proto
• web3-grep-arsenalMaster grep command arsenal for Web3 smart contract auditing. Use when starting
• web3-hunt-foundationHunter mindset, recon setup, and target scoring for Web3 bug bounty. Use at the
• web3-hunt-zksync-eraZKsync Era (Immunefi) completed hunt — 0 findings after exhaustive 5-session aud
• web3-methodology-researchExternal research synthesis from Trail of Bits, SlowMist, ConsenSys, Immunefi, a
• web3-poc-foundryComplete Foundry PoC writing guide + all cheatcodes + DeFiHackLabs reproduction
• web3-solidity-audit-mcpMCP server integrating Slither + Aderyn + SWC patterns into Claude Code for smar
• web3-start-hereMaster index for the web3 smart contract security knowledge base. Use this to na
• web3-triage-reportBug triage validation system, Immunefi report format, and 20 real paid bounty ex
• math-computation可重跑的数学计算与反例实验。用于 SymPy 精确代数/微积分/方程/矩阵、NumPy/SciPy 数值方法、mpmath 高精度交叉检查、OEIS 序列识别、
• math-derivation数学公式与理论线推导。用于整理散乱公式、固定不变量和记号、推导恒等式/近似/局部命题、检查隐藏假设，或把理论笔记变成可审计推导包。
• math-discovery数学问题发现与证据检索。用于界定研究问题、查定义/定理谱系、检索 arXiv/Scholar/OpenAlex/Crossref、建立来源账本、证据图、查新或从
• math-formalization数学形式化与 proof-assistant 验证。用户要求 Lean 4/Mathlib、formal proof、kernel check、无 sorry
• math-proof严格自然语言数学证明。用于证明或审查 theorem/lemma/proposition、补齐证明草稿、构建证明义务与依赖图、寻找反例、检查量词/常数/边界情况
• vibe-mathing-router数学研究任务路由器。用户提出找问题、查文献、推公式、做计算、写证明或形式化验证，但当前瓶颈尚未明确时使用；每次只选择一个主 skill。
• auto-skillClaude Skills meta-skill: extract domain material (docs/APIs/code/specs) into a
• auto-tmuxtmux 自动化操控：用 scripts/auto-tmux.sh 安全读取、发送、巡检、救援、录制 session|window|pane，用 swarm-s