Wrap a Rust function in a Jolt zero-knowledge proof
Skills(SKILL.md)は、AIエージェント(Claude Code、Cursor、Codexなど)に特定の能力を追加するための設定ファイルです。
詳しく見る →Wrap a Rust function in a Jolt zero-knowledge proof
This document teaches any AI coding assistant how to build a voice-enabled agent using Amazon Nova 2 Sonic, Strands Agents SDK, and Amazon Bedrock AgentCore Runtime. It is distilled from the insurance
AWS security finding analysis: analyze findings, map to Atmos components/stacks, generate structured remediation with exact Terraform changes and deploy commands
workleap-chromatic-best-practices
>
A CLI tool for calculating and validating Uniswap V4 liquidity position tick bounds. Prevents tick math errors that can cause failed LP mints by providing correct, validated tick calculations.
**Skill Name**: browser-local-chrome-remote-debugging
Use when you have made code changes and want another CLI agent to review them before committing or continuing. Covers crafting review prompts, scoping reviewer permissions to read-only, interpreting feedback, and follow-up clarification sessions.
Pause for review every N tasks - selective autonomy pattern
Use Moneta shared memory via MCP tools to recall project knowledge
Fetch content from GitHub repos using gh CLI
Create, query, cancel, and manage attendees for WeCom scheduled meetings through wecom-cli.
This is an example `workflow-<slug>/SKILL.md` generated from a workflow spec.
>
Execute the canonical prompt-first job-bundle workflow for shadcnui-foundry components. Use when preparing per-framework agent jobs from registry artifacts and IR.
Use this skill whenever the user wants durable context, cross-project memory, shared procedures, audit trails, Obsidian-backed knowledge, or a reusable operating layer across multiple agent sessions. Trigger aggressively on requests to remember decisions, save findings, reuse previous workflows, coordinate several agents, maintain shared organizational context, install or activate MAKOS, or avoid starting from scratch in each conversation.
Use this skill when the project uses shadcn-svelte and the task involves implementing or refactoring UI with that library.
Transform one mentioned lecture transcript markdown file into a structured lecture note and save a merged output file in the same folder. Use when the user asks to create lecture notes from an existing transcript file. Keep transcript cleanup loose and preserve original wording as much as possible.
Run or inspect the hotspot monitoring cycle for the wy-hotspot-monitoring workspace. Use this skill whenever the user asks to scan now, trigger a monitor manually, check which monitors are due, validate the monitoring pipeline, or see the latest run results and new hotspots. Prefer this skill over using the web UI when the request is operational.
Keep git history clean for each goal-oriented work unit. Use when Codex starts new implementation work, prepares a PR/review request, or needs to ensure unrelated commits/diffs are not mixed.
Use when developing, reviewing, or closing work in beamHO-bench that is governed by an active pending SDD, especially when the task requires reading PROJECT_CONSTRAINTS, active pending status, validation rules, and lifecycle-sync docs before editing code.
Ensure the front-end application remains fully compatible with the backend API by referencing and adhering to the Server API Specification.
Use when starting any active phase/group in ntn-sim-core platform refactor, or before promoting a downstream MODQN/UI prompt into active work, to verify authority docs, phase status, prompt freshness, and go/no-go conditions.
Create or update Agent Skills for Claude Code, Codex, and other Agent Skills-compatible clients. Use when users ask to design a new skill, revise an existing skill, write SKILL.md, optimize skill triggering descriptions, or decide scripts/references/assets and folder structure from a prompt.
Analyze GitHub repositories to extract insights about commit frequency, outstanding contributors, release timeline, and project health metrics. Use when users request repository analysis, commit history investigation, contributor identification, release tracking, or development activity assessment for any GitHub project.
Use this skill when creating or refactoring Svelte 5 / SvelteKit frontend code, especially UI components, local feature UIs, component APIs, and Tailwind-based styling. This skill improves code quality by enforcing modern Svelte 5 conventions, strong component boundaries, clear state ownership, reusable modular logic, and disciplined Tailwind usage. Not intended for visual design exploration or branding work.
Query, create, update, delete, and track WeCom work items through wecom-cli.
>
Create product backlog items in Why-What-Acceptance format — independent, valuable, testable items with strategic context. Use when writing structured backlog items, breaking features into work items, or using the WWA format.
Generate a concise hotspot briefing from the wy-hotspot-monitoring workspace state. Use this skill whenever the user asks for a hotspot digest, trend summary, recent signal review, shift report, or operator-ready briefing, especially when they want a quick readout instead of raw JSON or the full dashboard.
Facilitate a structured sprint retrospective — what went well, what didn't, and prioritized action items with owners and deadlines. Use when running a retrospective, reflecting on a sprint, creating action items from team feedback, or learning how to run effective retros.
Upgrades React Native apps to newer versions by applying rn-diff-purge template diffs, updating package.json dependencies, migrating native iOS and Android configuration, resolving CocoaPods and Gradle changes, and handling breaking API updates. Use when upgrading React Native, bumping RN version, updating from RN 0.x to 0.y, or migrating Expo SDK alongside a React Native upgrade.
A rigorous Technical Architect and Systems Analyst responsible for producing implementation-ready specifications AND an execution-safe implementation plan. This skill defines immutable technical contracts (APIs, data models, states, migrations, constraints) and a structured step-by-step implementation roadmap while explicitly minimizing AI drift through locked requirements, guardrails, and verification checkpoints.
Deploy any project to Vercel. **Always deploy as preview** (not production) unless the user explicitly asks for production.
>
>
Applies the project's commit message convention. Use when writing commit messages, making git commits, or summarizing changes.
Solve one assignment problem file using a single endpoint with two logical tracks: (A) Math/Physics PDF problem solving (lecture slides/lecture notes as ground truth) and (B) code artifact generation. Save a final answer with detailed explanation next to the problem file.
>
>
Fast semantic code navigation via LSP. Load FIRST before ANY code task - even 'simple' ones. Trigger scenarios: (1) fixing lint/type/pyright/mypy warnings or errors, (2) fixing reportAny/reportUnknownType/Any type errors, (3) adding type annotations, (4) refactoring or modifying code, (5) finding where a function/class/symbol is defined, (6) finding where a symbol is used/referenced/imported, (7) understanding what a function calls or what calls it, (8) exploring unfamiliar code or understanding architecture, (9) renaming symbols across codebase, (10) finding interface/protocol implementations, (11) ANY task where you'd use ripgrep to find code or read-file to view a function. Use `leta show SYMBOL` instead of read-file, `leta refs SYMBOL` instead of ripgrep for usages, `leta grep PATTERN` instead of ripgrep for definitions, `leta files` instead of list-directory.
>
>
Use when validating beamHO-bench changes, deciding which project gates to run, preparing SDD closure, or checking whether lifecycle docs and manual acceptance evidence are sufficient before marking work complete.
Use when ntn-sim-core phase/group prompt packs, todo status, or group sequencing need updating so the repo keeps an accurate handoff surface for future agents.
Generates high-quality, predictable, and efficient .agent/skills/ directories based on user requirements. Reference this at any time you are creating any other skill for Antigravity.
Use when ntn-sim-core changes need validation planning or phase-completion verification, to map the current scope to the correct validation gates, scripts, blockers, and evidence requirements.
Workspace-first GrepAI search workflow for programming agents (v0.34+): project-scoped semantic search, token-efficient output, and reliable fallbacks.
Rebase the current branch onto origin/main, resolve conflicts carefully, validate, and commit.
>