praxis: Instructions file for GitHub Copilot

.github/copilot-instructions.md

praxis copilot-instructions.md is an instructions file for GitHub Copilot from jeet129/praxis. It costs 393 tokens per session, scanned A, original, MIT.

A set of instructions for using GitHub Copilot with Praxis, a library of skills, agents, workflows, and project rules for software delivery.

In plain words
What is it for?
Finding relevant Praxis skills, applying project-specific modes and compliance requirements, and guiding software work from planning through delivery.
Why use it?
It helps Copilot choose the appropriate workflow and follow the repository's project settings and engineering rules.

Instructions file for GitHub Copilot

Written for GitHub Copilot: a Copilot instructions file.

This is jeet129/praxis's own configuration. It tells GitHub Copilot how to work on praxis 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 praxis configures →

Reuse

Borrowing it

Nothing to install: this file belongs to jeet129/praxis. 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/jeet129/praxis/main/.github/copilot-instructions.md
Clone the repo
git clone --depth 1 https://github.com/jeet129/praxis

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 praxis copilot-instructions.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/jeet129/praxis/copilot-instructions/github.svg)](https://agentmods.dev/instructions/jeet129/praxis/copilot-instructions)
Your own site
<a href="https://agentmods.dev/instructions/jeet129/praxis/copilot-instructions"><img src="https://agentmods.dev/badge/instructions/jeet129/praxis/copilot-instructions/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 praxis copilot-instructions.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/jeet129/praxis/copilot-instructions"><img src="https://agentmods.dev/badge/instructions/jeet129/praxis/copilot-instructions.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 393 This file is loaded in full into every session.
When invoked 393 The same file — it is already loaded in full.
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.00393 $0.00393
Opus 5.5 $0.00157 $0.00157
Sonnet 5.5 $0.00079 $0.00079
Haiku 4.5 $0.00039 $0.00039

Measured 2mo ago against content hash ebac710c1aba, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

praxis copilot-instructions.md 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 2mo 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.

.github/copilot-instructions.md · 28 lines

What it actually says

GitHub Copilot — Praxis Integration

This repository ships the Praxis — a structured library of skills, agents, and workflows for end-to-end software delivery.

Discovering the right skill

For any non-trivial task, consult skills/using-praxis/SKILL.md — the front-door SKILL with the full intent → workflow → agent → skill decision tree.

Activation flags

Read .project/semantic/project-charter.md to know the project's mode (G/B), data/ML/agentic-AI flags, compliance regimes, scale targets, and stack preferences. Skills activate per these flags.

Where things live

  • Skills: skills/<name>/SKILL.md (84 SKILLs)
  • Agent personas: agents/*.md (16 role agents)
  • Workflows: workflows/*.yaml
  • Governance gates: governance/governance.yaml (7 active + 4 conditional)
  • Cross-cutting references: references/
  • Project memory: .project/ (six-type taxonomy)

Key disciplines (always apply)

  1. Source-grounded coding — skills/source-grounded-coding/SKILL.md. Verify framework decisions against official docs; cite sources; flag unverified.
  2. Doubt-driven decisions — skills/doubt-driven-decisions/SKILL.md. CLAIM → EXTRACT → DOUBT → RECONCILE → STOP for non-trivial decisions.
  3. Engineering standards — skills/engineering-standards/SKILL.md + references/git-workflow-checklist.md + references/code-simplification-heuristics.md.

What NOT to do

  • Don't write code citing no source for non-trivial framework decisions (hallucination risk).
  • Don't skip the discovery phase on greenfield projects.
  • Don't merge changes that haven't gone through the appropriate review SKILL.
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. 2mo ago First seen · 28 lines · 393 tokens per session scan A ebac710c1aba

Subscribe to this mod's changes

praxis copilot-instructions.md is an instructions file published in the GitHub repository jeet129/praxis (7 stars, last pushed 5d ago), licensed MIT. It adds 393 tokens to every session, about $0.0016 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-08-31.

Related

praxis copilot-instructions.md compared with instructions from other repositories

praxis copilot-instructions.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
praxis copilot-instructions.mdjeet129/praxisInstructions file75d agoMITA393GitHub Copilot
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143ktodayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149kyesterdayMITA4,680Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA5,516GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file274k2d agoMITA4,313Codex, OpenCode