predicate
01Plugin Claude Code
Predicate catalogs itself: the rulesets, skills, and workflows live in this checkout.
Plugin Claude Code
Predicate catalogs itself: the rulesets, skills, and workflows live in this checkout.
Plugin Claude Code
Reusable agent rulesets (rules), skills, and workflows for agentic coding assistants.
Instructions file CodexOpenCode
Instructions for nrdxp/predicate, covering agents.md — predicate, goal, formal substrate, requirements (for predicate to be useful) and invariants (soundness).
Skill Claude CodeCodex
When planning, run the /ghost workflow to frame the work, then proceed.
Skill Claude CodeCodex
SOP for auditing AI-generated code. Trigger when: Reviewing, refactoring, or cleaning up AI-generated code to prevent regressions or hallucinated APIs. Prompt contains: /ai-audit, code audit, AI cleanup, common flaws.
Skill Claude CodeCodex
Protocol for auditing API surface coherence and type safety. Trigger when: Evaluating API designs, interface type safety, or design elegance. Prompt contains: /api-audit, API surface, API coherence, type safety.
Skill Claude CodeCodex
Normative sufficiency conditions for Initial Boundary Conditions (IBCs) and the SOP for the cheap-tier boundary refinement loop (/boundary). Trigger when: Crafting, auditing, or refining a prompt/IBC destined for an expensive (architect-class) model or an autonomous worker dispatch. Evaluating whether a task frame is…
Skill Claude CodeCodex
SOP for the architect-tier campaign workflow (/campaign): exhaustive survey, mitigation planning, tiered orchestration, and reconciliation. Trigger when: Running a multi-workstream initiative where an expensive architect-tier council surveys, plans, emits worker prompts, and judges landed work. Conducting…
Skill Claude CodeCodex
Maintain and update the persistent project chronicle (docs/chronicle.md). Trigger when: The human requests a history summary or chronicle update. Starting work on a new codebase and needing context on its evolution. Prompt contains keywords: /chronicle, chronicle, project history, git log summary, history summary.
Skill Claude CodeCodex
Rules, conventions, and constraints for formatting git commit messages and committing at logical boundaries. Trigger when: Drafting, revising, or validating git commit messages. Pausing at commit boundaries under the CORE or CONTINUE workflows. Evaluating whether a changeset should be split into multiple commits.…
Skill Claude CodeCodex
Foundational ethics, authority hierarchy, and structural principles for the Predicate agent. Always-on law (composable system-prompt core): Truth>Harmony, Evidence>Authority, Halt>Assumption, Outcomes>Process — four ordered principles that govern every walk. Reference (by-moment): conflict resolution, ethics…
Skill Claude CodeCodex
SOP for the micro-execution C.O.R.E. phase. Trigger when: Implementing plan steps, managing code changes at commit boundaries, and verifying incremental progress. Navigating states: Absorb, Clarify, Plan, Execute. Prompt contains: /core, core workflow, absorb, clarify, execution invariants, commit boundary, verify…
Skill Claude CodeCodex
The LAW a council SEAT is bound by — deliberation protocol, pact obligations, governance, and decision-ledger recording — the discipline half of a seat. Trigger when: Holding a seat on a bound council (architect, lead-maintainer, process-auditor, or a summoned guest). Depositing an independent assessment, routing a…
Skill Claude CodeCodex
Trigger when auditing documentation, checking markdown link integrity, formatting tables, checking headers, or verifying absolute/relative paths.
Skill Claude CodeCodex
SOP for structured documentation lifecycle. Trigger when: Designing, writing, reviewing, or auditing large-scale documentation structures. Navigating phases: Audit, Plan, Draft, Review, Verify. Prompt contains: /doc, doc workflow, audit, draft, review, verify, documentation debt.
Skill Claude CodeCodex
Writing quality guidelines, formatting conventions, and styling constraints for documentation. Trigger when: Writing, editing, or auditing documentation files, READMEs, markdown files, or guides. Modifying files with suffixes like: .md, .qmd, .txt, .rst. Prompt contains keywords: doc, documentation, spelling, grammar…
Skill Claude CodeCodex
Core technical, safety, and maintainability rules for codebase edits. Trigger when: Writing code, refactoring, modifying files, or creating unit tests. Proposing commits, reviewing git history, or auditing code quality. Modifying files in any programming language (e.g. .go, .rs, .py, .ts, .js, .c, .cpp). Prompt…
Skill Claude CodeCodex
Conditional discipline for projects hosted on a git forge (GitHub, GitLab, Forgejo, …): branch↔PR mapping, self-contained PR prose, review-on-forge, merge consent, and the forge audit. Trigger when: Opening, updating, reviewing, or merging a pull/merge request. A campaign's integration branch is ready to surface on a…
Skill Claude CodeCodex
SOP for formal mathematical domain modeling. Trigger when: Creating new formal models or applying mathematical lenses to analyze existing specifications. Navigating phases: Identify, Select, Construct, Validate, Record, Connect. Prompt contains: /form, form workflow, categorical, coalgebraic, linear logic…
Skill Claude CodeCodex
Mathematical foundations, logical structures, and formal verification guidance. Trigger when: Designing protocol contracts, formal specifications, verifying state spaces, or using proof assistants. Tasks involve: TLA+, Alloy, Lean, Coq, model checkers, invariants, temporal logic. Prompt contains keywords: formal…
Skill Claude CodeCodex
Goal-directed review of git history for change coherence. Trigger when: Analyzing project history, reviewing diffs, or checking commit messages for alignment. Prompt contains: /git-review, git history, commit log, change coherence.
Skill Claude CodeCodex
Idiomatic programming style, patterns, and conventions for Go (Golang) development. Trigger when: Writing, refactoring, reviewing, or debugging Go code. Files matching the pattern /.go (including go.mod, go.sum) are in the workspace or referenced. Tasks involve: go fmt, go test, go build, go vet, golangci-lint. Prompt…
Skill Claude CodeCodex
Structural simplicity review based on Rich Hickey's "Simple Made Easy" framework. Trigger when: Reviewing code for complected concerns, analyzing coupling, or simplifying code architecture. Prompt contains: /hickey, simple made easy, complect, decouple, compose.
Skill Claude CodeCodex
Removing signs of AI-generated patterns from text. Trigger when: Refining documentation, comments, or summaries to sound natural and clear. Prompt contains: /humanizer, humanize, text cleanup, edit style.