Skills
.Work. You
Rest

research-synthesis-engine

Community

Turn research into actionable specifications.

Education & Research#workflow#research#specifications#verification#synthesis#cross-domain#handbook
Authorr-irbe
Version1.0.0
Installs0

System Documentation

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.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: research-synthesis-engine
Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#research-synthesis-engine

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.