1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
|
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE NoImplicitPrelude #-}
module Omni.Agent.Worker where
import Alpha
import qualified Data.Text as Text
import qualified Data.Text.IO as TIO
import qualified Omni.Agent.Core as Core
import qualified Omni.Agent.Log as AgentLog
import qualified Omni.Task.Core as TaskCore
import qualified System.Directory as Directory
import qualified System.Exit as Exit
import System.FilePath ((</>))
import qualified System.IO as IO
import qualified System.Process as Process
start :: Core.Worker -> Maybe Text -> IO ()
start worker maybeTaskId = do
AgentLog.init (Core.workerName worker)
AgentLog.log ("Worker starting for " <> Core.workerName worker)
runOnce worker maybeTaskId
runOnce :: Core.Worker -> Maybe Text -> IO ()
runOnce worker maybeTaskId = do
-- Find work
targetTask <- case maybeTaskId of
Just tid -> do
TaskCore.findTask tid </ TaskCore.loadTasks
Nothing -> do
readyTasks <- TaskCore.getReadyTasks
case readyTasks of
[] -> pure Nothing
(task : _) -> pure (Just task)
case targetTask of
Nothing -> do
case maybeTaskId of
Just tid -> do
AgentLog.updateActivity ("Task " <> tid <> " not found.")
AgentLog.log ("Task " <> tid <> " not found.")
Nothing -> do
AgentLog.updateActivity "No work found."
AgentLog.log "No ready tasks found."
Just task -> do
processTask worker task
processTask :: Core.Worker -> TaskCore.Task -> IO ()
processTask worker task = do
let repo = Core.workerPath worker
let tid = TaskCore.taskId task
AgentLog.update (\s -> s {AgentLog.statusTask = Just tid})
AgentLog.updateActivity ("Claiming task " <> tid)
-- Claim task
TaskCore.updateTaskStatus tid TaskCore.InProgress []
-- Run Amp
AgentLog.updateActivity "Running Amp agent..."
exitCode <- runAmp repo task
case exitCode of
Exit.ExitSuccess -> do
AgentLog.log "Agent finished successfully"
-- Update status to Review
TaskCore.updateTaskStatus tid TaskCore.Review []
-- Submit for review
AgentLog.updateActivity "Task completed"
AgentLog.log ("[✓] Task " <> tid <> " completed")
AgentLog.update (\s -> s {AgentLog.statusTask = Nothing})
Exit.ExitFailure code -> do
AgentLog.log ("Agent failed with code " <> tshow code)
AgentLog.updateActivity "Agent failed, retrying..."
threadDelay (10 * 1000000) -- Sleep 10s
runAmp :: FilePath -> TaskCore.Task -> IO Exit.ExitCode
runAmp repo task = do
let prompt =
"You are a Worker Agent.\n"
<> "Your goal is to implement the following task:\n\n"
<> formatTask task
<> "\n\nINSTRUCTIONS:\n"
<> "1. Analyze the codebase (use finder/Grep) to understand where to make changes.\n"
<> "2. Implement the changes by editing files.\n"
<> "3. Run tests to verify your work (e.g., 'bild --test Omni/Namespace').\n"
<> "4. Fix any errors found during testing.\n"
<> "5. Do NOT update the task status or manage git branches.\n"
<> "6. When finished and tested, exit.\n\n"
<> "Context:\n"
<> "- You are working in '"
<> Text.pack repo
<> "'.\n"
<> "- The task is in namespace '"
<> fromMaybe "root" (TaskCore.taskNamespace task)
<> "'.\n"
let logFile = repo </> "_/llm/amp.log"
-- Read AGENTS.md
agentsMd <-
fmap (fromMaybe "") <| do
exists <- Directory.doesFileExist (repo </> "AGENTS.md")
if exists
then Just </ readFile (repo </> "AGENTS.md")
else pure Nothing
let fullPrompt =
prompt
<> "\n\nREPOSITORY GUIDELINES (AGENTS.md):\n"
<> agentsMd
-- Remove old log file
exists <- Directory.doesFileExist logFile
when exists (Directory.removeFile logFile)
Directory.createDirectoryIfMissing True (repo </> "_/llm")
-- Assume amp is in PATH
let args = ["--log-level", "debug", "--log-file", "_/llm/amp.log", "--dangerously-allow-all", "-x", Text.unpack fullPrompt]
let cp = (Process.proc "amp" args) {Process.cwd = Just repo}
(_, _, _, ph) <- Process.createProcess cp
tid <- forkIO <| monitorLog logFile ph
exitCode <- Process.waitForProcess ph
killThread tid
pure exitCode
formatTask :: TaskCore.Task -> Text
formatTask t =
"Task: "
<> TaskCore.taskId t
<> "\n"
<> "Title: "
<> TaskCore.taskTitle t
<> "\n"
<> "Type: "
<> Text.pack (show (TaskCore.taskType t))
<> "\n"
<> "Status: "
<> Text.pack (show (TaskCore.taskStatus t))
<> "\n"
<> "Priority: "
<> Text.pack (show (TaskCore.taskPriority t))
<> "\n"
<> maybe "" (\p -> "Parent: " <> p <> "\n") (TaskCore.taskParent t)
<> maybe "" (\ns -> "Namespace: " <> ns <> "\n") (TaskCore.taskNamespace t)
<> "Created: "
<> Text.pack (show (TaskCore.taskCreatedAt t))
<> "\n"
<> "Updated: "
<> Text.pack (show (TaskCore.taskUpdatedAt t))
<> "\n"
<> maybe "" (\d -> "Description:\n" <> d <> "\n\n") (TaskCore.taskDescription t)
<> (if null (TaskCore.taskDependencies t) then "" else "\nDependencies:\n" <> Text.unlines (map formatDep (TaskCore.taskDependencies t)))
where
formatDep dep = " - " <> TaskCore.depId dep <> " [" <> Text.pack (show (TaskCore.depType dep)) <> "]"
monitorLog :: FilePath -> Process.ProcessHandle -> IO ()
monitorLog path ph = do
waitForFile path
IO.withFile path IO.ReadMode <| \h -> do
IO.hSetBuffering h IO.LineBuffering
go h
where
go h = do
eof <- IO.hIsEOF h
if eof
then do
mExit <- Process.getProcessExitCode ph
case mExit of
Nothing -> do
threadDelay 100000 -- 0.1s
go h
Just _ -> pure ()
else do
line <- TIO.hGetLine h
AgentLog.processLogLine line
go h
waitForFile :: FilePath -> IO ()
waitForFile path = do
exists <- Directory.doesFileExist path
if exists
then pure ()
else do
threadDelay 100000
waitForFile path
|
