make sure logs are available for the mcp

Author: gustavo-grieco

lib/Echidna/UI.hs

@@ -104,9 +104,21 @@ ui vm dict initialCorpus cliSelectedContract = do
     Interactive -> do
       -- Channel to push events to update UI
       uiChannel <- liftIO $ newBChan 1000
-      let forwardEvent = void . writeBChanNonBlocking uiChannel . EventReceived
+      logBuffer <- newIORef []
+
+      let forwardEvent ev = do
+            msg <- runReaderT (ppLogLine vm ev) env
+            liftIO $ atomicModifyIORef' logBuffer (\logs -> (pack msg : logs, ()))
+            void $ writeBChanNonBlocking uiChannel $ EventReceived ev
+
       uiEventsForwarderStopVar <- spawnListener forwardEvent
 
+      case conf.campaignConf.serverPort of
+        Just port -> do
+          liftIO $ pushCampaignEvent env (ServerLog ("MCP Server running at http://127.0.0.1:" ++ show port ++ "/mcp"))
+          void $ liftIO $ forkIO $ runMCPServer env (fromIntegral port) logBuffer
+        Nothing -> pure ()
+
       ticker <- liftIO . forkIO . forever $ do
         threadDelay 200_000 -- 200 ms
 
@@ -197,8 +209,10 @@ ui vm dict initialCorpus cliSelectedContract = do
             states <- liftIO $ workerStates workers
             time <- timePrefix <$> getTimestamp
             line <- statusLine env states lastUpdateRef
-            putStrLn $ time <> "[status] " <> line
+            let statusMsg = time <> "[status] " <> line
+            putStrLn statusMsg
             hFlush stdout
+            liftIO $ atomicModifyIORef' logBuffer (\logs -> (pack statusMsg : logs, ()))
 
       case conf.campaignConf.serverPort of
         Just port -> do