[Feature]: Add Devin CLI support

[Derpedyea]

Before submitting

• I searched existing issues and did not find a duplicate.
• I am describing a concrete problem or use case, not just a vague idea.

Area

apps/server

Problem or use case

I want to use Devin CLI in T3 code. Devin has ACP support so I believe it should be possible to connect it like how grok cli was done.

Proposed solution

Add a Devin provider through Devin CLI's built in ACP.

Why this matters

Anyone with a Devin subscription would be able to use T3 code. While Devin isn't known for having the best harness for people searching for good promos they often do have those. An example of this is the current ongoing free GLM promotion which I have verified is running in the CLI too.

Smallest useful scope

The smallest scope is just Devin CLI support. This does not need Devin cloud features whatsoever.

Alternatives considered

No response

Risks or tradeoffs

No response

Examples or references

References:

• https://docs.devin.ai/cli#windows
• https://docs.devin.ai/cli/reference/commands#devin-acp

Contribution

• I would be open to helping implement this.

[Derpedyea]

I am working on a PR with aid of codex to add the provider and I have tested it. I hope this can be added somewhat in the future.

[tylerham]

In a podcast this week, Theo mentioned he's considering adding Devin support to t3code.

[TimPietrusky]

@Derpedyea any help needed over here? would love to have this as well

[Derpedyea]

@TimPietrusky I've stopped working on it as the pr was stale and I didn't want to continue maintaining it.

[aaronhawkey]

Anyone working on this currently?

[rafael-franca]

Anyone working on this currently?

I'm working on this!

[rafael-franca]

@juliusmarminge I have finished the implementation in #6235. Can you review, please?

[rami-alloush]

I understand this was the main PR and it just got closed #7567
Which other PR is being integrated and #7567 is considered duplicate?