[Theia AI] Terminal agent records its requests

[JonasHelming]

fixed #14245

What it does

Terminal agent records its requests

How to test

Use the terminal agent and observe its requests being logged in the History View. Use a model with and one without structured output.

Follow-ups

Review checklist

• As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• As a reviewer, I agree to behave in accordance with the review guidelines

[planger]

Looks good! Thanks!
There was just a linting error. My suggestions inline should hopefully resolve those.

[planger]

Suggested change

	const responseText = JSON.stringify(parsedResult.data.commands);
	this.recordingService.recordResponse({
	agentId: this.id,
	sessionId,
	timestamp: Date.now(),
	requestId,
	response: responseText,
	});
	this.recordingService.recordResponse({
	agentId: this.id,
	sessionId,
	timestamp: Date.now(),
	requestId,
	response: JSON.stringify(parsedResult.data.commands),
	});

This is also to avoid the linting error:

@theia/ai-terminal: /home/runner/work/theia/theia/packages/ai-terminal/src/browser/ai-terminal-agent.ts
@theia/ai-terminal: 202:27 error 'responseText' is already declared in the upper scope on line 216 column 19
@typescript-eslint/no-shadow
@theia/ai-terminal:
@theia/ai-terminal: ✖ 1 problem (1 error, 0 warnings)

[JonasHelming]

I had this before, but especially with GPT 3.5 it "hanged" sometimes. I guess the error in parsing is not thrown correctly then, could this be?

[JonasHelming]

Happens only in the case below as in this case, the result is always pasrsable, but I wanted to make it consistent

[JonasHelming]

I fixed the linting error with the new commit

[planger]

Suggested change

	const responseText = JSON.stringify(jsonResult);
	this.recordingService.recordResponse({
	agentId: this.id,
	sessionId,
	timestamp: Date.now(),
	requestId,
	response: responseText
	});
	this.recordingService.recordResponse({
	agentId: this.id,
	sessionId,
	timestamp: Date.now(),
	requestId,
	response: JSON.stringify(jsonResult)
	});

[JonasHelming]

I had this before, but especially with GPT 3.5 it "hanged" sometimes. I guess the error in parsing is not thrown correctly then, could this be?

[JonasHelming]

I fixed the linting error with the new commit

[planger]

Thanks, looks good to me! 👍