'vibe-coding' 검색 결과

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

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

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

Helps write and review mathematical proofs in natural language. It clarifies assumptions, maps dependencies between claims and lemmas, checks counterexamples and edge cases, and produces a traceable draft that identifies unresolved gaps or necessary changes to the statement.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Filling gaps in a mathematical proof draft
• Mapping dependencies between claims and lemmas
• Searching for counterexamples and edge cases

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

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

Prepare a Web3 bug bounty investigation by scoring targets, setting up analysis tools, reviewing past audits, and tracing how funds move. Use the findings to prioritize smart contracts and assess whether suspected issues have concrete impacts.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choose a protocol for a bug bounty investigation
• Prepare build, test, and static analysis tools
• Map fund flows and prioritize contract reviews

Build runnable Foundry tests that demonstrate smart contract vulnerabilities with before-and-after logs and assertions. Use fork tests, which copy blockchain state, and test helpers to reproduce known DeFi incidents or prepare evidence for a report.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Writing runnable proofs of concept for vulnerability reports
• Reproducing issues from a fixed blockchain block
• Controlling callers, time, and balances in tests

Examine a DeFi yield aggregator, a protocol that collects investment returns, for missing role assignments and failures caused by tiny rewards. Includes a ten-category review, reproducible test templates, and vulnerability report drafts.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Checking reward contracts for missing role assignments
• Investigating harvest failures caused by tiny rewards
• Preparing vulnerability reproduction tests and reports

Assess Web3 vulnerability findings before submission by checking scope, reproducibility, prerequisites, and attack costs. Organize the root cause, measurable impact, working proof of concept, and proposed fix into an Immunefi report, with examples for comparison.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Checking whether a finding is ready for submission
• Drafting an Immunefi vulnerability report
• Reviewing reproduction code and measurable impact

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

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

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

Transform an AI agent into a tasteful, disciplined development partner. Not just a code generator, but a collaborator with professional standards, transparent decision-making, and craftsmanship. Use for any development task: building features, fixing bugs, designing systems, refactoring. The human provides vision and decisions. The agent provides execution with taste and discipline.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Create project agent instructions and tool configuration from agreed product and technical decisions.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Select the appropriate planning, implementation, or debugging workflow for an app project.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.