Push

SkillDev tools

Run pre-push checks including typecheck and tests.

Available today. Use it from your connected AI after setup.

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:

  1. Type checking: Run pnpm typecheck to check for TypeScript errors.

  2. If you find any errors, fix them.

  3. Comment these lines in the dev file:

    run("node scripts/cleanup-desktop.js")
    run("./scripts/cleanup-frontend.sh")
    
  4. Tests: Run ./dev build-desktop && pnpm web:prod to ensure the apps build properly and tests pass.

  5. Uncomment the lines in the dev file.

  6. If there are any changes you made to fix the typecheck, ask before amending the existing commit.

  7. Ask before running git pull.

  8. Ask before running git push.

  9. 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