long-horizon-prompting

Name: long-horizon-prompting
Author: muratcankoylan

13installs1.4kforks

How to install long-horizon-prompting?

muratcankoylan/agent-skills-for-context-engineering/long-horizon-prompting

$npx -y skills add muratcankoylan/Agent-Skills-for-Context-Engineering --skill long-horizon-prompting

Installs into the current project.

Summary

This skill should be used when writing, enhancing, or evaluating the launch prompt for a long-running autonomous agent or a parallel multi-agent orchestration attacking a hard problem: pseudo-formal task briefs that define terms and an exact success predicate linguistically, enum

Files · 1

View on GitHub

SKILL.md

1	# Long-Horizon Prompting
2
3	This skill covers the design of the prompt that launches an agent expected to work autonomously for hours or days, alone or as an orchestrator managing many parallel workers. The central technique is the pseudo-formal task brief: a specification written with the rigor of formal verification but expressed linguistically, because most hard problems have no machine-checkable success condition. The exemplar is the published prompt behind GPT-5.6 Sol Ultra's candidate proof of the Cycle Double Cover Conjecture, produced by a 64-subagent orchestration (claim-long-horizon-cdc-run). The prompt structure generalizes far beyond mathematics: any domain where success can be stated precisely and failure modes can be enumerated can use the same brief anatomy.
4
5	The controlling trade-off: everything that makes a long run productive (persistence, autonomy, parallelism) also raises the cost of a weak specification. A short interactive prompt fails cheaply; a long-horizon brief with a loophole burns hours of compute producing an answer-shaped artifact that does not solve the problem.
6
7	## When to Activate
8
9	Activate this skill when:
10
11	- Writing or reviewing the prompt for a long-running autonomous run before launching it
12	- Converting a vague hard problem ("solve X", "figure out why Y happens") into an explicit brief with a success predicate and non-counting outcomes
13	- Writing the root or orchestrator prompt that manages many parallel workers on an open-ended search problem
14	- Adding persistence instructions, stop conditions, effort floors, or return gates to an agent prompt
15	- Diagnosing a failed long run whose failure traces to the brief: premature return, an answer-shaped near miss, all workers converging on one approach, or fabricated completion claims
16	- Building a pre-launch review step that enhances and evaluates prompts before expensive agent time is committed
17
18	Do not activate this skill for adjacent work owned by other skills:
19
20	- Agent topology, supervisor versus swarm choice, handoff protocols, and coordination mechanics: `multi-agent-patterns`. That skill owns the architecture; this skill owns the words that steer it.
21	- Runtime control surfaces, locked evaluators, rollback, durable logs, and approval boundaries around an autonomous loop: `harness-engineering`. Constraints that must survive optimization pressure belong in the harness, not the prompt.
22	- Building the evaluator, regression suite, or deterministic quality gates a run is scored by: `evaluation`.
23	- LLM-as-judge design, rubrics, pairwise comparison, and bias mitigation: `advanced-evaluation`.
24	- Compaction, note-taking, and cross-session memory mechanics for surviving context limits: `context-compression`, `memory-systems`, `filesystem-context`.
25	- Loops that modify their own harness or prompts: `self-improvement-loops`.
26	- Remote sandboxes and background execution infrastructure: `hosted-agents`.
27
28	## Core Concepts
29
30	### Pseudo-Formal Task Specification
31
32	Formal verification requires a machine-checkable specification. Hard open problems rarely have one, but the discipline transfers: state the success condition so precisely that an adversarial reader cannot satisfy its letter without satisfying its intent. Four components, in order of leverage:
33
34	1. Definitions with degenerate cases. Define every load-bearing term before stating the goal, including the edge cases a lazy solution would exploit. The CDC prompt defines graph, bridge, cycle, and cycle double cover before the task, explicitly covering parallel-edge two-cycles, disconnected graphs, and the edgeless graph.
35	2. Exact success predicate. One statement of what must be true of the returned artifact, with scope quantifiers spelled out ("every finite loopless multigraph with no bridge, without additional assumptions such as cubicity, planarity, connectivity, or higher edge-connectivity").
36	3. Non-counting outcomes. An enumerated list of results that do not count: partial progress, special-case solutions, reductions to another unproved statement, bounded or computational verification, and best-e

