research-engineer

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

Updated Mar 1, 2026

Search Tags:#research #academic #implementation #formal verification #critique #rigor

Ready to run

npx skills add https://github.com/Jotures/Brain_OS --skill research-engineer-jotures

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: research-engineer
Source: https://github.com/Jotures/Brain_OS/tree/main/skills/research-engineer
Command: npx skills add https://github.com/Jotures/Brain_OS --skill research-engineer-jotures

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill tackles complex academic and technical challenges by providing rigorous, scientifically sound analysis, implementation, and critique, ensuring the highest standards of correctness and performance.

Core Features & Use Cases

Deep Analysis: Critically evaluates algorithms, code, and theoretical approaches for flaws and inefficiencies.
Rigorous Implementation: Generates production-grade code from theoretical descriptions, adhering to strict performance and correctness standards.
Formal Verification: Provides mathematical proofs or strict assertions for claims and code correctness.
Use Case: When faced with a complex computational problem, use this Skill to not only implement an optimal solution but also to formally prove its correctness and analyze its performance characteristics.

Quick Start

Critique this approach for optimizing database queries.

Frequently Asked Questions about research-engineer

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

FAQPage Schema

How do I formally verify the correctness of an algorithm implementation?▼

To formally verify an algorithm, you provide the theoretical description to generate production-grade code alongside mathematical proofs and strict assertions that validate its correctness and performance characteristics.

What is the best way to critique and analyze flaws in complex distributed systems?▼

Critiquing distributed systems requires objective scientific rigor to evaluate theoretical approaches, identify inefficiencies, and correct flaws in algorithms through deep analysis and strict performance standards.

Can I generate production-grade code from a theoretical computational problem description?▼

Yes, you can generate production-grade code from theoretical computational problem descriptions, ensuring the implementation adheres to strict performance and correctness standards while providing formal verification.

How do I write mathematical proofs for complex computational logic?▼

Writing mathematical proofs for computational logic involves applying formal verification to provide strict assertions and theoretical corrections that validate the correctness of complex algorithms and systems.

Does this approach work for analyzing and optimizing database query algorithms?▼

Yes, this approach works for analyzing and optimizing database query algorithms by critically evaluating the theoretical approach, identifying inefficiencies, and implementing an optimal, rigorously verified solution.