671 skills · sorted by relevance
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.
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.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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".
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Plan electricity and natural gas purchasing for commercial and industrial sites. Compare supplier offers, analyze tariffs and peak-demand charges, evaluate renewable energy contracts, and build budgets that account for price uncertainty and sustainability goals.
Review Solidity automated market makers, liquidity pools, and token swaps using security checklists and safer code examples. Check repeated calls during transfers, manipulated prices, share calculations, swap limits, and administrator permissions.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Build typed data visualizations in TypeScript. Use when the user wants TypeScript visualization code, typed data models, browser visualization components, UML-like diagram models, interactive graph or architecture diagram contracts, scroll-driven scene contracts, library selection guidance, or a maintainable visualization architecture beyond React- or Next-specific concerns.
The English summary is being prepared. Showing the original description.