dag agents

42 tagged dag, measured the same way as everything else here.

Browse within: agent-orchestration 22pi-coding-agent 18subagents 18taskflow 18

lean4-proof-golfer

01

frenzymath/Archon

Agent

Golf Lean 4 proofs after they compile; improve proofs for directness, clarity, performance, and brevity without changing semantics. Use after successful compilation to achieve 30-40% size reduction.

212 15d ago A 47 tokens original Apache-2.0

lean4-proof-repair

02

frenzymath/Archon

Agent

Compiler-guided iterative proof repair with two-stage repair escalation (fast → strong). Use for error-driven proof fixing with small sampling budgets (K=1).

212 15d ago A 37 tokens original Apache-2.0

frenzymath/Archon

Agent

Strategic resolution of stubborn sorries; may refactor across files within the header fence. Use when fast pass fails or for complex proofs.

212 15d ago A 37 tokens original Apache-2.0

domain

05

LeXwDeX/OpenCode-GraphAgent

Agent

How engineering skills consume this repository's domain documentation while exploring the codebase.

111 3d ago A 0 tokens original MIT

analyzer

07

cohen-liel/hivemind

Agent Claude Code

Analyze blind comparison results to understand WHY the winner won and generate improvement suggestions.

108 4mo ago A 0 tokens copy · 100% Apache-2.0

comparator

08

cohen-liel/hivemind

Agent Claude Code

Compare two outputs WITHOUT knowing which skill produced them.

108 4mo ago A 0 tokens copy · 100% Apache-2.0

grader

09

cohen-liel/hivemind

Agent Claude Code

Evaluate expectations against an execution transcript and outputs.

108 4mo ago A 0 tokens copy · 100% Apache-2.0

doc-writer

10

heggria/taskflow

Agent

Author and edit documentation FILES on disk (README, guides, changelogs, docs).

67 5d ago A 23 tokens original MIT

reviewer

11

heggria/taskflow

Agent

Reviews code, plans, architecture risk, and test gaps without editing files.

67 5d ago A 17 tokens original MIT

delegation

13

bensyverson/jobs

Agent

Read this before dispatching agents. Every rule here was paid for. project/agents/jobs.md covers the tracker the work is filed in; project/agents/harness.md covers the tool the agents run inside.

24 2d ago A 0 tokens original MIT

harness

14

bensyverson/jobs

Agent

Facts about the tool an agent runs inside, not about this project — they are identical in every repo, which is why they are not in project/gotchas.md. One section per harness; today there is only Claude Code. Read this the first time a call fails with a permission error or a refusal you did not expect: none of these…

24 2d ago A 0 tokens original MIT

jobs

15

bensyverson/jobs

Agent

Jobs is the tracker: where work is filed, how big a unit of work is, and what a fan-out mints before it launches. project/agents/delegation.md covers running agents; this file covers the tracker they claim from. job --help is the authority on flags — this file is the house convention around them.

24 2d ago A 0 tokens original MIT

composition

16

mdrideout/junjo

Agent

Composition uses ordinary application boundaries. Junjo does not add a generic Agent Node, Workflow Tool, shared Store mapper, or universal executable base.

20 yesterday A 0 tokens original Apache-2.0

index

17

mdrideout/junjo

Agent

Agent is a reusable, typed Junjo executable for the case where a model chooses the next capability at runtime. It is a sibling of Workflow. An Agent has no fabricated Graph, and a Tool is an operation rather than a Node.

20 yesterday A 0 tokens original Apache-2.0

testing

18

mdrideout/junjo

Agent

junjo.agent.testing is the public deterministic test boundary. It has no provider dependency.

20 yesterday A 0 tokens original Apache-2.0

developer

19

Samuel0101010/wisp-orchestrator

Agent

Invoke to implement exactly one task from tasks.md. Reads architecture.md as a binding constraint, writes code, and stops after one logical commit.

4 29d ago A 30 tokens original Apache-2.0

planner

20

Samuel0101010/wisp-orchestrator

Agent

Invoke to convert a Goal plus a Team specification into a valid Plan DAG written to plan.json. Used once per harness run before agents are dispatched.

4 29d ago A 31 tokens original Apache-2.0

qa

21

Samuel0101010/wisp-orchestrator

Agent

Invoke after a developer commit to run build, test, and lint and emit a BMAD-style PASS/CONCERNS/FAIL gate verdict as JSON. Read-only; never modifies code.

4 29d ago A 40 tokens original Apache-2.0

forkmind-archivist

22

Medhovarsh/forkmind

Agent

Offloads conversation context into ForkMind's encrypted, immutable DAG capsules so the live model window can be compacted without losing anything. Spawn when context is getting full, when the user says "save this and clear it", "archive the earlier discussion", "offload context", or when a large block (file dumps…

3 13d ago A 116 tokens original MIT

forkmind-debugger

23

Medhovarsh/forkmind

Agent

Drives ForkMind to debug, compare, or regression-test LLM / agent calls in an isolated context. Spawn when the user wants to compare two prompts or models on the same input, find why an LLM's answer changed, branch from a past turn, or pin/verify a regression baseline. Returns a compact verdict (winner, diffs, drift)…

3 13d ago A 89 tokens original MIT