1. Software Development

Enforces mandatory verification steps in code reviews to minimize false positives before reporting findings.

Reviews LangGraph code for bugs, anti-patterns, and improvements in state management and graph structure.

Reviews Deep Agents code for bugs, anti-patterns, and improvements, covering create_deep_agent, backends, subagents, and middleware patterns.

Reviews App Intents code for correct intent structure, entities, shortcuts, and parameters in Apple's App Intents framework.

Reviews React Router v6.4+ code for proper data loading, mutations, error handling, and navigation patterns.

Reviews BubbleTea terminal UI code for Elm architecture patterns and Lipgloss styling compliance.

Provides a structured schema for logging and analyzing code review outcomes to drive continuous improvement in development practices.

Reviews Swift code using the Combine framework for memory leaks, operator misuse, and error handling.

Reviews PostgreSQL code for indexing strategies, JSONB operations, connection pooling, and transaction safety to ensure optimal database performance and correctness.

Reviews SQLAlchemy 2.0 code for session management, relationship patterns, N+1 queries, and Alembic migration best practices.

Vercel AI SDK for building streaming AI chat interfaces with React, featuring hooks and utilities for chat state management and response handling.

Reviews pytest test code for async patterns, fixture usage, parametrization, and mocking to ensure test quality.

Guides architectural decisions for Deep Agents applications, including agent vs alternative comparisons, backend strategies, subagent design, and middleware selection.

Provides best practices for data-driven routing in React applications using React Router v7, including loaders, actions, and protected routes.

Reviews FastAPI applications for routing, dependency injection, validation, and async handler implementation.

Reviews Wish SSH server code for proper middleware, session handling, and security patterns.

Scores code implementations across repositories on functionality, security, test quality, overengineering, and dead code using LLM-powered weighted rubrics.

Automates creation and updating of pull requests for code review, streamlining collaborative development in version control systems.

A tool to streamline Git operations including commits, amending, and branching, replacing raw git commands with git-spice.

Provides terminal-based TUI components for building interactive displays like calendars and flight bookings.

Implements semantic theories in Python using Z3 with Test-Driven Development (TDD) for robust code generation and verification.

Executes general software implementation tasks based on a predefined plan, specifically for non-Lean development work.

Provides step-by-step guidance for iOS app development, signing, testing, and App Store submission (China region), covering App Store Connect, privacy compliance, and subscription configurations.

Guides iOS app development, signing, testing, and App Store submission (China region) including privacy compliance and subscription configuration.