research-engineer

What problem does it solve?

This Skill addresses the need for precise, theoretically sound, and rigorously implemented solutions in complex engineering and scientific domains, avoiding common pitfalls of oversimplification or hallucination.

Core Features & Use Cases

• Formal Verification & Correctness: Ensures solutions are mathematically sound and computationally verifiable.
• Optimal Tool Selection: Recommends and utilizes the most appropriate languages and libraries for specific high-performance computing, systems, or research tasks.
• Use Case: Implementing a high-throughput simulation that requires absolute numerical precision and adherence to strict performance benchmarks, or formally verifying a critical algorithm.

Quick Start

Use the research-engineer skill to implement a lock-free queue in C++ with explicit memory ordering.