codex

xros

XROS — an eXecutable Research Operating System. Four skills: compile a long-horizon investigation into a verifiable methodology spec; sharpen an un-checkable question (orient a newcomer in a field's vocabulary → falsifiable claim → best-available check, with its ceiling); run the Tier-A/B engine (diverse independent routes, adversarial refutation) gated on a real oracle's exit code; or reason through a no-oracle Tier-C claim with premises, pre-mortem, and dated tripwires. Founding rule: no verification, no claim. Ships a bundled dependency-free validator and conformance suite.

0 on GitHubby xiaolaiv0.3.3MITupdated 1 month agoCoding

Plugin xros in xiaolai/codex-marketplace. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (4)

  • xros-compile

    Compile an XROS methodology spec through an oracle-first interview. Classifies the problem into verification tier A/B/C before anything else, then fills and validates a schema-valid JSON spec.

  • xros-reason

    The Tier-C path — structured, adversarial reasoning for a claim that has NO mechanical check. Decomposes the claim into premises and verifies the checkable ones, runs a pre-mortem, and emits dated tripwires. Never runs the CDC engine, never claims a verified result; all output is labeled UNVERIFIED.

  • xros-run

    Execute an XROS methodology spec — run a CDC-style search (diverse independent routes, blocked-route state, adversarial refutation, counterexample-fed loop-until-dry), then authoritatively verify the winning candidate by running its oracle command and gating deterministically on the exit code and pa

  • xros-sharpen

    Orient a newcomer in an unfamiliar field, sharpen a vague question into a falsifiable claim, then discover the currently best-available way to check it. For when the user can't yet say "how would I know if this were wrong?". First maps the field's minimal vocabulary (the nouns you can ask about, the

View source on GitHub

More from xiaolai/codex-marketplace

All 10 plugins →

TDD discipline for Codex: per-lane gates (unit/integration/e2e/contract), spec-strength levels S1-S6 with property tooling, adversarial spec review, red receipts, per-path critical thresholds, 9-format coverage merging and mutation testing, as 11 workflow skills ($tdd-guardian-init, -plan, -design-tests, -implement, -gate, -workflow, ...). A PreToolUse hook denies git commit/push until the gating lanes are fresh; Claude Code's TaskCompleted auto-gate has no Codex event, so $tdd-guardian-gate runs those lanes.

32 skills · 16 commands · 7 agents · hooks

0

Documentation quality and freshness for Codex: $docs-guardian-audit checks staleness, accuracy, coverage and quality into one report with a fixing plan; $docs-guardian-coverage finds undocumented public APIs; $docs-guardian-generate writes missing docs in the project's framework format (Markdown, MkDocs, VitePress, Docusaurus, Sphinx). A PreToolUse hook warns on, or blocks, code-only commits.

35 skills · 5 commands · 5 agents · hooks

0

nlpm

codex

Natural-Language Programming reference knowledge as Codex skills — the 50 Rules, the 100-point scoring rubric, per-tool conventions (Claude Code / Codex CLI / Antigravity), anti-patterns, vocabulary discipline, and authoring guides. Knowledge skills, not commands: load $nlpm-rules + $nlpm-scoring to score an artifact, $nlpm-conventions-codex for the Codex skill layout. The interactive /nlpm:* linting commands remain a Claude Code plugin; cross-tool deterministic checks use the standalone bin/nlpm-check.

17 skills · 15 commands · 8 agents · hooks

0

English coach for non-native speakers: a UserPromptSubmit hook shows the corrected English of each prompt, translates prompts in other languages, and refines :: prompts, and Codex works from the clean version. Corrections are logged locally for $claude-english-buddy-today, -stats, -mistakes and -drill; $claude-english-buddy-review and -preview check any text for grammar, tone and clarity. The hook calls Claude Haiku with your own Anthropic credentials and runs once you trust it with /hooks.

23 skills · 10 commands · 4 agents · hooks

0

Personal IT guy for non-technical macOS users — checkups, safe cleanup, undoable file organising, evidence-first diagnosis, backups with a restore drill, home network, automation that leaves reusable tools behind, and a tutor grounded in your machine's own numbers. PreToolUse guard and SessionStart digest both run under Codex. macOS only.

8 skills · 12 commands · 4 agents · hooks

0

Recursive governance for Executable Operating Units (EOUs). Faceted classification, generating-EOU constraints, ECP-governed change, no-self-approval. v0.7.0: Stage 0 (captured_workflow + domain_values constitutional layer + Rule 96). v0.8.0: agentic judgment (judgment_authorized flag, value_invocations trace, F14–F17 taxonomy, $audit-judgment skill, Rule 97, counterfactual-swap audit).

14 skills · 1 command

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

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

claude-mem

claudecodex

Persistent memory for Claude Code: the next session starts where the last one left off.

29 skills · 1 MCP server · hooks

thedotmack/claude-mem 116,618

career-ops

claudecodex

Open-source AI job search that runs locally in your AI coding CLI: scan job portals, evaluate listings into a structured A-H report with a 1-5 score, tailor your CV, track applications

5 skills · hooks

career-ops-hq/career-ops 82,253

mem0

claudecodex

Cross-session memory and token savings for coding agents.

6 skills · 1 agent · 1 MCP server · hooks

mem0ai/mem0 68,893

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

Maintain xros?

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 plugins10 plugins