Developer Tools & Repos Agent Skills for ChatGPT

Lavarage Protocol — leveraged trading on Solana for any SPL token.

Build VS Code extensions from scratch or convert existing JS/React/Vue apps.

Go application architecture with net/http 1.22+ routing, project structure patterns, graceful shutdown, and dependency injection.

Interface with Lean 4 proof assistant for formal theorem verification

Post-debugging knowledge extraction — captures non-obvious, codebase-specific learnings that pass quality gates.

This skill should be used when working with NWConnection patterns for iOS 12-25, supporting apps that can't use async/await yet, or…

Refactor legacy codebases, migrate outdated frameworks, and implement gradual modernization.

Algorithm-first discipline: state Big-O, data structure, and algorithm family BEFORE writing loops, queries, or recursion.

Build user interfaces using Lemur UI framework.

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

This skill should be used when building perpetual trading bots, implementing leverage functionality, or adding position management.

Expert skill for generating and hand-writing lexers using DFA-based, table-driven, and recursive approaches

Full autonomous research workflow — brainstorm, plan, implement, review, and document

Set up local development workflow for testing Lindy AI agent integrations.

Reference architectures for Lindy AI agent integrations.

Normalize line endings for cross-platform file handling with CRLF/LF conversion and git configuration.

Handle Linear API rate limiting, complexity budgets, and quotas.

Production-grade Linear integration architecture patterns.

TypeScript/JavaScript SDK patterns and best practices for Linear.

Convert human-written CLAUDE.md into AI-native structured-label format.

Expert guidance for building modern Android UIs with Jetpack Compose, covering state management, navigation, performance, and Material…