codex

Software Engineering

Design proof-preserving boundaries and implement, verify, and deliver software with uv-managed Python automation.

0 on GitHubby Amichnev4.0.16UNLICENSEDupdated todayEngineering

Plugin software-engineering in amichne/slopsentral. Commands read from the repo's manifest — today.

What it installs

Skills (8)

  • git-change-flow

    Use when local Git work needs status inspection, user-work protection, safe branching, worktree setup, repeatable project checks, diff review, staging, commits, or recovery. Use pull-request-lifecycle for a requested push, pull request, or hosted delivery.

  • github-ci-operations

    Use when GitHub Actions, PR checks, workflow YAML, dispatches, caches, artifacts, secrets, permissions, release pipelines, CI performance measurement, or CI logs need authoring or repair.

  • issue-tracker-operations

    Use when asked to read GitHub or Jira issues, inspect direct blockers, select an issue backend, or report exact backend capabilities.

  • mise-project-tooling

    Use when configuring mise tool versions, project environments, task dependencies, or matching local and CI execution without relying on interactive shell activation.

  • pull-request-lifecycle

    Use when asked to push a branch, open or update a pull request, or follow PR checks to completion; also when an applicable repository policy requires PR delivery. Local edits and commits use git-change-flow; standalone CI repair uses github-ci-operations.

  • python-tooling

    Build, refactor, and verify typed Python automation, self-contained uv scripts, setup tools, and process adapters with PEP 723, strict Pyright, Ruff, and pytest. Use when replacing shell pipelines or authoring reusable command-line tooling.

  • semantic-ratchet

    Use when validation, authorization, normalization, or state checks produce facts later code must retain. Replace primitive contracts, flags, sentinel states, string protocols, and call-order conventions with proof-carrying values in any language.

  • tdd

    Use when proving behavior changes, validating an existing live integration, comparing runtime performance, or auditing executable proof, including empty test selections, runner failures, and RED/GREEN claims. Characterize refactors with existing checks; prose and formatting changes use their normal

View source on GitHub

More from amichne/slopsentral

All 5 plugins →

Author typed Python tools, schemas, Pkl contracts, and agent resources. Install language servers and ast-grep or change requested personal configuration.

11 skills · 2 agents

0

Design, verify, review, and optimize Kotlin and Gradle changes.

6 skills

0

Write technical documentation with source-backed glossaries and maintain OKF knowledge, OpenWiki handoffs, navigation, and overlays.

6 skills

0

Similar plugins

Matt Pocock's agent skills for real engineering (grilling, spec/ticket flows, TDD, code review, domain modelling and more).

39 skills

mattpocock/skills 323,108

i-have-adhd

claudecodex

Action-first, ADHD-friendly output shaping for Claude Code.

1 skill · hooks

ayghri/i-have-adhd 61,026

Reliable automation, in-depth debugging, and performance analysis in Chrome using Chrome DevTools and Puppeteer

8 skills · 1 MCP server

ChromeDevTools/chrome-devtools-mcp 55,181

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Backend API design, GraphQL architecture, workflow orchestration with Temporal, and test-driven backend development

9 skills · 1 command · 8 agents

wshobson/agents 42,461

Long-term semantic memory for Claude Code, powered by OpenViking

5 skills · 1 command · 1 MCP server · hooks

volcengine/OpenViking 42,126

Maintain Software Engineering?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins5 plugins