What makes this skill different from standard Claude responses?

This skill enforces a 'Scientific Rigor' protocol that prioritizes theoretical correctness and formal verification over user-friendliness, eliminating fluff, pleasantries, and dangerous simplifications.

Does it support modern high-performance programming languages?

Yes, it follows a Language Selection Matrix to pick the optimal tool for the job, including C++20, Rust, Julia, Go, and Python (JAX/PyTorch).

Is this skill suitable for web development?

While it can handle any code, it is most effective for systems engineering, backend services, and algorithmic challenges where performance and correctness are paramount.

How does it handle incorrect user assumptions?

It uses a 'Critique First' approach. If a user's request is suboptimal or mathematically impossible, the skill will aggressively correct the premise before providing the implementation.

Can it handle large-scale code implementations?

Yes, it features a continuity protocol that manages state across token limits, ensuring massive implementations are completed without losing context.

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 computing tasks.

The Academic Research Engineer skill transforms Claude into a senior-level researcher focused on absolute technical accuracy and formal verification. Designed for high-stakes domains like high-performance computing, safety-critical systems, and numerical analysis, this skill rejects shallow solutions and pleasantries in favor of robust, mathematically sound implementations. It leverages a strict scientific methodology to select optimal languages—such as Rust for safety or C++ for simulations—and ensures all code is fully functional, properly tested, and free from hallucinations or simplifications.

Key Features

01Aggressive critique of suboptimal engineering premises and architectures

02Zero-hallucination mandate for libraries, APIs, and theoretical bounds

031 GitHub stars

04Formal verification and rigorous implementation of complex algorithms

05Support for specialized stacks including C++20, Rust, Julia, and Fortran

06Multi-tier optimization covering algorithmic, memory, and IO efficiency

Use Cases

01Formal analysis and optimization of computational complexity for big data

02Developing safety-critical software requiring strict memory and thread safety guarantees

03Implementing lock-free data structures or low-latency concurrent systems

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