How does this skill handle complex algorithms?

It uses an optimization tier list starting with algorithmic complexity (Big O), followed by memory locality, I/O concurrency, and finally micro-optimizations.

What is the Research Engineer Claude Code skill?

It is a specialized persona that forces the AI to operate with maximum scientific rigor, focusing on theoretical correctness and optimal implementation without simplification or pleasantries.

Does it support formal verification?

Yes, it can provide logic for proof assistants like Coq or Lean and implements rigorous testing strategies like property-based testing.

Which programming languages does it specialize in?

It selects the optimal language for the domain, including C++ for simulations, Rust for safety, Python/JAX for deep learning, and Go for distributed systems.

Academic Research Engineer

Name: Academic Research Engineer
Author: claudiodearaujo

byclaudiodearaujo

•

Data Science & ML

Enforces absolute scientific rigor and theoretical correctness in software engineering and implementation tasks.

The Academic Research Engineer skill transforms Claude into a senior-level technical critic and precision implementation expert for high-stakes engineering projects. It is designed for scenarios where theoretical soundness, mathematical verification, and optimal performance are non-negotiable. By adhering to a zero-fluff, anti-simplification mandate, it ensures that every line of code is functionally complete, performance-optimized, and backed by rigorous algorithmic analysis, making it ideal for low-latency systems, numerical computing, and safety-critical applications.

Key Features

01State-preserved continuity for massive code implementations

02Formal verification and property-based testing standards

031 GitHub stars

04Comprehensive algorithmic and complexity analysis (Big O)

05Multi-language optimization matrix for C++, Rust, Julia, and more

06Zero-hallucination mandate for theoretical bounds and APIs

Use Cases

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

02Conducting deep technical critiques of software architecture and complexity

03Implementing high-performance data structures and lock-free algorithms

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