praxis-devos: Instructions file for Codex

AGENTS.md

praxis-devos AGENTS.md is an instructions file for Codex, OpenCode from chhuax/praxis-devos. It costs 1,367 tokens per session, scanned A, original, Apache-2.0.

Project instructions for Praxis DevOS, a system that guides coding agents through planning, implementation, reviews, and project rules. They define when to use an OpenSpec proposal, which is a written plan for larger or unclear changes.

In plain words
What is it for?
Guiding feature work, bug fixes, reviews, tests, and release-related tasks in projects using Praxis DevOS, OpenSpec, and SuperPowers.
Why use it?
They give agents a consistent way to choose a workflow and follow project safeguards, including release checks and required reading order.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: mentions Claude Code; reads ~/.codex paths; mentions AGENTS.md.

This is chhuax/praxis-devos's own configuration. It tells Codex and OpenCode how to work on praxis-devos 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-devos configures →

Reuse

Borrowing it

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

Made for: Codex, OpenCode.

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-devos AGENTS.md

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/chhuax/praxis-devos/agents-md"><img src="https://agentmods.dev/badge/instructions/chhuax/praxis-devos/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,367 This file is loaded in full into every session.
When invoked 1,367 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.01367 $0.01367
Opus 5.5 $0.00547 $0.00547
Sonnet 5.5 $0.00273 $0.00273
Haiku 4.5 $0.00137 $0.00137

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

Security

Grade A, and why

praxis-devos AGENTS.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.

AGENTS.md · 94 lines

How it starts

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

This block is maintained by Praxis DevOS. Run npx praxis-devos update to refresh it.

Flow Selection

  • Enter an OpenSpec proposal flow for medium or large changes, cross-module changes, interface or compatibility changes, architecture or process refactors, or any request with unclear requirements, unresolved open questions, or competing solution options.
  • In those cases, start with the OpenSpec proposal or exploration stage and finish clarification and option comparison inside the current OpenSpec stage before implementation.
  • Use the OpenSpec implementation stage only for small, local implementation work with low ambiguity and no proposal need.
  • Reviews and audit-style requests should follow the review flow.
  • Routing examples — requests that REQUIRE proposal first: "帮我加一个 X"、"新增 Y 能力"、"我想做一套 Z workflow"、"add a release kit"、"implement feature X". These introduce new capabilities or cross-cutting concerns and must go through proposal first.
  • Routing examples — requests that can use the implementation stage directly: "修一下这个 bug"、"改一下这段文案"、"update the version number"、"fix the failing test". These are small, scoped fixes with no design ambiguity.

Project Reading Order

  • On first entry, read docs/surfaces.yaml first.
  • Read docs/codemaps/project-overview.md if needed.
  • Read other docs/codemaps/** artifacts on demand rather than by default.

OpenSpec + Superpowers Contract

  • Inside OpenSpec, exploration, proposal, implementation, and archive are the only visible workflow layer.
  • Superpowers may run only as embedded capabilities inside the active OpenSpec stage.
  • Do not re-announce Using [skill] or superpowers:<skill>, and do not create a second workflow, second wrap-up, or separate document tree.
  • Keep all stage-local outputs under openspec/changes/<change>/...; do not write docs/superpowers/....
  • Capability execution is judged by evidence in the user-level Praxis state directory, not by user-visible announcements.

Read the full file on GitHub · 94 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. 2mo ago First seen · 94 lines · 1,367 tokens per session scan A eaccf8389863

Subscribe to this mod's changes

praxis-devos AGENTS.md is an instructions file published in the GitHub repository chhuax/praxis-devos (21 stars, last pushed 6mo ago), licensed Apache-2.0. It adds 1,367 tokens to every session, about $0.0055 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-30.

Related

praxis-devos AGENTS.md compared with instructions from other repositories

praxis-devos AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
praxis-devos AGENTS.mdchhuax/praxis-devosInstructions file216mo agoApache-2.0A1,367Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143kyesterdayMITA7,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