docs-mcp-server: Command for GitHub Copilot

.github/prompts/opsx-propose.prompt.md

opsx-propose is a command for GitHub Copilot from arabold/docs-mcp-server. It costs 15 tokens per session (3,406 once invoked), scanned A, original, MIT.

An OpenSpec workflow command for proposing a new software change and generating its planning documents. OpenSpec is a system for describing proposed work before it is implemented.

In plain words
What is it for?
Use it to create a proposal, specification changes, design, and implementation task list; it does not implement the code.
Why use it?
It separates planning from coding, reducing the chance that an agent starts implementation before the requirements and design are agreed.

Command for GitHub Copilot

Written for GitHub Copilot: a Copilot chat mode or prompt.

This is arabold/docs-mcp-server's own configuration. It tells GitHub Copilot how to work on docs-mcp-server itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything docs-mcp-server configures →

About the project

Grounded Docs is an MCP server that builds a local, version-aware index of documentation from websites, code repositories, package registries, local files, and archives for AI coding assistants. It helps assistants retrieve current project-specific documentation and supports MCP-compatible clients such as Claude, Cline, and similar tools. The catalogue add-ons provide skills, commands, and instructions for working with this documentation server.

arabold/docs-mcp-server · 1,813 stars · on GitHub · grounded.tools

Reuse

Borrowing it

Nothing to install: this file belongs to arabold/docs-mcp-server. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/arabold/docs-mcp-server/main/.github/prompts/opsx-propose.prompt.md
Clone the repo
git clone --depth 1 https://github.com/arabold/docs-mcp-server

Made for: GitHub Copilot.

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.

agentmods badge for opsx-propose

README.md
[![agentmods](https://agentmods.dev/badge/commands/arabold/docs-mcp-server/opsx-propose/github.svg)](https://agentmods.dev/commands/arabold/docs-mcp-server/opsx-propose)
Your own site
<a href="https://agentmods.dev/commands/arabold/docs-mcp-server/opsx-propose"><img src="https://agentmods.dev/badge/commands/arabold/docs-mcp-server/opsx-propose/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for opsx-propose

Your own site · 80×15
<a href="https://agentmods.dev/commands/arabold/docs-mcp-server/opsx-propose"><img src="https://agentmods.dev/badge/commands/arabold/docs-mcp-server/opsx-propose.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 15 Only the description is in the session, so the agent can decide to use it. The body loads when it is invoked.
When invoked 3,406 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 original No closer match found 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.

ModelPer sessionOnce invoked
Fable 5.1 $0.00015 $0.03406
Opus 5.5 $0.00006 $0.01362
Sonnet 5.5 $0.00003 $0.00681
Haiku 4.5 $0.00002 $0.00341

Measured 28d ago against content hash 95be22b0f873, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

opsx-propose 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 28d 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

Copies of this mod

2 near-identical copies found in the catalogue:

.github/prompts/opsx-propose.prompt.md · 167 lines

How it starts

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

Propose a new change - create the change and generate all artifacts in one step.

Planning boundary: This workflow creates planning artifacts only. The user request that selected or triggered this workflow authorizes planning only, even if it asks to build or fix something. Do not edit project code. After the planning artifacts are complete, stop. Do not start implementation in the same response, even if the initial request asks for it. Wait for a new user request after the artifacts are presented; then start the apply workflow.

I'll create a change with the artifacts your schema defines. With the default spec-driven schema that is:

  • proposal.md (what & why)
  • specs/<capability-path>/spec.md (what the system must do - a delta, not the main spec)
  • design.md (how)
  • tasks.md (implementation steps)

<capability-path> is the spec directory relative to specs/ (for example, user-auth or identity/user-auth). Preserve an existing capability's full path and follow the project's established organization for new capabilities.

When the user is ready to implement, they must start the apply workflow explicitly.


Store selection: If the user names a store (a store is a standalone OpenSpec repo registered on this machine) or the work lives in one, run openspec store list --json to discover registered store ids, then pass --store <id> on the commands that read or write specs and changes (new change, status, instructions, list, show, validate, archive, doctor, context, schemas, view). Once selected, treat --store <id> as sticky for the rest of the workflow. Every unscoped example of those commands below is shorthand: before running it, append the flag. For example, run openspec status --change "<name>" --json --store "<id>", not the unscoped form shown below. Other commands do not take the flag. Hints printed by commands already carry the flag; keep it on follow-ups. Without a store, commands act on the nearest local openspec/ root.

Project check: These steps expect a project that already uses OpenSpec. Before the first step that writes anything (new change, archive, sync specs, or authoring an artifact file), confirm the project has a root: run openspec list --json (with --store <id> when a store is selected, since the store is then the root) and read root. A root object means the project is set up. "root": null means it is not - there is no openspec/ directory here, and a write such as openspec new change would create one as a side effect. The command also exits non-zero, which is that answer rather than a broken CLI, so read the JSON instead of retrying or working around it.

One "root": null is not about setup: when a status error message starts with Declared in or Invalid store declaration in and names this project's openspec/config.yaml (or config.yml), the project does use OpenSpec through a store it declares, which this machine cannot resolve (the store is not registered, or the store: line is malformed). Do not treat it as uninitialized and skip the branches below: stop before writing and show the user that error's message and fix.

Otherwise, with no root, what happens next depends on how this workflow was reached:

  • Auto-selected: you chose this workflow yourself, without the user naming OpenSpec, naming this skill, or running its slash command. Stop using OpenSpec and answer the request normally, as you would with no OpenSpec installed. Do not ask them to set anything up and do not mention OpenSpec setup.
  • Explicit OpenSpec request: the user named OpenSpec, named this skill, or ran its slash command. Stop before writing and ask how to proceed: set this project up (openspec init), target a store they already have (--store <id>), or continue without OpenSpec for this request. Wait for their answer.

In both branches, never create the root as a side effect: do not run openspec init until the user asks for it, do not hand-create openspec/ files, and do not let a command create it.

Read the full file on GitHub · 167 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.

  1. 28d ago First seen · 167 lines · 15 tokens per session scan A 95be22b0f873

Subscribe to this mod's changes

opsx-propose is a command published in the GitHub repository arabold/docs-mcp-server (1,813 stars, last pushed today), licensed MIT. It adds 15 tokens to every session and 3,406 once invoked, about $0.0001 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-20.