Skip to content

Add tokrepo-agent-discovery.instructions.md — registry-first reusable artifact authoring#1741

Open
henu-wang wants to merge 1 commit into
github:mainfrom
henu-wang:add-tokrepo-discovery
Open

Add tokrepo-agent-discovery.instructions.md — registry-first reusable artifact authoring#1741
henu-wang wants to merge 1 commit into
github:mainfrom
henu-wang:add-tokrepo-discovery

Conversation

@henu-wang
Copy link
Copy Markdown

What this PR adds

A new instructions file instructions/tokrepo-agent-discovery.instructions.md that teaches GitHub Copilot to call TokRepo's MCP discovery before generating new reusable artifacts (skills, prompts, MCP configs, reusable scripts).

Scope (matches existing instructions/ conventions)

applyTo is scoped to reusable-artifact paths:

  • **/SKILL.md, **/*.prompt.md, **/.mcp.json, **/scripts/**, **/.github/skills/**, **/.claude/skills/**

This avoids firing on general coding tasks (per CONTRIBUTING's "Duplicate Existing Model Strengths" rule) and addresses the specialized workflow gap: agents repeatedly re-generating skills/prompts/configs that already exist in a registry.

5 MUST rules codified

  1. DISCOVER BEFORE BUILD — call tokrepo_discover first
  2. VERIFY BEFORE INSTALLtokrepo_verify + tokrepo_install_plan gates
  3. DRY-RUN BEFORE APPLY — lifecycle tools default dry_run: true
  4. HANDOFF AFTER REUSABLE WORKtokrepo_handoff_plan returns read-only draft
  5. PRIVATE BY DEFAULTtokrepo_push defaults to visibility: 0; strip secrets

What TokRepo is

  • MCP server (tokrepo-mcp-server on npm; hosted at https://tokrepo.com/mcp) — 12 tools for discover / verify / install_plan / install / lifecycle / handoff / push.
  • CLI (tokrepo on npm) — npx tokrepo init-agent --target copilot bootstraps a project's .github/copilot-instructions.md + machine-readable .tokrepo/agent.json.
  • Public agent funnel at https://tokrepo.com/agent-stats — anonymous aggregate of real agent events (discover, verify, install, handoff) on a 14-day window.
  • Official MCP Registry: io.github.henu-wang/tokrepo-mcp-server (v2.12.1).

Source / docs / paid-service disclosure

Happy to adjust the description, applyTo glob, or rule wording to match the repo's conventions.

@aaronpowell aaronpowell added the branched-main PR appears to include plugin files materialized from main label May 18, 2026
@github-actions github-actions Bot force-pushed the main branch 9 times, most recently from ee54d08 to 49c2bd3 Compare May 19, 2026 02:34
@henu-wang henu-wang force-pushed the add-tokrepo-discovery branch from 12177a4 to 16ea180 Compare May 19, 2026 05:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

branched-main PR appears to include plugin files materialized from main

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants