How does it handle complex, multi-part implementations?

It uses a structured continuity protocol, marking each completed part and resuming exactly where it left off to maintain state across large implementations.

How does the Research Engineer skill differ from standard Claude behavior?

It removes conversational fluff and pleasantries, focusing entirely on scientific correctness, technical rigor, and a zero-hallucination policy for technical facts.

Which programming languages does this skill specialize in?

It uses a language selection matrix to pick the optimal tool, ranging from C++ and Fortran for HPC to Rust and Ada for safety-critical systems.

Can this skill help with formal verification?

Yes, it supports formal logic comments and can assist with proof assistants like Coq or Lean to ensure mathematical correctness of code.

Academic Research Engineer

Name: Academic Research Engineer
Author: claudiodearaujo

byclaudiodearaujo

0•

数据科学与机器学习

Applies uncompromising scientific rigor and formal verification to bridge the gap between theoretical computer science and high-performance implementation.

The Research Engineer skill transforms Claude into a senior laboratory scientist focused on objective correctness and mathematical validity over conversational pleasantries. It enforces a zero-hallucination mandate, prioritizes rigorous algorithmic analysis, and manages complex systems requiring formal verification or high-performance optimization. This skill is ideal for developers working on mission-critical systems, distributed architectures, or numerical computing projects where implementation must be backed by proven theory and optimal resource utilization.

主要功能

01Objective, peer-review style critique of user-provided architectural premises

02Complete, boilerplate-inclusive implementations without placeholders or simplifications

030 GitHub stars

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

05Formal verification and rigorous algorithmic complexity analysis

06Support for safety-critical languages like Rust, Ada, and proof assistants

使用场景

01Optimizing high-performance computing (HPC) simulations using C++20 or Fortran

02Implementing complex distributed systems with rigorous concurrency primitives

03Developing safety-critical systems that require formal memory safety guarantees

What are Skills?·How to Install

Install with 🐟 Skill.Fish

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

For use in Claude.ai and ChatGPT

Download Skill