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).

Zur Installation springen

Quellinformationen

Repository
skydiscover-ai/skydiscover
Letzte Quellaktivität
11. September 2026 um 17:34
Erkannte Sprache von SKILL.md
Englisch
Sterne
669
Forks
96

Installationsoptionen

Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.

Quelldateien prüfen

Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.

SKILL.md wird angezeigt

SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau
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.
Auf GitHub ansehen