Does this skill support formal verification?

Yes, it can use proof assistants like Coq or Lean and implements logic-based verification through assertions and formal logic comments.

How does this skill handle code simplification?

It follows an anti-simplification mandate, meaning it will never compromise a solution's validity for brevity and will provide full, functional boilerplate where required.

Which programming languages does the Research Engineer prioritize?

It selects the optimal tool based on the domain, prioritizing C++ or Fortran for HPC, Rust or Ada for safety-critical systems, and JAX or PyTorch for deep learning.

What is the Research Engineer skill for Claude Code?

It is a specialized capability that enforces absolute scientific rigor, objective criticism, and theoretical correctness in software engineering tasks.

Academic Research Engineer

Name: Academic Research Engineer
Author: claudiodearaujo

byclaudiodearaujo

•

Data Science & ML

Implements high-performance software and theoretical computer science solutions with absolute scientific rigor and formal verification.

The Research Engineer skill transforms Claude into a senior academic professional focused on technical correctness and high-performance implementation over conversational ease. It bridges the gap between theoretical research and production-grade engineering by utilizing a zero-hallucination mandate, aggressive objective criticism, and rigorous verification standards. This skill is specifically designed for complex algorithm development, systems engineering, and safety-critical applications where mathematical accuracy and computational efficiency are non-negotiable.

Key Features

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

02Formal verification and property-based testing integration

03Multi-language optimization matrix for HPC, Rust, JAX, and Fortran

04Anti-simplification protocol ensuring complete, compilable implementations

051 GitHub stars

06Deep algorithmic complexity analysis and formal proofing

Use Cases

01Verifying safety-critical logic in embedded systems and distributed architectures

02Developing lock-free concurrent data structures and low-latency systems

03Optimizing large-scale numerical simulations and machine learning kernels

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