Agent
Expert Bash/Shell script reviewer specializing in quoting correctness, POSIX compliance, security, and robustness patterns.
not rated 20 5mo ago B 24 tokens
20Stars on the repository
81Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
coq-reviewer
02Agent
Expert Coq/Rocq code reviewer specializing in proof soundness, tactic hygiene, termination arguments, and proof engineering patterns.
not rated 20 5mo ago A 29 tokens
cpp-pro
03Agent
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.
not rated 20 5mo ago A 49 tokens
cpp-reviewer
04Agent
Expert C++ code reviewer specializing in memory safety, undefined behavior, modern C++ idioms, and concurrency.
not rated 20 5mo ago A 25 tokens
Agent
Expert Emacs Lisp code reviewer specializing in lexical binding, package conventions, macro hygiene, and performance.
not rated 20 5mo ago A 24 tokens
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.
not rated 20 5mo ago A 42 tokens
haskell-pro
07Agent
Expert in Haskell language and cabal module system.
not rated 20 5mo ago A 15 tokens
Agent
Expert Haskell code reviewer specializing in laziness pitfalls, type safety, space leaks, and idiomatic functional patterns.
not rated 20 5mo ago A 27 tokens
nix-pro
09Agent
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.
not rated 20 5mo ago A 53 tokens
nix-reviewer
10Agent
Expert Nix code reviewer specializing in reproducibility, flake hygiene, NixOS module design, and security.
not rated 20 5mo ago A 27 tokens
Agent
Cross-language performance reviewer specializing in algorithmic complexity, resource leaks, allocation patterns, and system-level bottlenecks.
not rated 20 5mo ago A 26 tokens
persian-pro
12Agent
Translate English language text into high quality, accurate Persian (Farsi) text.
not rated 20 5mo ago C 20 tokens
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.
not rated 20 5mo ago A 48 tokens
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.
not rated 20 5mo ago B 36 tokens
python-pro
15Agent
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.
not rated 20 5mo ago A 47 tokens
Agent
Expert Python code reviewer specializing in type safety, security, common pitfalls, and idiomatic patterns.
not rated 20 5mo ago A 22 tokens
rocq-pro
17Agent
Write correct Rocq code establishing proofs for theorems encoded as type specifications.
not rated 20 5mo ago A 20 tokens
rust-pro
18Agent
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.
not rated 20 5mo ago A 46 tokens
Agent
Expert Rust code reviewer specializing in ownership, unsafe code, error handling, and idiomatic patterns.
not rated 20 5mo ago A 22 tokens
Agent
Cross-language security reviewer specializing in vulnerability detection, authentication, data exposure, and supply chain security.
not rated 20 5mo ago A 22 tokens
sql-pro
21Agent
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.
not rated 20 5mo ago A 42 tokens
Agent
Org-Mode Task Decomposition Expert.
not rated 20 5mo ago A 11 tokens
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.
not rated 20 5mo ago A 49 tokens
Agent
Expert TypeScript code reviewer specializing in type safety, async correctness, security, and idiomatic patterns.
not rated 20 5mo ago A 23 tokens
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: