Skip to main content

skysynth

Build a system specialized for your workload from a prompt or a formal spec: study reference systems, settle the requirements with the user, then build it behind tests (or a machine-checked proof) while an auditor turns every reward hack it finds into a new test. Trigger on requests to build, synthesize, or specialize a system (e.g. "skysynth build me a key-value store", or a path to a task.md spec).

Ir a la instalación

Datos de origen

Repositorio
skydiscover-ai/skydiscover
Última actividad en el origen
11 de septiembre de 2026 a las 17:34
Idioma detectado de SKILL.md
inglés
Estrellas
683
Forks
98

Opciones de instalación

De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.

Revisa los archivos de origen

Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.

Mostrando SKILL.md

SKILL.md
Instrucciones de origen · Vista previa de solo lectura
name
skysynth
description
Build a system specialized for your workload from a prompt or a formal spec: study reference systems, settle the requirements with the user, then build it behind tests (or a machine-checked proof) while an auditor turns every reward hack it finds into a new test. Trigger on requests to build, synthesize, or specialize a system (e.g. "skysynth build me a key-value store", or a path to a task.md spec).
# SkySynth: Codex Entry Point This file is a thin entry point. The workflow lives at the plugin root, four directories up (`../../../../SKILL.md`, beside `agents/`, `references/`, and `scripts/`). 1. Read the plugin root's `SKILL.md`: the lead workflow, its rules, and its references. 2. Follow it as the lead, with the user's request as the system to synthesize. Role agents: the briefs are in the plugin root's `agents/<phase>/`. If this project has `.codex/agents/*.toml` installed (`skydiscover init --agent codex`), run roles as subagents by name; otherwise adopt each role's brief from `agents/<phase>/<role>.md` when its phase begins.
Ver en GitHub