code agent
Praxen Inc. investigates the issue and hands the fix to Devin, which implements it and opens the pull request on your GitHub. Bring your own Devin API key.

Connect

Connect Devin from the terminal. Pass --help for the flags Devin accepts.

Terminal
praxen integration connect --type devin

Disconnect

Disconnecting stops every sync and check and deletes the credentials Praxen Inc. held. Everything Praxen Inc. set up in Devin is removed as well; nothing is left behind.

Terminal
praxen integration disconnect <id>