research-engineer

Implement complex engineering and scientific algorithms in C++ with formal verification.

10|2|Updated Mar 10, 2026

Search Tags:#research #optimization #formal verification #engineering #scientific rigor #theoretical correctness

Ready to run

npx skills add https://github.com/bugrabilge/bilge-development-kit --skill research-engineer-bugrabilge

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: research-engineer
Source: https://github.com/bugrabilge/bilge-development-kit/tree/main/skills-extra/research-engineer
Command: npx skills add https://github.com/bugrabilge/bilge-development-kit --skill research-engineer-bugrabilge

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill addresses the need for highly accurate, theoretically sound, and rigorously verified implementations in complex engineering and scientific domains, moving beyond generic AI capabilities to provide specialized, research-grade solutions.

Core Features & Use Cases

Theoretical Correctness: Ensures solutions are mathematically sound and computationally optimal.
Rigorous Implementation: Provides detailed, boilerplate-free code adhering to strict programming standards.
Objective Criticism: Critiques flawed user premises and guides towards scientifically valid approaches.
Use Case: When developing a novel algorithm for high-frequency trading, this Skill can provide a C++ implementation with formal verification comments, ensuring its correctness and performance under extreme conditions.

Quick Start

Use the research-engineer skill to implement a lock-free queue in C++.

Frequently Asked Questions about research-engineer

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

FAQPage Schema

How do I ensure mathematical correctness and formal verification for complex engineering algorithms?▼

To ensure mathematical correctness for engineering algorithms, you need theoretically sound implementations with formal verification comments and computational optimality checks. This approach provides rigorous, boilerplate-free code adhering to strict scientific methodology and standards.

What is the best way to implement a lock-free queue in C++ with scientific rigor?▼

Implementing a lock-free queue in C++ requires rigorous, theoretically sound code that avoids boilerplate while adhering to strict programming standards. The implementation focuses on mathematical correctness and computational optimality for demanding, high-frequency applications.

Can I get formally verified C++ implementations for high-frequency trading systems?▼

Yes, formally verified C++ implementations for high-frequency trading are possible by applying strict scientific methodology. This ensures theoretical correctness, computational optimality, and validated performance under extreme conditions using formal verification comments.

When do I need formally verified implementations for scientific computing problems?▼

You need formally verified implementations for scientific computing when solving complex problems requiring mathematical correctness and strict adherence to scientific methodology. This is critical when moving beyond generic capabilities to research-grade solutions.

Does this approach critique flawed premises in user-provided scientific models?▼

Yes, rigorous scientific implementation objectively critiques flawed user premises and guides towards scientifically valid approaches. It ensures solutions remain mathematically sound, computationally optimal, and theoretically correct rather than accepting inaccurate assumptions.

What are the limitations of using generic AI for complex engineering problem solving?▼

Generic AI lacks the theoretical soundness and formal verification required for complex engineering problems. It often misses mathematical correctness, computational optimality, and strict scientific methodology, making it unsuitable for research-grade implementations.