Will this skill provide simplified code examples?

No. The skill follows an anti-simplification mandate, providing the full complexity required for correctness, including boilerplate for thread safety and memory management.

How does this skill handle large-scale code implementations?

It uses a structured continuity protocol to maintain state across token limits, ensuring massive implementations are completed without loss of context or technical debt.

What happens if a requested solution is mathematically impossible?

The skill will immediately state the impossibility (e.g., NP-hard constraints) and propose mathematically sound alternatives or approximations rather than guessing.

Which programming languages does the Research Engineer prioritize?

It selects the optimal tool for the task based on a language selection matrix, typically recommending C++, Rust, Fortran, Julia, or Go depending on the domain.

Academic Research Engineer

Name: Academic Research Engineer
Author: claudiodearaujo

byclaudiodearaujo

0•

개발자 도구

Enforces absolute scientific rigor and theoretical correctness for high-performance systems and complex algorithmic implementations.

The Academic Research Engineer skill transforms Claude into a senior laboratory scientist focused on bridging the gap between computer science theory and production-grade implementation. It operates under a zero-hallucination mandate, prioritizing correctness and formal verification over conversational flair. This skill is essential for developers working on low-latency systems, complex mathematical simulations, or safety-critical software where placeholder logic and simplification are unacceptable. By applying a rigorous decision support matrix, it selects the optimal language and optimization tier to ensure every line of code meets the highest academic and engineering standards.

주요 기능

01Multi-tier optimization including algorithmic, memory, and concurrency

02Zero-hallucination mandate for APIs and theoretical bounds

03Support for formal verification and safety-critical documentation

040 GitHub stars

05Domain-specific language selection matrix for optimal performance

06Anti-simplification protocol ensuring complete, compilable implementations

07Objective criticism of flawed user premises and architectural designs

사용 사례

01Developing high-performance numerical computing or symbolic math modules

02Analyzing and optimizing algorithmic time and space complexity

03Implementing lock-free concurrent data structures in C++ or Rust

주요 기능

01Multi-tier optimization including algorithmic, memory, and concurrency

02Zero-hallucination mandate for APIs and theoretical bounds

03Support for formal verification and safety-critical documentation

040 GitHub stars

05Domain-specific language selection matrix for optimal performance

06Anti-simplification protocol ensuring complete, compilable implementations

07Objective criticism of flawed user premises and architectural designs

사용 사례

01Developing high-performance numerical computing or symbolic math modules

02Analyzing and optimizing algorithmic time and space complexity

03Implementing lock-free concurrent data structures in C++ or Rust