skills.rest
r-irbe
r-irbeCOMMUNITY
Explore all skills by this author →
GitHub

research-council

Coordinates a five-member Lean 4 research council to systematize cross-disciplinary knowledge acquisition and epistemic mapping.

2|Updated May 26, 2026
Search Tags:#workflow#research#multi-agent#lean4#literature-synthesis#mathlib4#epistemic-mapping
One-click install
npx skills add https://github.com/r-irbe/proof-skills --skill research-council
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: research-council
Source: https://github.com/r-irbe/proof-skills/tree/main/skills/research-council
Command: npx skills add https://github.com/r-irbe/proof-skills --skill research-council

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

The Research Council coordinates a five-member Lean 4 research team to orchestrate systematic knowledge acquisition, domain exploration, and epistemic mapping, enabling efficient cross-disciplinary collaboration from inquiry to archive.

Core Features & Use Cases

  • Epistemic mapping and governance: manage known/unknown dimensions across multiple domains and hand off to downstream skills for synthesis and archival.
  • Structured research workflow: frame questions, convene the RESEARCH loop, run sessions, and emit reports to relevant actors (e.g., synthesis, archive, review).
  • Use Case: a team uses the Research Council to coordinate a literature survey across Mathlib, AI, Physics, and Social domains, producing a session report and a ready-to-archive Zettel.

Quick Start

Schedule a five-member research session and follow the handbook workflow to produce a literature synthesis and an archive-ready report.

Frequently Asked Questions about research-council

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

FAQPage Schema
How do I coordinate a multi-agent research workflow for Lean 4 and Mathlib4 literature synthesis?▼

Coordinate a multi-agent research workflow by convening a five-member Lean 4 research council to run systematic RESEARCH loop sessions, producing literature synthesis and epistemic maps for Mathlib4 and cross-disciplinary domains.

What is epistemic mapping and how does it apply to cross-disciplinary research sessions?▼

Epistemic mapping is the structured governance of known and unknown dimensions across domains like AI, Physics, and Biology, managed by a research council to track knowledge acquisition and hand off session reports for archival.

How do I structure a literature survey across Mathlib, AI, Physics, and Social domains?▼

Structure a literature survey by scheduling a five-member research council session that frames questions, executes the RESEARCH loop workflow, and emits a ready-to-archive Zettel report covering multiple cross-disciplinary domains.

Can I use a multi-agent workflow to hand off research sessions to downstream archival tools?▼

Yes, the research council workflow satisfies a formal dispatch contract with predecessors and successors, enabling governance-guided session handoffs to downstream skills for synthesis, review, and archive integration.

Does the research council workflow require dependencies or specific environment setups?▼

The research council workflow operates with no external dependencies, requiring only the coordination of a five-member Lean 4 team and adherence to references-guided governance to execute the RESEARCH loop and produce session reports.

Related Skills

Explore More Education & Research Skills→
r-irber-irbe
2

math-strategy-studio

Frame strategic questions and surface candidate proof approaches for Lean 4 formalization.

Community
Advanced
TaylorHustonTaylorHuston
69

learning-system

Organize study sessions, flashcards, and notes across any topic.

Community
Intermediate
Ankurjain1121Ankurjain1121

handoff-protocol

Generate structured handoff documents for cross-session agent transitions.

Community
Basic
shekerkammashekerkamma

research-to-strategy

Synthesize multi-source research into strategic recommendations and slide decks.

Community
Advanced