“vibe-coding”的搜索结果

Connect Solidity security analyzers to Claude Code through MCP, a tool connection interface. Combine findings into a report sorted by severity, review contract changes, and generate tests for conditions that should always hold.

中文简介正在准备中。当前显示英语简介。

• Combining findings from multiple Solidity analyzers
• Reviewing security issues in contract upgrades
• Generating Foundry invariant tests

Provides a reference for reviewing DeFi smart contracts, programs that manage blockchain transactions. It organizes vulnerability types with causes, code examples, search patterns, and fixes to help investigate accounting, permissions, boundary conditions, and pricing logic.

中文简介正在准备中。当前显示英语简介。

• Checking for accounting inconsistencies and missing permission checks
• Comparing normal and alternative code paths
• Reviewing deadline and array boundary conditions

Navigate a smart contract security knowledge base in a suggested reading order. Find guides covering audit preparation, vulnerability patterns, code searches, reproduction tests, reporting, case studies, and AI tools without losing track of the next topic.

中文简介正在准备中。当前显示英语简介。

• Finding a starting point for learning smart contract auditing
• Following guides from preparation through reporting
• Locating audit case studies

Plan smart contract audits using research from security organizations. Combine threat modeling, static code analysis, fuzzing that varies test inputs, and manual review, while using attack patterns and a four-phase roadmap to guide further learning.

中文简介正在准备中。当前显示英语简介。

• Planning a smart contract security audit
• Setting up Echidna or Medusa fuzzing
• Reviewing attack patterns and past audit findings

Uses a completed ZKsync Era investigation with no reportable findings as a defense study. It explains 25 tested attack vectors, the safeguards that blocked them, and criteria for deciding whether to continue reviewing a large bridge protocol.

中文简介正在准备中。当前显示英语简介。

• Learning defensive design from a completed ZKsync Era investigation
• Reviewing why 25 tested attack vectors failed
• Assessing whether to continue investigating a large bridge

Clarify the next step in a mathematical research task by identifying what is blocking progress. Select one specialist skill for discovery, derivation, computation, proof, or formal verification, with required inputs and clear stopping conditions.

中文简介正在准备中。当前显示英语简介。

• Decide where to start with an open mathematical question
• Find the next step when papers, formulas, and code are mixed
• Choose between derivation, computation, proof, and formalization

Choose and configure AI tools for Web3 security work across web applications, APIs, and Solidity contracts. Follow setup examples for reconnaissance, vulnerability validation, and proof-of-concept generation, then combine automated findings with manual review.

中文简介正在准备中。当前显示英语简介。

• Choosing AI tools for a security testing target
• Automating web application and API reconnaissance
• Preparing Solidity checks and proof-of-concept code

Turn mathematical claims into definitions, lemmas, and proofs for Lean 4 and Mathlib. Check proofs with Lean’s trusted core, separately review whether the formal statement matches the original claim, and record verification evidence.

中文简介正在准备中。当前显示英语简介。

• Verifying an important lemma with Lean 4
• Breaking a theorem into definitions and supporting lemmas
• Checking proofs for sorry, admit, and unauthorized axioms

Use grep text searches to locate Solidity code that needs security review. Ten search groups, priority tiers, and protocol-specific patterns help organize findings and choose where to begin a deeper smart contract audit.

中文简介正在准备中。当前显示英语简介。

• Mapping review targets before a smart contract audit
• Searching for a specific vulnerability class
• Prioritizing suspicious code for deeper review

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

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

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

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

Automate tmux, a tool for managing multiple terminal workspaces, to inspect output, send commands, monitor stalled tasks, and record logs. Coordinate multiple AI terminals with task queues, file locks, status tracking, and handoff reports.

中文简介正在准备中。当前显示英语简介。

• Inspect output and errors across multiple AI terminals
• Resume tasks waiting for confirmation
• Coordinate tasks and file locks across AI workers

Guide an AI agent through feature development, bug fixes, and refactoring with clear requirements, explained design choices, and small, tested changes. Keep human decisions central while making progress and verification results visible.

中文简介正在准备中。当前显示英语简介。

• Adding features to an existing project
• Tracing a bug to its root cause
• Refactoring code with tests in place

Write or revise an MVP product requirements document with scope and observable acceptance criteria.

中文简介正在准备中。当前显示原文说明。

Implement a new-project slice through the relevant checks and working user journey.

中文简介正在准备中。当前显示原文说明。

Exercise a running product against acceptance criteria and report evidence. Build success alone does not verify behavior.

中文简介正在准备中。当前显示原文说明。

Research an app idea or resolve product and technical uncertainties before committing to a design.

中文简介正在准备中。当前显示原文说明。

Diagnose and fix a reproducible failure in an existing project. Use for crashes, broken behavior, or failing checks, not greenfield planning.

中文简介正在准备中。当前显示原文说明。

Prepare compact factual project context for another session or coding tool without copying transcripts or secrets.

中文简介正在准备中。当前显示原文说明。

Review a proposed change against requirements, regressions, verification evidence, and relevant security risks.

中文简介正在准备中。当前显示原文说明。

Write an MVP technical design from agreed requirements, including architecture choices and relevant tradeoffs.

中文简介正在准备中。当前显示原文说明。

Add one bounded feature to an existing app while preserving current behavior. Do not restart the full new-project workflow.

中文简介正在准备中。当前显示原文说明。