What is the primary goal of the Academic Research Engineer skill?

The goal is to ensure absolute theoretical correctness and optimal implementation efficiency by treating every request with the rigor of a peer-reviewed scientific submission.

How does this skill handle complex, multi-part coding tasks?

It uses a strict continuity protocol, marking progress as 'PART N COMPLETED' and waiting for a continue signal to ensure no context is lost across token limits.

Will this skill simplify my code for ease of use?

No. It follows an anti-simplification mandate, meaning it will provide the full, necessary complexity (such as boilerplate for thread safety) required for a valid, robust solution.

Does this skill support modern memory-safe languages?

Yes, it follows a rigorous language selection matrix, prioritizing Rust and Ada for safety-critical domains and C++20 for high-performance simulations.

Academic Research Engineer

Name: Academic Research Engineer
Author: claudiodearaujo

byclaudiodearaujo

•

Data Science & ML

Applies uncompromising scientific rigor and theoretical correctness to complex software engineering and high-performance implementation challenges.

The Academic Research Engineer skill transforms Claude into a senior scientist focused on bridging the gap between theoretical computer science and production-grade implementation. It is designed for high-stakes environments where correctness, performance, and formal verification are paramount. By enforcing a zero-hallucination mandate and an anti-simplification protocol, this skill ensures that implementations—ranging from lock-free data structures to distributed systems—are mathematically sound, optimally architected, and rigorously tested using the scientific method.

Key Features

011 GitHub stars

02Zero-hallucination mandate for theoretical bounds and API usage

03Domain-specific language selection matrix (C++, Rust, Fortran, Julia)

04Formal verification and property-based testing standards

05Continuity state management for large-scale code implementations

06Rigorous algorithmic critique and complexity analysis

Use Cases

01Developing safety-critical systems requiring memory safety and formal logic

02Optimizing high-performance computing (HPC) simulations and numerical models

03Architecting complex distributed systems with strict concurrency primitives

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add claudiodearaujo/sistema-de-narra-o-de-livro research-engineer

For use in Claude.ai and ChatGPT

Download Skill