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).
Informações da origem
- Repositório
- skydiscover-ai/skydiscover
- Última atividade na origem
- 11 de setembro de 2026 às 17:34
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 699
- Forks
- 103
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
Exibindo SKILL.md
SKILL.md
Instruções da origem · Visualização somente leitura- 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 no GitHub