Developer Tools & Repos Agent Skills for Microsoft Copilot

Write, refactor, and review Rails code using layered architecture principles from "Layered Design for Ruby on Rails Applications".

Implement lazy loading patterns for images, components, and routes

Code splitting and lazy loading with React.lazy, Suspense, route-based splitting, intersection observer, and preload strategies for…

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build…

Code search via LeanKG MCP when HTTP :9699 is healthy; otherwise skip LeanKG and use default Grep/Glob/Read.

Spatial storytelling and flow specialist - Masters layout theory, pacing architecture, encounter design, and environmental narrative…

You MUST use this before any creative work — creating features, building components, adding functionality, or modifying behavior.

Use when starting feature work that needs a branch, creating worktrees for isolation, making atomic commits during development, or…

Audits Dart and Flutter package dependency licenses using the Very Good CLI packages_check_licenses MCP tool, flags non-compliant or…

Provides comprehensive guidance for Lime ECharts including chart creation, configuration, data visualization, and interactive charts.

Lindy integration patterns for webhook handling, HTTP actions, and

Manage Lindy AI credits, rate limits, and usage optimization.

Configure Lindy AI webhook triggers, callback patterns, and event handling.

Automate Ably tasks via Rube MCP (Composio).

Design spec with 98 rules for building CLI tools that AI agents can safely use.

Tools are how AI agents interact with the world.

Build AI phone agents with AgentPhone API.

Build real-time chat applications with thread management, messaging, participants, and read receipts.

Azure Communication Services common utilities for Java.

To provide a comprehensive reference for configuring and using Claude Code (the agentic coding tool) to its full potential.

This skill embodies the principles of \"Clean Code\" by Robert C.