Skill UI

Resolve the newest complete numerical weather prediction cycle and forecast objects across provider mirrors without downloading full payloads. This skill probes exact objects or narrow prefixes, verifies request-specific completion contracts, and returns the newest qualifying initialization with source metadata.

This skill provides a framework for auditing Web3 smart contracts for security vulnerabilities. It includes pre-audit risk assessment strategies, critical bug class identification (like accounting desynchronization and access control), and Solidity code analysis techniques. Designed for authorized security assessments and educational purposes, it helps identify high-value targets and common exploit patterns in blockchain protocols.

Master comprehensive testing strategies for smart contracts using Hardhat, Foundry, and advanced patterns, including unit, integration, gas, fuzz, mainnet fork, and coverage testing.

Design or review an AI agent tool registry or MCP router: document parameter schemas, caller authorization, runtime limits, effect-aware retry contracts and verification evidence before connecting tools to an agent runtime.

Generates a draft 2020-12 JSON Schema from an already confirmed field list, defining property names, types and only user-confirmed required or enum values. Use it for API contracts, import/export validation, form generation and schema docs.

Guides implementing features, fixes, and contract migrations in existing repositories while preserving user edits, public contracts, and repository conventions.

Reviews diffs, branches, and PRs for correctness, contract breaks, and operational risk, or performs evidence-based cleanup that preserves authorized behavior, public contracts, and domain ownership. Produces the smallest coherent change that belongs naturally in the target repository.

Provides a formal invariant verification framework for smart contracts using Foundry fuzzing, symbolic execution, and theorem proving to track safety properties, generate SQL/JSON schemas, and support audit compliance.

Standardized audit register for Soroban Rust smart contracts on Stellar: tracks authorization checks, panic pathways, integer overflows, storage footprint and remediation status, exporting CSV, SQL DDL and JSON Schema compliance artifacts.

Provides a structured framework for managing SEP-41 compliant token contracts on Stellar's Soroban platform, including admin controls, supply caps, and metadata standards. Generates CSV, SQL DDL, and JSON Schema for tracking compliance.

Provides standardized field schemas, SQL DDL, JSON Schema, and operational registers for configuring rate-limiting windows and automated circuit breakers across Web3 smart contracts and relayers.

Registers zero-knowledge SNARK proof verification keys, circuit complexity constraints, and nullifier tracking for double-spending prevention in privacy systems. Provides standardized field schemas, SQL DDL, JSON validation, and best practices for auditable cryptographic verification across distributed applications and smart contracts.