Developer Tools & Repos Agent Skills for Claude Desktop

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…

Complete guide for Light Protocol on Solana - includes ZK Compression for rent-free compressed tokens and PDAs using zero-knowledge…

This skill analyzes code for design quality improvements across 8 dimensions: Naming, Object Calisthenics, Coupling & Cohesion…

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.

Manage Lindy agent configuration changes, platform updates, and migrations.

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.