Skip to content

docs(agents): sync from rivet-dev/agents - #125

Merged
eersnington merged 1 commit into
mainfrom
docs-sync/agents
Oct 7, 2026
Merged

eersnington merged 1 commit into
mainfrom
docs-sync/agents

Conversation

@NathanFlurry

Copy link
Copy Markdown
Member

Automated docs sync from rivet-dev/agents@a9c369f.

Do not edit vendor/agents/ here. Edit the docs in rivet-dev/agents and this PR updates itself.

@railway-app
railway-app Bot temporarily deployed to rivet-website / website-pr-125 October 6, 2026 00:52 Destroyed
@railway-app

railway-app Bot commented Oct 6, 2026 •

Copy link
Copy Markdown

🚅 Deployed to the website-pr-125 environment in rivet-website

Service Status Web Updated
website ✅ Success (View Logs) Web Oct 7, 2026 at 3:32 pm UTC

@the-company-company the-company-company Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ No issues found

Reviewed commit 44571b7.

@railway-app
railway-app Bot temporarily deployed to rivet-website / website-pr-125 October 6, 2026 07:15 Destroyed
@railway-app
railway-app Bot temporarily deployed to rivet-website / website-pr-125 October 7, 2026 15:25 Destroyed

@the-company-company the-company-company Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟠 1 medium-severity finding

Reviewed commit 118d023.

Comment on lines +11 to +15
parameters: Type.Object({ repo: Type.String(), branch: Type.String(), title: Type.String() }),
// No replay: if a crash cuts this call off, the model learns it never completed
// and can check for an existing pull request before opening another.
execute: async ({ repo, branch, title }) => {
const response = await fetch(`https://api.github.com/repos/${repo}/pulls`, {

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟠 Medium · Bind the privileged GitHub tool to an allowed repository

repo is chosen by the model, while the tool attaches GITHUB_TOKEN to the resulting write. The webhook title is attacker-controlled prompt input, so an issue can instruct the model to pass a different repository and open a pull request anywhere the token has access. Remove repo from the tool schema and bind the operation to a repository selected and authorized outside the model, or enforce an explicit allowlist before this request (with the token scoped to the same repository).

@eersnington
eersnington merged commit 1297517 into main Oct 7, 2026
4 checks passed
@eersnington
eersnington deleted the docs-sync/agents branch October 7, 2026 15:43

This branch was successfully deployed

No deployments
rivet-website / website-pr-125 — 118d0231 Deployed Oct 7, 2026 by railway-app[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants