Compétences research-engineer
📦

research-engineer

Risque faible

Academic Research Engineer

An uncompromising Academic Research Engineer that applies scientific rigor, objective criticism, and zero fluff to engineering challenges. Focuses on theoretical correctness, formal verification, and optimal implementation.

Prend en charge: Claude Codex Code(CC)
📊 71 Adéquat
1

Télécharger le ZIP du skill

2

Importer dans Claude

Allez dans Paramètres → Capacités → Skills → Importer un skill

3

Activez et commencez Ă  utiliser

Tester

Utilisation de "research-engineer". Give me a regex to parse HTML tags.

Résultat attendu:

REJECTED. Parsing HTML with Regular Expressions is mathematically impossible because HTML is not a regular language (Chomsky Type-2). Using Type-3 grammars for Type-2 structures leads to undefined behavior on nested tags.

CORRECT APPROACH: Use a dedicated parser (lxml in Python, gumbo in C). Implementation using BeautifulSoup:

Utilisation de "research-engineer". Implement a lock-free queue in C++.

Résultat attendu:

This implementation uses the Michael-Scott queue algorithm with std::atomic. It guarantees lock-freedom but not wait-freedom. Note ABA problem mitigation using tagged pointers for minimal overhead.

Utilisation de "research-engineer". Analyze the complexity of recursive Fibonacci.

Résultat attendu:

The naive recursive algorithm F(n) = F(n-1) + F(n-2) has time complexity O(phi^n) where phi is the Golden Ratio. This is unacceptable for n > 50.

OPTIMIZATION: Using Matrix Exponentiation reduces to O(log n).

Audit de sécurité

Risque faible
v1 • 2/24/2026

Static analysis detected patterns for external_commands and weak cryptographic algorithms. Manual review confirms these are FALSE POSITIVES. The backtick characters are markdown code formatting (e.g., `// insert logic here`), not shell execution. The word 'algorithm' refers to computational complexity analysis, not cryptography. This is a pure persona/configuration skill with no dangerous capabilities.

1
Fichiers analysés
141
Lignes analysées
2
résultats
1
Total des audits
Problèmes à risque moyen (2)
False Positive: Markdown Code Formatting
Static scanner detected backtick characters as potential shell execution. These are actually markdown code formatting in a plain text skill file. The skill contains no executable code, shell commands, or cryptographic algorithms.
False Positive: Algorithm Keyword
Static scanner flagged 'weak cryptographic algorithm' based on the word 'algorithm' appearing in the skill. Manual review shows this refers to computational complexity (e.g., 'algorithmic optimization'), not cryptography.
Audité par: claude

Score de qualité

38
Architecture
100
Maintenabilité
87
Contenu
50
Communauté
80
Sécurité
100
Conformité aux spécifications

Ce que vous pouvez construire

Algorithm Analysis and Optimization

Get rigorous analysis of algorithm complexity with mathematical proofs and optimization recommendations.

Code Review with Scientific Rigor

Receive objective, unflinching critique of code implementations with focus on correctness and best practices.

Technology Stack Selection

Get evidence-based recommendations for programming languages and tools based on domain requirements.

Essayez ces prompts

Algorithm Review
Analyze the following algorithm for time and space complexity. Provide mathematical proofs and suggest optimizations if available.

[INSERT ALGORITHM OR CODE]
Code Critique
Critique the following code implementation. Focus on correctness, edge cases, thread safety, and potential bugs. Do not soften your feedback.

[INSERT CODE]
Technology Selection
Recommend the optimal programming language and framework for the following use case. Consider performance, safety, ecosystem, and maintainability.

Use case: [DESCRIBE USE CASE]
Requirements: [LIST REQUIREMENTS]
Research Implementation
Implement the following with strict correctness guarantees. Use the scientific method: define constraints, select optimal tools, implement with tests, and verify correctness.

Goal: [DESCRIBE GOAL]
Constraints: [LIST CONSTRAINTS]

Bonnes pratiques

  • Provide precise problem constraints including time/space requirements
  • State any known limitations or edge cases upfront
  • Ask for the specific domain context to select optimal tools
  • Be prepared for aggressive correction of flawed assumptions

Éviter

  • Asking for simplified solutions that compromise correctness
  • Requesting emoji or pleasantries in responses
  • Using vague problem descriptions without specific constraints
  • Ignoring the critique and asking for 'nicer' responses

Foire aux questions

Why is this skill so harsh?
This skill prioritizes technical correctness over user feelings. In research and engineering, incorrect solutions have real consequences.
Can I get softer feedback?
No. The skill is designed for rigorous analysis. If you need gentler feedback, use a different skill.
What languages does this skill recommend?
It recommends based on domain: Fortran/Julia for numerical computing, Rust/Ada for safety-critical, Go/Rust for distributed systems, Coq/Lean for formal verification.
Does this skill write full implementations?
Yes, but only if required for correctness. It will not use placeholders or simplified stubs.
How does this skill handle impossible problems?
It immediately states if a problem is mathematically impossible or computationally intractable (e.g., NP-hard without approximation).
Can I use this for production code?
Yes, but expect rigorous scrutiny. The skill focuses on correctness and will highlight any shortcuts that compromise reliability.

Détails du développeur

Structure de fichiers

đź“„ SKILL.md