operational-semantics-builder
Define and test operational semantics specifications for programming languages
Define and test operational semantics specifications for programming languages
Manage benchmarks for algorithm engineering experiments and evaluations
Configure Internal Developer Platform (IDP) components
Expert skill for LLVM integration including IR generation, optimization passes, and native code emission
Provide number theory algorithm implementations and guidance
Solve general nonlinear optimization problems
Comprehensive graph algorithms implementation
Solve convex optimization problems efficiently
Zero-knowledge circuit development using Circom and Noir languages. Supports constraint optimization, ZK-friendly cryptographic primitives, proof generation (Groth16, PLONK), and Merkle tree implementations.
Suggest and guide application of refactoring patterns to improve code quality
Conditional edge routing and state-based transitions for LangGraph workflows
Migrate UI components between frameworks with structure, state, and style transformation
Cross-browser and cross-device testing using BrowserStack or Sauce Labs
Precision CSS/styling modifications for pixel-perfect adjustments with Tailwind, CSS Modules, and plain CSS support
Image formats, responsive images, lazy loading, and CDN integration.
Specialized skill for React component development, hooks patterns, state management, context API, performance optimization, and modern React best practices.
Deep expertise in React hooks patterns including custom hooks, composition, optimization, and testing strategies.
Redux Toolkit patterns including slice creation, async thunks, RTK Query, state normalization, and DevTools integration.