'contracts' 검색 결과

Review Cosmos SDK modules and CosmWasm contracts for vulnerabilities that could halt a chain, cause fund loss, or produce inconsistent state. Findings are checked against consensus execution paths and saved as individual Markdown reports with severity and fixes.

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

• Auditing custom Cosmos SDK modules
• Reviewing IBC integrations
• Assessing chain security before launch

Review Cairo smart contracts on StarkNet for six vulnerability patterns involving arithmetic, cross-layer messages, addresses, and signature reuse. Receive a coverage table with evidence for every pattern, plus severity ratings and fixes for identified issues.

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

• Review StarkNet contracts before launch
• Audit L1-L2 bridge message handling
• Check protection against signature reuse

Build charts and interactive diagrams in TypeScript with explicit data types and clear component boundaries. Guides library selection, data validation, interaction design, and shareable view settings to support maintainable visualization code.

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

• Choose a visualization library for a TypeScript app
• Refactor a D3 prototype into maintainable TypeScript
• Define data types for selections and tooltips

Draft, adapt, and review contracts and clauses aligned with The Chancery Lane Project's methodology for reducing carbon emissions through legal agreements. Use when Claude needs to: (1) Draft new climate-aligned clauses (e.g., net zero commitments, carbon accounting, supply chain decarbonization), (2) Adapt or modify existing contracts to incorporate climate objectives, (3) Review and analyze clauses for alignment with climate goals and decarbonization strategies, (4) Provide guidance on The Chancery Lane Project's house style and drafting methodology for climate-conscious legal work.

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

Generate formal specifications including preconditions, postconditions, invariants, and contracts from code or requirements. Use this skill when documenting APIs, creating formal verification annotations, defining function contracts, specifying class invariants, writing design-by-contract code, or preparing code for formal verification. Supports multiple specification languages including JML, ACSL, Dafny, Eiffel contracts, and documentation annotations.

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

Analyze contracts for risks, check completeness, and provide actionable recommendations. Use when a user asks to review a contract, check an agreement for red flags, analyze contract terms, find risky clauses, review an NDA, evaluate a service agreement, or audit employment contract terms. Supports employment contracts, NDAs, service agreements, and vendor contracts.

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

Survey the project's existing contracts and policy docs. Use when asked "what contracts do we have", "survey our policy docs", or "inventory our agreements".

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

Compare explicit design/specification contracts with the implementation in a defined change scope. Use to verify signatures, types, schemas, invariants, and other stated contracts without expanding into general code quality review.

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

Legal-contract review desk (Busabase App-in-Skill) for NDAs, MSAs, DPAs, and SOWs. Use when the user invokes $kelly-legal-contracts or /kelly-legal-contracts, mentions legal, 法务, contract review, 合同审阅, NDA, MSA, DPA, SOW, redlines, clause playbook, legal intake, issue list, or wants a Busabase-backed review desk where a human legal reviewer approves, revises, or blocks agent-prepared contract issues.

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

Stellar smart contract development (Rust, soroban-sdk). Entry point with project setup, contract anatomy, and build/deploy workflow, routing to three companion files in this directory — development.md (storage/TTL, authorization, cross-contract calls, tokens, events, errors, upgrades, fees, troubleshooting), testing.md (unit, fuzz, property, fork, mutation, integration), and security.md (vulnerability classes, checklists, tooling, audits). Use when writing, testing, reviewing, securing, debugging, or shipping Stellar smart contracts, including anything the user calls "Soroban" — Soroban contracts, soroban-sdk, Soroban auth/storage/TTL errors, SEP-41 tokens, or SAC integration from contract code.

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

Solidity 자동화 마켓 메이커와 유동성 풀을 점검합니다. 체크리스트와 구현 예제로 재진입 공격, 지분·가격 조작, 교환 한도, 정수 연산, 관리자 권한을 검토합니다.

• 유동성 풀 계약 감사
• 입출금 지분 계산 검토
• 교환 최소 수령량과 기한 제한

공장과 사무실의 사용량, 요금 체계, 계약 조건을 바탕으로 전력과 천연가스 조달을 검토합니다. 공급업체 비교, 최대 수요 요금 대책, 재생에너지 계약 평가와 예산 수립을 지원합니다.

