vibe-coding-cn

资源合集

Vibe Coding 从入门到精通教程｜AI 结对编程工作流｜Prompt、Skill、Workflow、上下文管理、codex实战指南

tradecatlabsGitHub 公开资源索引

16,460 GitHub Stars21 项组成内容Stars 同步于 2026年9月27日

共 21 项匹配内容，示例会单独标注；未声明归属的内容不代表插件自动包含。

analyzing-ethereum-smart-contract-vulnerabilities技能

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vul

其他仓库内容 · 未声明插件包归属

auditing-foundry-smart-contract-security技能

Pre-deployment security audit of Solidity smart contracts in a Foundry project. Combines static analysis (Slither, Aderyn), symbolic execution (Mythril), and pr

其他仓库内容 · 未声明插件包归属

auto-skill技能

Claude Skills meta-skill: extract domain material (docs/APIs/code/specs) into a reusable Skill (SKILL.md + references/scripts/assets), and refactor existing Ski

其他仓库内容 · 未声明插件包归属

auto-tmux技能

tmux 自动化操控：用 scripts/auto-tmux.sh 安全读取、发送、巡检、救援、录制 session|window|pane，用 swarm-state.sh 管理蜂群任务/锁/状态，并基于 oh-my-tmux 组织多 AI 终端协作。触发：capture-pane、send-keys、批量巡检、蜂群

其他仓库内容 · 未声明插件包归属

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 编译，或需要把自然语言定理切成可形式化定义和引理时使用。缺少 Lean 工具链时必须 fail-closed。

其他仓库内容 · 未声明插件包归属

math-proof技能

严格自然语言数学证明。用于证明或审查 theorem/lemma/proposition、补齐证明草稿、构建证明义务与依赖图、寻找反例、检查量词/常数/边界情况，或判断命题是否必须削弱。

其他仓库内容 · 未声明插件包归属

vibe-mathing-router技能

数学研究任务路由器。用户提出找问题、查文献、推公式、做计算、写证明或形式化验证，但当前瓶颈尚未明确时使用；每次只选择一个主 skill。

其他仓库内容 · 未声明插件包归属

web3-ai-tools技能

AI-powered tools for Web3 bug bounty automation. Use when you want to automate recon, run autonomous audits, or use AI agents for vulnerability discovery.

其他仓库内容 · 未声明插件包归属

web3-bug-classes技能

Complete reference for all 10 DeFi smart contract bug classes. Use this when hunting for specific vulnerability types, need attack patterns for accounting desyn

其他仓库内容 · 未声明插件包归属

web3-case-study-role-misconfig技能

Case study - role misconfiguration bug class applied to a yield aggregator protocol. Use as a template for applying all 10 bug classes to a single target.

其他仓库内容 · 未声明插件包归属

web3-grep-arsenal技能

Master grep command arsenal for Web3 smart contract auditing. Use when starting a new protocol scan, before deep code review, or when hunting specific vulnerabi

其他仓库内容 · 未声明插件包归属

web3-hunt-foundation技能

Hunter mindset, recon setup, and target scoring for Web3 bug bounty. Use at the START of any new protocol hunt - scoring targets, setting up environment, unders

其他仓库内容 · 未声明插件包归属

web3-hunt-zksync-era技能

ZKsync Era (Immunefi) completed hunt — 0 findings after exhaustive 5-session audit. Use as a DEFENSE STUDY — learn what makes a protocol unhuntable, which patte

其他仓库内容 · 未声明插件包归属

web3-methodology-research技能

External research synthesis from Trail of Bits, SlowMist, ConsenSys, Immunefi, and Cyfrin. Use this for advanced audit methodology, Echidna/Medusa fuzzing setup

其他仓库内容 · 未声明插件包归属

web3-poc-foundry技能

Complete Foundry PoC writing guide + all cheatcodes + DeFiHackLabs reproduction patterns. Use this when building a proof of concept exploit, setting up a fork t

其他仓库内容 · 未声明插件包归属

web3-solidity-audit-mcp技能

MCP server integrating Slither + Aderyn + SWC patterns into Claude Code for smart contract auditing. Use when analyzing Solidity files, running DeFi-specific de

其他仓库内容 · 未声明插件包归属

web3-start-here技能

Master index for the web3 smart contract security knowledge base. Use this to navigate the skill chain. Read files in order — each ends with NEXT.

其他仓库内容 · 未声明插件包归属

web3-triage-report技能

Bug triage validation system, Immunefi report format, and 20 real paid bounty examples dissected. Use this when validating a finding before submitting, writing

其他仓库内容 · 未声明插件包归属