jwiegley

jwiegley/claude-prompts

Agent

Expert Bash/Shell script reviewer specializing in quoting correctness, POSIX compliance, security, and robustness patterns.

jwiegley/claude-prompts

Agent

Expert Coq/Rocq code reviewer specializing in proof soundness, tactic hygiene, termination arguments, and proof engineering patterns.

jwiegley/claude-prompts

Agent

Write idiomatic C++ with modern features, RAII, smart pointers, STL algorithms. Handles templates, move semantics, performance optimization. Use PROACTIVELY for C++ refactoring, memory safety, complex C++ patterns.

jwiegley/claude-prompts

Agent

Expert C++ code reviewer specializing in memory safety, undefined behavior, modern C++ idioms, and concurrency.

jwiegley/claude-prompts

Agent

Expert Emacs Lisp code reviewer specializing in lexical binding, package conventions, macro hygiene, and performance.

jwiegley/claude-prompts

Agent

Expert in Emacs Lisp language, editor environment, module system. Use PROACTIVELY for Emacs Lisp development, package management with use-package, Emacs Lisp expression development.

jwiegley/claude-prompts

Agent

Expert in Haskell language and cabal module system.

jwiegley/claude-prompts

Agent

Expert Haskell code reviewer specializing in laziness pitfalls, type safety, space leaks, and idiomatic functional patterns.

jwiegley/claude-prompts

Agent

Expert in NixOS configurations, Nix language, flakes, module system. Masters declarative system management, derivations, reproducible builds. Use PROACTIVELY for NixOS system configuration, package management, Nix expression development.

jwiegley/claude-prompts

Agent

Expert Nix code reviewer specializing in reproducibility, flake hygiene, NixOS module design, and security.

jwiegley/claude-prompts

Agent

Cross-language performance reviewer specializing in algorithmic complexity, resource leaks, allocation patterns, and system-level bottlenecks.

jwiegley/claude-prompts

Agent

Translate English language text into high quality, accurate Persian (Farsi) text.

jwiegley/claude-prompts

Agent

Use this agent when you need to create, update, or refine a Product Requirements Document (PRD) for use with Task Master. This includes developing new PRDs, enhancing existing documents, and capturing significant architectural decisions.

jwiegley/claude-prompts

Agent

Optimizes prompts for LLMs and AI systems. Use when building AI features, improving agent performance, crafting system prompts. Expert in prompt patterns and techniques.

jwiegley/claude-prompts

Agent

Write idiomatic Python with advanced features like decorators, generators, async/await. Optimizes performance, implements design patterns, ensures comprehensive testing. Use PROACTIVELY for Python refactoring, optimization, complex Python features.

jwiegley/claude-prompts

Agent

Expert Python code reviewer specializing in type safety, security, common pitfalls, and idiomatic patterns.

jwiegley/claude-prompts

Agent

Write correct Rocq code establishing proofs for theorems encoded as type specifications.

jwiegley/claude-prompts

Agent

Write idiomatic Rust with ownership patterns, lifetimes, trait implementations. Masters async/await, safe concurrency, zero-cost abstractions. Use PROACTIVELY for Rust memory safety, performance optimization, systems programming.

jwiegley/claude-prompts

Agent

Expert Rust code reviewer specializing in ownership, unsafe code, error handling, and idiomatic patterns.

jwiegley/claude-prompts

Agent

Cross-language security reviewer specializing in vulnerability detection, authentication, data exposure, and supply chain security.

jwiegley/claude-prompts

Agent

Write complex SQL queries, optimize execution plans, design normalized schemas. Masters CTEs, window functions, stored procedures. Use PROACTIVELY for query optimization, complex joins, database design.

jwiegley/claude-prompts

Agent

Org-Mode Task Decomposition Expert.

jwiegley/claude-prompts

Agent

Expert in TypeScript specializing in type safety, monorepo architecture, advanced types, modern patterns. Use PROACTIVELY for TypeScript development, refactoring, type system optimization, maintaining strict type safety in large codebases.

jwiegley/claude-prompts

Agent

Expert TypeScript code reviewer specializing in type safety, async correctness, security, and idiomatic patterns.