Praxis: Instructions file for Codex

AGENTS.md

Praxis AGENTS.md is an instructions file for Codex, OpenCode from BackToCimaCoppi/Praxis. It costs 1,758 tokens per session, scanned A, original, Apache-2.0.

A set of contribution instructions for the Praxis repository, including how to format skills and documents and how to avoid exposing project-specific or sensitive information.

In plain words
What is it for?
Use it when creating or reviewing skills, documentation, scripts, project-specific patches, and contribution checklists in that repository.
Why use it?
It gives people and coding agents shared rules for adding changes safely and consistently without hard-coding private project details.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: mentions AGENTS.md; mentions Codex.

This is BackToCimaCoppi/Praxis's own configuration. It tells Codex and OpenCode 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 BackToCimaCoppi/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/BackToCimaCoppi/Praxis/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/BackToCimaCoppi/Praxis

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

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/backtocimacoppi/praxis/agents-md"><img src="https://agentmods.dev/badge/instructions/backtocimacoppi/praxis/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,758 This file is loaded in full into every session.
When invoked 1,758 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.01758 $0.01758
Opus 5.5 $0.00703 $0.00703
Sonnet 5.5 $0.00352 $0.00352
Haiku 4.5 $0.00176 $0.00176

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

Security

Grade A, and why

Praxis 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 1mo 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 · 87 lines

How it starts

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

Praxis 贡献规范(AI 与人共同遵守)

本文件是向 Praxis 新增或修改 skill 的规范真值源。任何人或 AI 工具 往本仓库加 skill 时,必须逐条对齐以下规则,使全库格式始终统一——不靠记忆、不靠自觉。

本仓使用 AGENTS.md 和 .agents/skills/ 约定;skills/ 是公开分发源码目录,安装后进入用户或项目的 .agents/skills/。


1. Skill 格式

  • 目录:skills/<kebab-名>/,主文件 skills/<kebab-名>/SKILL.md。名称用小写连字符(kebab-case)。
  • frontmatter(SKILL.md 开头的 YAML)必须含:
    • name:与目录名一致
    • description:一句话用途 + 触发词(用户说什么词会触发本 skill)
    • 可选 allowed-tools:限定本 skill 能用的工具
  • 只放通用引擎:任何项目特定值(目录路径、业务域、死亡线区域、金标准领域、真实审查人、 服务器/数据库信息)一律不硬编码,而是声明为「项目级补丁挂载点」,由使用者按 templates/项目级补丁模板/ 自行填充。
  • 权限角色不得折叠成“用户”:任务发起人、业务决策负责人、环境所有者/发布授权人、候选验收人是独立角色;个人项目可以由一人兼任,团队项目可按职责分离。skill 不得因当前交互方启动任务、批准计划或触发 goal,就推定其拥有环境抢占、生产发布或最终验收权限。
  • 共享环境策略只由项目补丁声明:通用 skill 不硬编码占用有效期、失效判据或抢占规则;启动任务不构成环境授权。没有释放、按规则失效或环境所有者明确授权时,优先隔离环境,否则交付可恢复阻塞。
  • 跨 skill 引用用同级相对路径(如 adversarial-review/references/证据包制作规范.md),绝不写本机绝对路径。
  • 附属文件放 references/(参考文档)、assets/(模板)、scripts/(脚本)子目录;脚本用环境变量 解析路径,禁止硬编码绝对路径。

2. 文档格式

  • 每个 skill 必须配一篇 docs/<名>.md,文件名与 skill 同名。

  • 强制四段式结构,标题原样、顺序不变:

    # <skill 名>
    
    > 一句话定位
    
    ## 这是什么        —— 干什么 + 边界(管什么 / 不管什么)
    ## 解决什么问题    —— 不用它会遇到什么痛点(问题空间语言)
    ## 为什么这么设计  —— 核心机制 + 关键取舍
    ## 怎么用          —— 触发词 / 流程 / 最小示例 / 常见坑
    
  • 简体中文,面向初次接触者,手把手但不啰嗦(建议 60–180 行)。

  • 新增 skill 后,必须同步在 README.md 的 Skill 总表里加一行 (名称 + 一句话 + 场景 + 跳转 docs/<名>.md)。

3. 脱敏红线(开源仓硬约束,最高优先级)

  • 禁止出现:个人信息、真实姓名/昵称、私有项目名、真实公司名、真实仓库/账号、 密钥/凭证(sk-*、AKIA*、password、token 等)、本机绝对路径。
  • 「为什么创建/为什么这么设计」只用问题空间语言——讲普遍痛点,不写任何个人或具体项目背景。
  • 示例一律用通用虚构域(订单/商品/支付/优惠券等),不引用真实业务。

4. 新增 Skill 自检清单(提 PR 前逐条打勾)

  • 目录为 skills/<kebab-名>/,含 SKILL.md,frontmatter 有 name + description(带触发词)
  • 无任何项目特定硬编码,项目特定值都走补丁挂载点
  • 已区分治理角色;未把任务发起或当前交互方默认当成业务、环境、发布和验收的全部授权者
  • 共享环境遵守项目占用策略;未把启动任务写成自动授权或自动抢占
  • 跨 skill 引用为同级相对路径,无绝对路径
  • 已写 docs/<名>.md,四段式齐全
  • README.md 总表已加对应行
  • 脱敏自查:对全部新增/改动文件跑下面四条,零命中

Read the full file on GitHub · 87 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. 1mo ago First seen · 87 lines · 1,758 tokens per session scan A 3c72cfec3abd

Subscribe to this mod's changes

Praxis AGENTS.md is an instructions file published in the GitHub repository BackToCimaCoppi/Praxis (6 stars, last pushed 3d ago), licensed Apache-2.0. It adds 1,758 tokens to every session, about $0.0070 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-24.

Related

Praxis AGENTS.md compared with instructions from other repositories

Praxis AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
Praxis AGENTS.mdBackToCimaCoppi/PraxisInstructions file63d agoApache-2.0A1,758Codex, 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