Add Devin CLI plugin manifest (#318)
Adds `.devin-plugin/plugin.json` so the plugin can be installed with `devin plugins install DietrichGebert/ponytail`. The skills/ directory is already at the repo root, which is exactly where Devin expects it. Registers the new manifest in `scripts/check-versions.js` so it stays in sync with every other host manifest on release. Updates README: install/uninstall instructions, badge (14 → 15 agents), and Devin added to the skill-capable hosts list in Commands. Generated with [Devin](https://devin.ai) Co-authored-by: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
T
topher committed
7790c37b679184ced3f118e903b9df2fb111f03d
Parent: 203f5fd
Committed by GitHub <noreply@github.com>
on 6/26/2026, 12:26:13 AM