code agent
Praxen Inc. investigates the issue and hands the fix to Amp, the coding agent by Sourcegraph, which opens the pull request on your GitHub using your Amp token.
Connect
Connect Amp from the terminal. Pass --help for the flags Amp accepts.
Terminal
praxen integration connect --type ampAccess token from your Amp account.
Connect Amp to delegate autofix implementation to Amp agents. Praxen Inc. investigates and proposes the fix; an Amp agent works in a hosted orb and opens the pull request on your GitHub. Bring your own Amp access token.
Setup
- In Amp, go to Settings → Security and choose Copy Token (it starts with
sgamp_). - In Amp, connect GitHub under Settings → Integrations, and add each repository you want fixed as an Amp project.
- Make sure the Amp account has credits.
- Paste the token into Praxen Inc.
Connecting makes Amp the executor for every autofix the workspace creates. You can switch back to the Praxen Inc. executor on the integration's settings page.
Disconnect
Disconnecting stops every sync and check and deletes the credentials Praxen Inc. held. Everything Praxen Inc. set up in Amp is removed as well; nothing is left behind.
Terminal
praxen integration disconnect <id>