Push
SkillDev toolsRun pre-push checks including typecheck and tests.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Push skill
What this skill tells your AI
The instructions your AI receives, as published by seed-hypermedia/seed in .agents/skills/push/SKILL.md and read by ahel’s review.
Follow AGENTS.md first. Only run git commands that write state when the user explicitly asks to push or publish this
branch.
Run the following pre-push checks to ensure code quality before pushing to remote:
-
Type checking: Run
pnpm typecheckto check for TypeScript errors. -
If you find any errors, fix them.
-
Comment these lines in the
devfile:run("node scripts/cleanup-desktop.js") run("./scripts/cleanup-frontend.sh") -
Tests: Run
./dev build-desktop && pnpm web:prodto ensure the apps build properly and tests pass. -
Uncomment the lines in the
devfile. -
If there are any changes you made to fix the typecheck, ask before amending the existing commit.
-
Ask before running
git pull. -
Ask before running
git push. -
Report results: Provide a summary of which checks passed or failed.
If any check fails and you cannot fix it, describe that in the report and provide details about the errors so they can be fixed before pushing.
Signals
- GitHub stars
- 56
- Forks
- 12
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
push-seed-hypermedia- Source
- github.com/seed-hypermedia/seed