1. Software Development

Resolves memory layout issues for Lean 4 constructors with mixed object/scalar fields in FFI bindings, preventing assertion failures and data corruption.

Generates structured implementation plans for multi-step development tasks based on requirements, guiding code creation without writing code.

Ensures code is verified with test outputs before claiming completion, preventing premature commits or PRs by requiring evidence of success.

Builds headless data tables with server-side pagination, filtering, and sorting for large datasets using TanStack Table v8 and Cloudflare D1.

Fixes universe level mismatch errors in Lean 4 when using Reactive.Event or Reactive.Dynamic types in Afferent/Canopy widgets via namespace adjustments.

Manages localization keys for user-facing text, enabling multi-language support in applications.

Provides best practices for React and Next.js development, emphasizing performance, bundle optimization, data fetching, and component refactoring.

Provides development workflow assistance for .NET 8 C# WPF projects, handling builds, testing, and NuGet package management.

Debugs Outfitter Stack issues including Result handling, MCP, CLI output, exit codes, and logging.

Provides direct access to library source code for in-depth analysis of implementation details, edge cases, and coding patterns beyond documentation.

Transforms UI mockups, Figma/Sketch designs, and wireframes into production-ready frontend code, including component libraries from design systems.

Guides development, debugging, and testing of Convex applications, covering backend patterns, data operations, and React integration.

Assists developers in critically evaluating code review feedback for technical accuracy before implementation, avoiding blind acceptance.

Provides guidance for implementing WPF MVVM pattern including views, view models, data bindings, commands, and converters for new UI components.

Assists in writing, running, and debugging .NET unit and integration tests using TDD methodology with xUnit and NUnit frameworks.

Tests same-frame event behavior in Reactive FRP libraries, ensuring combinators like zipE and mergeList fire simultaneously as expected.

Enforces multi-layer data validation across system boundaries to prevent failures from invalid input, making bugs structurally impossible.

Guides developers through final integration steps with structured options for merging, pull requests, and cleanup after successful implementation and testing.

A development practice where tests are written before code, ensuring they initially fail and minimal code passes them to verify behavior.

Generates conventional commit messages with type, scope, and description for Git commits, ensuring standardized version control communication.

Debugs visual rendering issues in X11-based graphical interfaces, including flickering, focus stealing, and layout glitches.

Pattern for safe concurrent updates to observable state, preventing lost events and stale state overwrites using atomic CAS and versioning.

Automates code quality checks for correctness, pattern adherence, and anti-pattern detection before commit, flagging external dependencies.

Utility for building validated forms with file uploads and error handling in Inertia.js Rails applications.