People who liked this also viewed

6 picks

Type

long-horizon-prompting

13installs1.4kforks

View on GitHub

How to install long-horizon-prompting?

muratcankoylan/agent-skills-for-context-engineering/long-horizon-prompting

$npx -y skills add muratcankoylan/Agent-Skills-for-Context-Engineering --skill long-horizon-prompting

Installs into the current project.

Summary

Files · 1

View on GitHub

SKILL.md

1	# Long-Horizon Prompting
2
3	This skill covers the design of the prompt that launches an agent expected to work autonomously for hours or days, alone or as an orchestrator managing many parallel workers. The central technique is the pseudo-formal task brief: a specification written with the rigor of formal verification but expressed linguistically, because most hard problems have no machine-checkable success condition. The exemplar is the published prompt behind GPT-5.6 Sol Ultra's candidate proof of the Cycle Double Cover Conjecture, produced by a 64-subagent orchestration (claim-long-horizon-cdc-run). The prompt structure generalizes far beyond mathematics: any domain where success can be stated precisely and failure modes can be enumerated can use the same brief anatomy.
4
5	The controlling trade-off: everything that makes a long run productive (persistence, autonomy, parallelism) also raises the cost of a weak specification. A short interactive prompt fails cheaply; a long-horizon brief with a loophole burns hours of compute producing an answer-shaped artifact that does not solve the problem.
6
7	## When to Activate
8
9	Activate this skill when:
10
11	- Writing or reviewing the prompt for a long-running autonomous run before launching it
12	- Converting a vague hard problem ("solve X", "figure out why Y happens") into an explicit brief with a success predicate and non-counting outcomes
13	- Writing the root or orchestrator prompt that manages many parallel workers on an open-ended search problem
14	- Adding persistence instructions, stop conditions, effort floors, or return gates to an agent prompt
15	- Diagnosing a failed long run whose failure traces to the brief: premature return, an answer-shaped near miss, all workers converging on one approach, or fabricated completion claims
16	- Building a pre-launch review step that enhances and evaluates prompts before expensive agent time is committed
17
18	Do not activate this skill for adjacent work owned by other skills:
19
20	- Agent topology, supervisor versus swarm choice, handoff protocols, and coordination mechanics: `multi-agent-patterns`. That skill owns the architecture; this skill owns the words that steer it.
21	- Runtime control surfaces, locked evaluators, rollback, durable logs, and approval boundaries around an autonomous loop: `harness-engineering`. Constraints that must survive optimization pressure belong in the harness, not the prompt.
22	- Building the evaluator, regression suite, or deterministic quality gates a run is scored by: `evaluation`.
23	- LLM-as-judge design, rubrics, pairwise comparison, and bias mitigation: `advanced-evaluation`.
24	- Compaction, note-taking, and cross-session memory mechanics for surviving context limits: `context-compression`, `memory-systems`, `filesystem-context`.
25	- Loops that modify their own harness or prompts: `self-improvement-loops`.
26	- Remote sandboxes and background execution infrastructure: `hosted-agents`.
27
28	## Core Concepts
29
30	### Pseudo-Formal Task Specification
31
32	Formal verification requires a machine-checkable specification. Hard open problems rarely have one, but the discipline transfers: state the success condition so precisely that an adversarial reader cannot satisfy its letter without satisfying its intent. Four components, in order of leverage:
33
34	1. Definitions with degenerate cases. Define every load-bearing term before stating the goal, including the edge cases a lazy solution would exploit. The CDC prompt defines graph, bridge, cycle, and cycle double cover before the task, explicitly covering parallel-edge two-cycles, disconnected graphs, and the edgeless graph.
35	2. Exact success predicate. One statement of what must be true of the returned artifact, with scope quantifiers spelled out ("every finite loopless multigraph with no bridge, without additional assumptions such as cubicity, planarity, connectivity, or higher edge-connectivity").
36	3. Non-counting outcomes. An enumerated list of results that do not count: partial progress, special-case solutions, reductions to another unproved statement, bounded or computational verification, and best-e

People who liked this also viewed

6 picks

Type