research-synthesis-engine

Generate structured specifications from raw research via the five-role SYNTHESIZE loop.

2|Updated May 26, 2026
One-click install
npx skills add https://github.com/r-irbe/proof-skills --skill research-synthesis-engine
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: research-synthesis-engine
Source: https://github.com/r-irbe/proof-skills/tree/main/skills/research-synthesis-engine
Command: npx skills add https://github.com/r-irbe/proof-skills --skill research-synthesis-engine

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

Automates the generation of structured specifications from raw research and cross-domain knowledge.

Core Features & Use Cases

  • Five-role SYNTHESIZE loop with Α-S, Β-S, Γ-S, Δ-S, Ε-S to produce structured workflows and specification packages.
  • Handbook-backed workflows and linked references to ensure domain alignment and Mathlib coverage tracking.
  • Clear handoffs and tiered outputs (Quick / Standard / Deep / Comprehensive) for scalable knowledge production.

Quick Start

Convene the synthesis engine and run the SYNTHESIZE loop to generate specification packages from your input research corpus.

Frequently Asked Questions about research-synthesis-engine

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

FAQPage Schema
How do I turn raw research into actionable specifications?

To turn raw research into actionable specifications, you can run the SYNTHESIZE loop which automates generating structured specification packages from your input research corpus. It applies cross-domain knowledge and linked handbook references to govern scope and domain integration.

What is the SYNTHESIZE loop for research synthesis?

The SYNTHESIZE loop is a five-role workflow (Α-S, Β-S, Γ-S, Δ-S, Ε-S) that processes raw research and cross-domain knowledge to produce structured workflows and specification packages. It uses a YAML frontmatter contract to govern handoffs and domain alignment.

Can I control the output depth when generating specifications from research?

Yes, you can control specification generation depth using four output tiers: Quick, Standard, Deep, and Comprehensive. These tiers allow scalable knowledge production tailored to your specific project requirements and available research corpus.

How does cross-domain knowledge integration work in research synthesis?

Cross-domain knowledge integration works by using linked handbook references during the synthesis loop to ensure domain alignment and coverage tracking. This governs scope, manages handoffs, and systematically combines disparate research fields into actionable specifications.

Do I need any dependencies or external libraries to run the research synthesis engine?

No, you do not need any external dependencies or libraries to run the research synthesis engine. It operates independently using a YAML frontmatter contract and internal handbook references to manage the specification generation workflow.