skills.rest
melikhanmutlu
melikhanmutluCOMMUNITY
Explore all skills by this author →
GitHub

research-engineer

Provide rigorous correctness-focused guidance for theoretical CS implementations.

Updated Dec 10, 2024
Search Tags:#high-performance#code-review#correctness#formal-verification#algorithm-design#research-engineer#theoretical-computer-science
One-click install
npx skills add https://github.com/melikhanmutlu/web_ar --skill research-engineer-melikhanmutlu
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: research-engineer
Source: https://github.com/melikhanmutlu/web_ar/tree/main/skills-extra/research-engineer
Command: npx skills add https://github.com/melikhanmutlu/web_ar --skill research-engineer-melikhanmutlu

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Bridges theoretical computer science rigor with practical, correct implementations, ensuring audits and reproducible outcomes.

Core Features & Use Cases

  • Enforces strict scientific reasoning, critique of flawed premises, and precise, verifiable implementations.
  • Use Case: build and review high-assurance algorithms and systems with formal verification and rigorous testing.

Quick Start

Describe how to apply this skill to a new research-grade software task with formal verification requirements.

Frequently Asked Questions about research-engineer

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

FAQPage Schema
How do I ensure algorithm design correctness in high-performance systems?▼

To ensure algorithm design correctness, this approach enforces strict scientific reasoning, formal verification, and traceable design decisions to validate high-assurance systems.

What is formal verification and when do I need it for theoretical computer science projects?▼

Formal verification is a rigorous validation process needed when bridging theoretical computer science with practical implementations to ensure audits, explicit validation, and reproducible outcomes.

How do I apply formal verification to a new research-grade software task?▼

To apply formal verification to a research-grade software task, describe the task requirements, enforce scientific rigor, and critique flawed premises to achieve precise, verifiable implementations.

Does this approach work for high-assurance algorithm code review?▼

Yes, this approach works for high-assurance algorithm code review by providing rigorous critique, enforcing scientific rigor, and validating design decisions within research-driven software projects.

What distinguishes rigorous research-engineering from standard software implementation?▼

Rigorous research-engineering bridges theoretical computer science with practical implementations by enforcing strict scientific reasoning, explicit validation, and traceable design decisions, unlike standard implementation.

When should I not use theoretical computer science rigor for software projects?▼

Theoretical computer science rigor should be avoided when a software project does not require high-assurance algorithms, formal verification, or reproducible outcomes, as it enforces strict scientific reasoning.

Related Skills

Explore More Software Engineering Skills→
parcadeiparcadei
3.9k

limits-colimits

Identify limit types, verify universal properties, and compute limits with Lean 4 and SymPy.

Community
Intermediate
James-GamboaJames-Gamboa

improve

Audit codebases and generate prioritized implementation plans for other agents.

Community
Advanced
JongsixJongsix

moai-workflow-testing

Unify testing, debugging, refactoring, profiling, and code review into one workflow.

Community
Advanced
JoturesJotures

research-engineer

Critiques algorithms and formally verifies correctness of complex computational systems and theoretical proofs.

Community
Advanced