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.
curl -O https://raw.githubusercontent.com/BackToCimaCoppi/Praxis/main/AGENTS.mdgit clone --depth 1 https://github.com/BackToCimaCoppi/PraxisWrote 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.
[](https://agentmods.dev/instructions/backtocimacoppi/praxis/agents-md)<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.
<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>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.
| Model | Per session | Once 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 |
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.
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总表已加对应行 - 脱敏自查:对全部新增/改动文件跑下面四条,零命中
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.
- 1mo ago First seen · 87 lines · 1,758 tokens per session scan A 3c72cfec3abd
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.
Praxis AGENTS.md compared with instructions from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| Praxis AGENTS.mdBackToCimaCoppi/Praxis | Instructions file | 6 | 3d ago | Apache-2.0 | A | 1,758 | Codex, OpenCode |
| vscode buildNext.instructions.mdmicrosoft/vscode | Instructions file | 195k | yesterday | MIT | A | 9,719 | GitHub Copilot |
| next.js AGENTS.mdvercel/next.js | Instructions file | 143k | yesterday | MIT | A | 7,461 | Codex, OpenCode |
| langchain AGENTS.mdlangchain-ai/langchain | Instructions file | 149k | yesterday | MIT | A | 4,680 | Codex, OpenCode |
| vscode oss-third-party-notices.instructions.mdmicrosoft/vscode | Instructions file | 195k | yesterday | MIT | A | 5,516 | GitHub Copilot |
| vscode copilot-instructions.mdmicrosoft/vscode | Instructions file | 195k | yesterday | MIT | A | 3,093 | GitHub Copilot |
| deepseek-harness AGENTS.mddeepseek-ai/deepseek-harness | Instructions file | 274k | 2d ago | MIT | A | 4,313 | Codex, OpenCode |