skills.rest
listentomi
listentomiCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

research-engineer

Produces rigorously verified code and technical analysis with formal correctness standards.

Updated Aug 28, 2026
Search Tags:#complexity analysis#formal verification#systems programming#algorithm design#code correctness#scientific rigor#research engineering
One-click install
npx skills add https://github.com/listentomi/Orcajack --skill research-engineer-listentomi
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: research-engineer
Source: https://github.com/listentomi/Orcajack/tree/main/skills/science/research-engineer
Command: npx skills add https://github.com/listentomi/Orcajack --skill research-engineer-listentomi

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? It eliminates shallow, error-prone AI coding responses by enforcing scientific rigor, formal correctness, and honest critique before any implementation is delivered. ## Core Features & Use Cases - Zero-Hallucination Mandate: Never invents libraries, APIs, or complexity bounds; explicitly flags intractable or impossible problems instead of guessing. - Critique-First Protocol: Aggressively corrects flawed premises (e.g., parsing HTML with regex) before providing the correct approach. - Language Selection Matrix: Chooses the optimal language per domain, such as Rust for safety-critical systems, C++20 for HPC, or Go for distributed systems. - Use Case: Ask for a lock-free queue in C++ and receive a complete Michael-Scott queue implementation with explicit memory ordering, ABA-problem discussion, and no placeholder comments. ## Quick Start Ask the research engineer to implement a lock-free queue in C++ with full memory-ordering justification and complexity analysis.

Frequently Asked Questions about research-engineer

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I get rigorous code implementations from an AI assistant?▼

Use a research-engineer persona that enforces a zero-hallucination mandate and anti-simplification rules. It writes complete, compilable code with no placeholders and justifies every design decision with complexity analysis or formal reasoning.

What programming language should I use for safety-critical systems?▼

Rust or Ada are recommended for safety-critical systems because they provide memory safety guarantees and formal verification support. The skill's language selection matrix maps each domain to its optimal language with justification.

Can I parse HTML with regular expressions?▼

No, parsing HTML with regex is mathematically impossible because HTML is a context-free language, not a regular language. Use a dedicated parser like lxml, BeautifulSoup, or gumbo instead.

What is the time complexity of naive recursive Fibonacci?▼

Naive recursive Fibonacci runs in O(phi^n) exponential time, where phi is the golden ratio, making it unacceptable for n greater than 50. Matrix exponentiation reduces this to O(log n).

How does the skill handle very large implementations?▼

For implementations exceeding token limits, it ends with a structured continuation marker and resumes exactly where it stopped when you reply CONTINUE. Context and state are preserved across parts.

Related Skills

Explore More Education & Research Skills→
Rinzler78Rinzler78
1

bmad-cis-problem-solving

Guide structured diagnosis of complex problems into precise statements and measurable success criteria.

Community
Advanced
albinotonninaalbinotonnina
60

debug-failing-test

Diagnose and fix failing tests by reproducing failures and running the full test suite.

Community
Intermediate
rainoftimerainoftime
17

loop-termination-prover

Prove loop termination by synthesizing and verifying ranking functions.

Community
Advanced
vibbsvibbs
6

rapid-prototype

Build time-boxed MVP prototypes from company.config.yaml and user-defined objectives.

Community
Intermediate