Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add agents/marko-php/marko/copilotgit clone --depth 1 https://github.com/marko-php/markoWhat 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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00019 | $0.00762 |
| Opus 5 | $0.00010 | $0.00381 |
| Sonnet 5 | $0.00004 | $0.00152 |
| Haiku 4.5 | $0.00002 | $0.00076 |
Grade A, and why
copilot 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 2d 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.
How it starts
The opening of the file, as written. The whole thing — 58 lines — stays where its author put it; the contents beside it link to each section on GitHub.
GitHub Copilot is available in VS Code, JetBrains IDEs, and the terminal via the gh copilot extension. devai:install configures it with workspace instructions and MCP server registration.
Prerequisites
- GitHub Copilot subscription active on your GitHub account
- VS Code with the GitHub Copilot extension, or a JetBrains IDE with the Copilot plugin
marko/devaiinstalled (see Installation)
What devai:install writes
Running marko devai:install with Copilot detected produces the following files:
.github/copilot-instructions.md # Workspace-level guidelines for Copilot Chat
.vscode/mcp.json # MCP server registration (marko mcp:serve)
AGENTS.md # Shared guidelines file (devai-managed marker block)
Copilot does not implement LSP registration and no skills are distributed for Copilot.
copilot-instructions.md
The .github/copilot-instructions.md file is read by Copilot Chat for every workspace session. The installer writes merged Marko guidelines inside a <!-- BEGIN/END marko:devai --> marker block, so your own edits outside the markers survive re-runs (see Editing generated files):
- Module structure and naming conventions
- Available MCP tools
- Project-specific guidelines from every installed package's
resources/ai/guidelines.md
MCP registration
The .vscode/mcp.json file registers marko mcp:serve as an MCP server using the servers key (not mcpServers). Each entry includes a type field for the transport. Copilot Chat's agent mode can call tools like find_event_observers and validate_module when answering questions about your project.
AGENTS.md
devai:install writes the shared AGENTS.md guidelines inside a <!-- BEGIN/END marko:devai --> marker block: created if absent, and on later runs only the marked region is refreshed, so content you add outside the markers is preserved. Remove the markers to take full ownership — devai then leaves the file alone. See Editing generated files.
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.
- 2d ago First seen · 58 lines · 19 tokens per session scan A 7fa85eade309
copilot is an agent published in the GitHub repository marko-php/marko (393 stars, last pushed 3d ago), licensed MIT. It adds 19 tokens to every session and 762 once invoked, about $0.0001 per session on Opus 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-08-30.
Other agents, from other repositories
fixture-reviewer
Audits .test integration fixtures under tests/php/Integration/Fixtures for drift against the current compiler output. Use after lexer, parser, analyzer, or emitter changes.
module-docs-sync
Audits and updates CLAUDE.md files in src/php/ modules to match the actual code. Use after large refactors, new modules, or periodic maintenance.
tdd-coach
Guides test-driven development with red-green-refactor discipline. Use when implementing features or fixes with TDD.
quick-syntax
One-screen cheatsheet. For exhaustive rules see RULES.md; for typing details see tasks/typed-defn.md.
index
Agent "index" from phel-lang/phel-lang, covering agent index, intent map and examples.
changelog-keeper
Maintains CHANGELOG.md by analyzing commits since last release. Use when updating changelog, preparing releases, or reviewing what changed.