Instructions file CodexOpenCode
Instructions for mitodl/ol-infrastructure, covering agent instructions for ol-infrastructure repository, quick start, environment setup (one-time), validate your changes and documentation index.
Skill Claude CodeCodex
Step-by-step guide for scaffolding a new Pulumi project in ol-infrastructure. Use when creating a new infrastructure, application, or substructure Pulumi project, including stack initialization.
Instructions file CodexOpenCode
AGENTS.md instructions for mitodl/agent-kit, covering agents.md, project overview, repository layout, dev setup and key commands.
Skill Claude CodeCodex
Tree-sitter code graph for symbol lookups, caller graphs, change-impact analysis, and cross-repo contract tracing. Use instead of grep/Explore when you need exact symbol definitions, who-calls-what, blast radius before an edit, or which repo provides/consumes a shared env var, endpoint, package, or service.…
Skill Claude CodeCodex
Read from and write to the team's shared agent memory graph. Prefer this over your private built-in/session memory for any durable, team-shareable knowledge. Use when starting work in a repository (load project facts and patterns), after solving a non-obvious problem (store a pattern), when discovering structural…
Skill Claude CodeCodex
Track an end-to-end engineering project across multiple agent sessions without explicit handoffs. Use this skill when starting a multi-session project (call workflowprojectcreate then workflowsessionstart), when continuing an existing project in a new session (call workflowsessionstart with the slug injected by the…
Skill Claude CodeCodex
Interactive task manager for the work-coordination graph. Use to triage and claim ready work, create tasks (including epics and sub-issues), link dependencies, and close finished tasks. Also use it whenever you are about to START work on an existing tk- task from anywhere — the ready-task list in your session context…
Skill Claude CodeCodex
Interactive workflow session manager. Call at the start of any session to link it to a tracked project. Lists active WorkflowProjects for the current repo, lets the user pick one (or create a new project), then calls workflowsessionstart to register the session in the graph. Also supports ending a session…
Skill Claude CodeCodex
Build Docker images for Python services following team conventions. Use this skill when writing Dockerfiles, authoring CI image build pipelines, or adding a new service — covers mitodl image naming, git short-ref tags, relocatable uv venvs, and shared library handling.
Skill Claude CodeCodex
Structure and organize Dagster code locations using dg. Use this skill when creating or migrating code locations, placing assets or sensors in the correct location, scaffolding new dg projects, or setting up the dgprojects/ workspace layout.
Skill Claude CodeCodex
Modify existing Pulumi infrastructure stacks safely. Use this skill when making any Pulumi IaC changes — always edit the existing stack entrypoint, never create new files, preserve assumeRole and cross-account configuration, and validate with pulumi preview before finishing.
Skill Claude CodeCodex
Wire Vault Kubernetes authentication for a service using hvac. Use this skill when adding or modifying Vault auth in any Kubernetes-deployed service — always read the Vault role and mount path from environment variables, never hardcode them.
Skill Claude CodeCodex
Fetch, categorize, and address GitHub pull request review feedback -- inline review comments, review threads, top-level discussion comments, and failing status checks (GitHub Actions jobs plus third-party checks like pre-commit.ci, GitGuardian, and CodeQL) -- including paginating through large or long-running PRs with…
Skill Claude CodeCodex
Review a diff, branch, path, or PR for correctness bugs and reuse/simplification/efficiency cleanups, using a verify-before-reporting pass so findings are checked against the actual code rather than pattern-matched. Portable across agent platforms (Claude Code, pi, Copilot, OpenCode) — needs only git diff and a…
Skill Claude CodeCodex
Create a GitHub issue in the mitodl organization using their standard issue templates. Use this skill when asked to create a GitHub issue, open an issue, or file a bug report. Guides user through repo selection, template choice, and gh issue create.
Skill Claude CodeCodex
Create a pull request in the mitodl organization using their standard PR template. Use this skill when asked to create a PR, open a pull request, or submit changes for review. Guides branch inspection, title/body population, a pre-submit audit of factual/behavioral claims in the PR body against live evidence, and gh…
Skill Claude CodeCodex
Post a properly structured RFC as a GitHub Discussion in the mitodl/hq repository under the RFC category. Use this skill when asked to write or post an RFC, create a design proposal, or document an architectural decision for team review.
Skill Claude CodeCodex
Audit a repository's dependencies to identify those that are unused (safe to remove), underused (few enough features used to vendor or rewrite), imported inefficiently (blocking tree-shaking), or deprecated/sunset (need migration). Use this skill when the user wants to slim down their dependency tree, reduce supply…
Skill Claude CodeCodex
Triage, evaluate, and apply dependency updates safely — whether from Renovate PRs, a proactive audit, or a project that has fallen behind. Use this skill when you need to discover what is outdated, decide what is safe to update in parallel, sequence updates that have ordering constraints, evaluate changelogs and blast…
Skill Claude CodeCodex
Verify that a merged infrastructure, config, or manifest change actually took effect in the deployed environment — not just that it merged. Use this skill when asked to "verify the deploy", "confirm this is live", "check the rollout", "did this actually deploy", or after any ConfigMap/Secret/env/Pulumi/Helm change…
Skill Claude CodeCodex
Generates a daily standup post from GitHub activity and agent session history, and posts it to the mitodl/hq Check-ins discussion. Use when asked to write, generate, or post a daily standup — fetches PR, issue, discussion, and code-review activity via the gh CLI, queries recent agent sessions, asks clarifying…
Skill Claude CodeCodex
Audit open GitHub issues to identify which are outdated, already completed, or superseded by newer issues — using parallel subagents to cross-reference issue descriptions against the current codebase and git history. Use this skill when asked to triage issues, find stale issues, clean up the backlog, identify what can…
Skill Claude CodeCodex
Enumerate your open GitHub pull requests across an org (or a single repo) and categorize each by the action it actually needs: needs a first-pass bot review (Copilot/Claude/Gemini), awaiting a requested reviewer, has review feedback to address, formally has changes requested, or is approved and ready to merge. Use…
Skill Claude CodeCodex
Summarize open Renovate dependency-update PRs across a GitHub org, narrowed to the repos you personally worked in recently, ranked by descending security urgency using real GitHub Advisory Database severity, CVSS and EPSS data. Use this skill when asked what dependency updates need attention, which Renovate PRs are…