Use the @layla-network/sdk package in third-party Layla mini-apps and WebView apps. Covers the public API surface for creating a Layla client, OpenAI-shaped chat completions and…
Use when designing how a screen or flow is organized — what goes where, in what order, and how a user stays oriented.
LazyDocker is a terminal UI for Docker and Docker Compose that provides container management, log viewing, resource monitoring, and image inspection through a keyboard-driven…
Complete Better Auth documentation in markdown format. Use when implementing authentication in TypeScript projects - covers OAuth providers (Google, GitHub, etc.), email/password,…
Complete Motion.dev documentation - modern animation library for React, JavaScript, and Vue (formerly Framer Motion)
Deploy applications and manage projects with complete CLI reference. Commands for deployments, projects, domains, environment variables, and live documentation access.
Complete Zod validation library documentation. Use when working with Zod schema validation, TypeScript type inference, form validation, API validation, error handling, or data…
Use when agnt installed and user needs semantic code search, symbol lookup, or call-hierarchy analysis — points at sibling lci plugin.
Autonomous bug-elimination loop. Iteratively invokes /bug-hunt and /implement-batch until findings converge below an operator-specified severity floor.
Use for implementing features, writing production TypeScript/Langium code, code review guidance, and ensuring technical quality.
Multi-step calculator UI for Astro. Quote tools, pricing calculators. Uses astro-forms for backend.
Autonomous technical lead. Takes commander's intent and drives a project to completion through an OODA loop over implementation, refactoring, review, and bug-hunting skills.
Autonomous comprehensive refactoring. Three-phase pipeline — Phase 1 /refactor (tactical, loops internally to convergence) → Phase 2 loop of /review-arch + /implement-batch until…
Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas,…
Retrieval-augmented Lean4 proof generation. Queries 94k+ exemplars from DeepSeek-Prover V1+V2, uses hybrid search (BM25 + semantic + graph), generates via Claude, compiles in…
Activate the Leanchy protocol: execution discipline, diagnostic rigor, decision hygiene, and architecture principles.
Turns a learning intent or an intent to practice a skill into a personalized experience: asks 3 questions (topic, familiarity, modality), searches the catalog, delivers the right…
Extracts reusable skills and decision-making heuristics from debugging sessions. Use after solving tricky bugs, discovering non-obvious workarounds, or finding hidden gotchas…
Document learning insights and activities to Supabase with proper categorization, formatting, and retrieval patterns
Automates creation of interactive language learning games including vocabulary flashcards, song-based games, and multi-level learning systems.
Automates creation of interactive language learning games including vocabulary flashcards, song-based games, and multi-level learning systems.
Guides users through designing a pedagogical agent (learning mascot) for their intelligent textbook, generating AI image prompts, and implementing the mascot using inline images,…
Capture project-scoped learning notes, technologies, concepts, glossary terms, architecture decisions, implementation lessons, and review questions into a durable Markdown…
Implicit feedback scoring, confidence decay, and anti-pattern detection. Use when understanding how the swarm plugin learns from outcomes, implementing learning loops, or…
Expert in lease surrender agreements where landlord and tenant mutually agree to terminate the lease before expiry.
Use lebop CLI for any Linear interaction (read/write issues, projects, comments, links, GraphQL escape hatch).
The single source of truth for ledgerlift architecture, repo layout, primary stack, and project-wide conventions. Use when an agent needs orientation before any non-trivial work.
Interactive LeetCode-style teacher for technical interview preparation. Generates coding playgrounds with real product challenges, teaches patterns and techniques, supports…
Scans Rust code for edition-specific patterns and deprecated APIs, then migrates to a target edition (2015 → 2018 → 2021 → 2024) or updates breaking crate API changes (tokio 0.x →…
Use when maintaining Android apps that load local or remote web assets in WebView and connect them to native behavior through JavaScript bridges, permissions, or device APIs.
Expert system for identifying deprecated patterns, suggesting refactoring to modern standards (Python 3.12+, ES2024+), checking test coverage, and leveraging AI-powered tools.
Produces comprehensive summaries and insights about legacy codebases to help understand unfamiliar code.
Methodological guide for the AI Agent to safely and systematically translate, refactor, and modernize giant legacy codebases (PHP, Python 2, old React) into modern stacks.
Investigate unfamiliar legacy code before edits. Triggers: legacy module, unknown repo, risky refactor, trace ownership. Triggers:
Use when maintaining ASP.NET Web Forms, .NET Framework, code-behind pages, ViewState, postback events, Web.config, IIS, or old enterprise .NET web apps.
Analyze a complete IBM i call chain — one business transaction end-to-end across all programs it touches.
Use when maintaining legacy Java Spring MVC, JSP, Servlet, MyBatis, WAR deployment, XML config, or server-rendered Java web applications.
Refactor legacy codebases, migrate outdated frameworks, and implement gradual modernization. Handles technical debt, dependency updates, and backward compatibility.
Expert in migrating monolithic, legacy systems to modern architectures using patterns like Strangler Fig, CDC, and Anti-Corruption Layers.
Use when maintaining legacy PHP/LAMP applications with include files, sessions, mixed HTML/PHP pages, direct SQL, globals, form posts, or shared hosting constraints.
Use when changing legacy code that may affect global state, shared CSS/JS, common selectors, templates, forms, API contracts, build output, or deployment behavior.
指导将 JS + jQuery + HTML 传统前端项目迁移至 React + TypeScript 或 Vue 3 + TypeScript 的迁移策略、概念映射、分阶段步骤和检查清单。含图片、样式、功能等价等重构实施要求。当用户提到技术栈升级、jQuery 迁移、MPA 转 SPA、项目重构、遗留项目迁移为 React/Vue 时自动激活。
针对 JavaScript + jQuery + HTML/CSS 传统前端项目的开发与维护规范。当用户在非框架项目中工作，涉及 jQuery、原生 JS、传统多页面应用（MPA）、模板引擎渲染页面、或维护遗留代码时自动激活。
Framework for demonstrating AI capabilities in legal contexts. Provides detailed personas across tenant law, business contracts, startup disputes, employment claims, and — from…
生成专业的法律结构可视化图，输出为自包含 HTML 文件（内嵌 SVG，浅色主题，适合打印和嵌入文档）。适用场景：(1) 用户要求"画结构图""生成可视化""做流程图""法律图示"时；(2) 涉及诉讼推理结构（当事人→证据→事实→法律→判决）；(3) 合同关系图（甲乙方权利义务、履约节点、违约责任）；(4) 法规程序图（申请→审查→决定→救济）；(5)…
Produces properly-formatted legal documents in Word (.docx). The user provides the substantive content (instructions, attached files, project knowledge); the skill handles…
Produces properly-formatted legal documents in Word (.docx). The user provides the substantive content (instructions, attached files, project knowledge); the skill handles…
Skill di assistenza per tutti i documenti, configurazioni e adempimenti legali/operativi necessari per portare CalendarBackup-v2 in produzione commerciale con clienti UE.
Framework for demonstrating AI capabilities in legal contexts. Provides detailed personas across tenant law, business contracts, startup disputes, employment claims, and — from…
Builds a high-fidelity interactive legal assessment as a single self-contained HTML artifact. Output includes a live countdown timer, contract review tasks with hover-ann — from…
Validate maintainer docs structure, standards freshness, manifest paths, and plan state. Run this after modifying any file under .agents/docs/standards/, .agents/docs/plans/,…
Obtains a Legit JWT for APEX/Sogo API by building a JWS compatible with Etna AMS JwtFactory and POSTing to the Legit token endpoint.
Decision framework for choosing between consent and legitimate interest as the lawful basis for processing.
Guides the three-part Legitimate Interest Assessment (LIA) required under GDPR Article 6(1)(f): purpose test, necessity test, and balancing test.
GDPR Legitimate Interest Assessment (LIA) — Guided assessment for Art. 6(1)(f) GDPR using the EDPB three-step test.
Use when apply Leiden clustering after constructing a k-nearest neighbor (kNN) graph from single-cell expression data when you need to partition cells into discrete, biologically…
Load when working with KapanRouter instructions, UTXO tracking, flash loan flows, or debugging transaction failures
Stack lens para PHP. Use durante Discovery quando composer.json for detectado. Cobre Laravel, Symfony, Slim, Hyperf, Laminas, raw PHP.
Stack lens para Python. Use durante Discovery quando pyproject.toml, setup.py ou requirements.txt for detectado.
Run Python code in lesson context with proper uv and venv handling for agent-spike project. Activate when user wants to run tests, demos, or CLI commands for lessons in lessons/…