• 여러 사업장의 에너지 견적 비교
• 요금제와 최대 수요 요금 검토
• 재생에너지 계약과 인증서 평가

Cross-reference public records to investigate companies, contracts, sanctions, property, and litigation. Match names across sources, label confidence levels, and build structured findings linked to original records, with optional statistical analysis of event timing.

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

• Researching company control and corporate filings
• Checking entities against sanctions and offshore records
• Comparing lobbying records with government contracts

Turn contracts, reports, and scanned forms into cited facts and proposed tasks. Preserve deadlines, explicit owners, source locations, and uncertainty, then create and verify records in an external tracker only within the user's approved scope.

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

• Extract obligations and deadlines from contracts
• Turn reports into proposed follow-up tasks
• Structure scanned forms while flagging uncertain text

Design APIs and interfaces between modules with clear inputs, outputs, naming, and errors. The skill guides compatible extensions, input validation, and retry handling so callers can use interfaces consistently without accidentally repeating state-changing operations.

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

• Designing new REST endpoints
• Defining frontend and backend data contracts
• Extending an API while preserving compatibility

Review invoices, expense receipts, and service contracts against accounts-payable policy before human approval. Recalculate invoice totals, flag missing documentation and risky contract terms, and produce a JSON report with findings and a review decision.

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

• Recalculate invoice totals and report exact differences
• Check receipts and documented purchase approvals
• Flag changed bank details or payment instructions

Design APIs and interfaces between parts of an application with clear input and output types, consistent errors, and predictable names. The guidance helps you extend existing interfaces while preserving compatibility for the code that uses them.

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

• Designing new REST or GraphQL endpoints
• Defining contracts between frontend and backend
• Reviewing changes to a public interface

Review business contracts, including NDAs and vendor agreements, for payment, liability, ownership, and other risks. Get plain-English findings ranked by severity, negotiation suggestions, and an optional DOCX showing proposed deletions and additions.

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

• Checking an NDA or vendor agreement before signing
• Reviewing payment terms and cash-flow risks
• Preparing negotiation points for a customer’s contract

Prepare legal work briefings from connected email, calendars, documents, and contracts. Choose a daily overview, an internal topic review, or an incident summary, with urgent items, relevant background, information gaps, and suggested next steps.

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

• Review urgent legal work and upcoming deadlines each morning
• Summarize internal records on a specific legal topic
• Gather initial context for a data breach or dispute

Draft freelance contracts, project proposals, and confidentiality agreements with clauses tailored to US, EU, UK, or DACH contexts. Organize scope, payments, ownership, and deliverables in Markdown, with instructions for conversion to Word.

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

• Drafting a contract for a new freelance engagement
• Preparing a client proposal with budget and timeline
• Defining deliverables and acceptance criteria

Validate Claude Ads data contracts, scoring inputs, run outputs, installation procedures, and release readiness. Return machine-readable pass or fail results with evidence, the most urgent blocker, and recovery steps, while checking source freshness and safe removal boundaries.

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

• Checking Claude Ads run outputs and scoring inputs
• Auditing evidence and checks before a release
• Verifying installation instructions and archive checksums

Adjust an existing commercial contracts profile through a guided conversation. Update risk preferences, approvers, contract positions, or review formats one change at a time, with an explanation of how each update affects later work.

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

• Changing liability cap fallback positions
• Updating escalation contacts and approvers
• Adjusting contract review formats

Build Web3 applications, combining blockchain contracts with a user interface, in a defined sequence. Organize directories, define interfaces, implement and test contracts, configure wallet connections, build components, and prepare deployment scripts.

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

• Planning a Web3 project's directory structure
• Defining interfaces for external protocol integrations
• Building wallet-connected contract interaction screens

Reviews Algorand smart contracts written in TEAL or PyTeal for 11 vulnerability patterns. Produces a complete coverage table and findings with code references, severity ratings, and suggested fixes, with optional automated checks using Tealer.

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

• Security checks before an Algorand contract audit
• Reviewing TEAL or PyTeal transaction validation
• Verifying fixes for reported vulnerabilities