What is symphony-push?

A GitHub delivery workflow that pushes a committed branch to the remote repository and creates or updates its pull request.

It helps push a branch, configure tracking, recover from a non-fast-forward rejection by merging main, create or edit a pull request, and apply the required label.

It reduces the manual work of publishing a branch and keeps the pull request aligned with the latest committed changes.

symphony-push — Skill for Claude Code and Codex by anantjain-xyz

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent

npx skills add anantjain-xyz/symphony-rust --skill push

Clone the repo

git clone --depth 1 https://github.com/anantjain-xyz/symphony-rust

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

README.md

[![agentmods](https://agentmods.dev/badge/skills/anantjain-xyz/symphony-rust/push.svg)](https://agentmods.dev/skills/anantjain-xyz/symphony-rust/push)

Your own site

<a href="https://agentmods.dev/skills/anantjain-xyz/symphony-rust/push"><img src="https://agentmods.dev/badge/skills/anantjain-xyz/symphony-rust/push.svg" alt="Measured on agentmods" height="20"></a>

Per session 46 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.

When invoked 722 The whole file, excluding the scripts and references it only reads on demand.

Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.

Origin 88% copy Near-identical to another mod in the catalogue.

Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

Model	Per session	Once invoked
Fable 5.1	$0.00046	$0.00722
Opus 5	$0.00023	$0.00361
Sonnet 5	$0.00009	$0.00144
Haiku 4.5	$0.00005	$0.00072

Measured 7d ago against content hash cc7a7e76a8ff, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-07, from the pricing page.

Security

Grade A, and why

symphony-push scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 7d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

Origin

This is a copy

88% identical to symphony-push — 2 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.

src-tauri/assets/skills/push/SKILL.md · 49 lines

How it starts

The opening of the file, as written. The whole thing — 49 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Push

Preconditions

gh auth status succeeds, and plain git push has credentials for the repo host. If relying on GitHub CLI for HTTPS git credentials, run gh auth setup-git first (gh auth setup-git --hostname <host> for a non-default host). GITHUB_TOKEN/GH_TOKEN alone can authenticate gh pr ... commands but is not enough for git push -u origin HEAD.
Working tree is committed (use the symphony-commit skill first).
The target repository's documented validation gate has been run for the latest commit.

Steps

Identify the branch: branch=$(git branch --show-current).
Push with upstream tracking:
```
git push -u origin HEAD
```
If the push is rejected as non-fast-forward, run the symphony-pull skill to merge origin/main, re-run validation, then push again. Use --force-with-lease only when you knowingly rewrote history; never use --force.
Ensure a PR exists for the branch:
```
pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
```
- Empty → gh pr create --title "<title>" --body "<body>".
- OPEN → gh pr edit --title "<title>" --body "<body>" if scope shifted.
- CLOSED/MERGED → branch is non-reusable; cut a fresh branch from origin/main.
Title: short (< 70 chars), describes the outcome of the change, not the most recent fix. For Symphony issues, prefer SYM-NN: <summary>.
Body: refresh to reflect total branch scope (not only the latest commits). Use the project's PR template if one exists.

Apply the symphony label via REST (the gh pr edit --add-label path 500s on this org due to a Projects-classic GraphQL deprecation):

pr_number=$(gh pr view --json number -q .number)
repo=$(gh repo view --json nameWithOwner -q .nameWithOwner)
gh api -X POST "repos/${repo}/issues/${pr_number}/labels" -f 'labels[]=symphony'

Capture the PR URL: gh pr view --json url -q .url.
Attach the PR URL to the active Linear issue. The auto-link from git push usually creates a Linear attachment automatically; if not, fall back to GraphQL attachmentLinkURL (or attachmentLinkGitHubPR for GitHub-specific link metadata).

Read the full file on GitHub · 49 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

7d ago First seen · 49 lines · 46 tokens per session scan A cc7a7e76a8ff

Subscribe to this mod's changes

symphony-push is a skill published in the GitHub repository anantjain-xyz/symphony-rust (11 stars, last pushed 25d ago), licensed MIT. It adds 46 tokens to every session and 722 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. It is 88% identical to symphony-push, differing in 2 lines, and is treated as a copy.

Git and workflow

prowler-commit

Creates professional git commits following conventional-commits format. Trigger: When creating commits, after completing code changes, when user asks to commit.

prowler-cloud/prowler · 33 tokens

gh-auth-isolation

Safely manage multiple GitHub identities (EMU + personal) in agent workflows.

github/gh-aw · 20 tokens

comet-github

A routing guide for Comet-related GitHub work. It directs requests about pull requests, issues, CI failures, ideas, and fixes to the appropriate review or implementation process.

rpamis/comet · 72 tokens

github-skill

Work with GitHub via the gh CLI — clone repositories, create/list/merge pull requests, create/list issues, and run any other gh command (API calls, workflow runs, releases, repo administration). List operations return parsed JSON.

zeenie-ai/OpenCompany · 51 tokens

codex-autoresearch

Run autonomous, measurable experiments in a Git repository: change one hypothesis, verify a numeric metric, keep improvements, and revert failures. Use when the user wants Codex to keep iterating toward a numeric target in the foreground or as a detached background run. Do not use for ordinary one-shot coding…

leo-lilinxiao/codex-autoresearch · 80 tokens

changelog-composer

Generates structured changelogs and release notes from git history and PRs, classifying breaking changes, features, fixes, performance, docs. Triggers on: "generate changelog", "write release notes", "what changed since", "prepare release", "release notes for", "diff since tag".

Mathews-Tom/armory · 67 tokens