1. Software Development

Automates filling 'sorry' placeholders in Lean files using the Aristotle theorem prover, handling API setup and result verification.

Manages database schema changes, history tracking, and rollbacks using Alembic for consistent database evolution in software projects.

Defines a standard iterative app development process covering foundation, design, implementation, testing, and continuous improvement cycles.

Provides expert analysis and evidence-based recommendations for optimizing Python test suites, coverage, and debugging processes.

Provides implementation guidelines for generalizable solutions in the penguiflow library, covering core code modifications, feature additions, and bug fixes.

Expert guidance for uv, a fast Python package manager, covering dependency management, project setup, and virtual environments.

Expert assistance for building native GUI applications using the Slint toolkit, covering Rust integration, component design, and cross-platform deployment.

Guides testing architecture and best practices for Flare Stack Blog tests using Vitest and Cloudflare Workers, covering writing, debugging, and refactoring.

Expert guidance for building stateful, multi-actor LLM applications using LangGraph, including node-based workflows and state management.

Guides VSCode extension development from setup to publishing using official tools and documentation.

Automates full-stack app skeleton generation using FastAPI, React, and PostgreSQL.

Reviews code changes for bugs, style issues, and best practices, ensuring quality in pull requests and pre-commit validation.

Guides development of Rust command-line interfaces (CLI) and terminal user interfaces (TUI) using clap, inquire, and ratatui libraries.

Provides frontend development patterns for Flare Stack Blog, including TanStack Query data fetching, route loaders, infinite scroll, and UI component organization.

Provides a clear overview of Flare Stack Blog's project structure, tech stack, routing layers, and directory organization for developers.

Guides creation of MCP servers enabling LLMs to interact with external services via Python (FastMCP) or Node/TypeScript (MCP SDK).

Enables rigorous code review workflows including feedback analysis, review requests, and evidence-based verification to prevent premature completion claims.

Provides backend development patterns for the Flare Stack Blog, including feature modules, server functions, Zod schemas, and Cloudflare Workflows implementation.

Assists in migrating Swift code to Swift 6 with strict concurrency features, resolving Sendable errors, implementing actor isolation, and fixing data race warnings.

Creates and manages Claude Code Agent Skills using git submodules, sparse-checkout, and SKILL.md configuration following development best practices.

Provides implementation guidance for voice input features in iOS apps using SFSpeechRecognizer, AVAudioSession, and microphone permissions for SwiftUI on iOS 17+.

Builds and optimizes backend systems using modern frameworks, databases, and DevOps practices for scalable and secure applications.

Expert guidance for implementing and troubleshooting Python logging with structlog and standard logging libraries, including source code analysis.

Provides implementation guidance for MapKit features in iOS SwiftUI applications, including map views, location tracking, routing, and geocoding.