agentmods.dev

progi: Instructions file for Codex

AGENTS.md

progi AGENTS.md is an instructions file for Codex, OpenCode from zseta/progi. It costs 1,887 tokens per session, scanned A, original, MIT.

Project instructions for Progi, a workflow engine that runs repeatable tasks step by step and provides a web screen for tracking them.

In plain words
What is it for?
Use them when working on Progi’s workflows, task states, MCP server, monitoring web app, or database access.
Why use it?
They give coding agents consistent rules for understanding the project and keeping database changes in one place.

Instructions file for CodexOpenCode

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

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

not rated 3repo 4mo ago A scan 1,887 tokens original MIT
View source ↗ zseta/progi progi.dev
Reuse

Borrowing it

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

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

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/zseta/progi/agents-md"><img src="https://agentmods.dev/badge/instructions/zseta/progi/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,887 This file is loaded in full into every session.
When invoked 1,887 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.01887 $0.01887
Opus 5.5 $0.00755 $0.00755
Sonnet 5.5 $0.00377 $0.00377
Haiku 4.5 $0.00189 $0.00189

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

Security

Grade A, and why

progi 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 · 176 lines

How it starts

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

AGENTS.md

What this is

Progi is an MCP-native workflow engine. Key terms:

  • workflow: a reusable template of ordered steps; defines a repeatable, reused across many tasks
  • step: one unit of work in a workflow; has a playbook, an input spec, and an output spec
  • playbook: markdown attached to a step; the agent reads it via start_or_continue_task and follows it
  • task: a single execution of a workflow; progresses through steps one at a time with lifecycle todo → in_progress → done

Two interfaces over one SQLite DB:

  • Progi MCP server (FastMCP, stdio) — the work loop runs here, inside the user's harness.
  • Progi Monitoring (FastAPI + Jinja + Alpine/AlpineAJAX) — a web app for tracking tasks and reviewing workflows.

The one rule

All database access goes through progi/db.py. MCP tools and web routes are thin adapters that call named functions there — they never write SQL. This is what keeps LLM-driven and human-driven edits behaviorally identical.

Layout

File Role
progi/db.py Schema (SQLAlchemy Core) + all queries, mutations, and state-transition logic
progi/mcp_server.py @mcp.tool wrappers (work loop + workflow authoring)
progi/web/app.py FastAPI routes → Jinja partials
progi/prompts/ Pass 1 / Pass 2 authoring system prompts (served by tools)
progi/seed.py "Blog Post" workflow + sample task (idempotent)
tests/test_db.py DB roundtrip, full work loop, authoring

Frontend / UI components

Templates live in progi/web/templates/. The UI stack is:

  • Tailwind CSS v4 (compiled by the standalone CLI via just build)
  • Alpine.js v3 + Alpine AJAX — vendored to static/vendor/ by just vendorize
  • PenguinUI — a copy-paste component library; no install needed

Using PenguinUI

Browse components at https://www.penguinui.com/components, pick what you need, and paste the HTML directly into a template. There is nothing to download or import — PenguinUI components are just Tailwind + Alpine markup.

Read the full file on GitHub · 176 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 · 176 lines · 1,887 tokens per session scan A 3204b6fe2040

Subscribe to this mod's changes

progi AGENTS.md is an instructions file published in the GitHub repository zseta/progi (3 stars, last pushed 4mo ago), licensed MIT. It adds 1,887 tokens to every session, about $0.0075 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.

claudecopilotmcpmcp-serverprogiworkflow
Related

progi AGENTS.md compared with instructions from other repositories

progi AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
progi AGENTS.mdzseta/progiInstructions file34mo agoMITA1,887Codex, OpenCode
plugin-files-modegriddynamics/rosettaInstructions file373yesterdayApache-2.0A377GitHub Copilot
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA9,719GitHub Copilot
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA5,516GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143ktodayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149ktodayMITA4,680Codex, OpenCode
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA3,093GitHub Copilot