nicholls-inc

nicholls-inc/claude-code-marketplace

Plugin Claude Code

Plugin marketplace listing 4 plugins: crosscheck, awesome-copilot, field-report, xylem.

nicholls-inc/claude-code-marketplace

Hook Claude Code

Runs before the agent uses a tool for Edit, Write and NotebookEdit tool calls, executing protected-surface-guard.mjs via node. From nicholls-inc/claude-code-marketplace.

nicholls-inc/claude-code-marketplace

Settings file Claude Code

Agent settings declaring 1 hook event (PreToolUse).

nicholls-inc/claude-code-marketplace

Instructions file CodexOpenCode

AGENTS.md instructions for nicholls-inc/claude-code-marketplace, covering agents.md, read before non-trivial changes and marketplace structure.

nicholls-inc/claude-code-marketplace

Instructions file

Claude Code instructions for nicholls-inc/claude-code-marketplace, covering claude code plugin marketplace, plugins, crosscheck (crosscheck/), awesome-copilot (awesome-copilot/) and field-report (field-report/).

nicholls-inc/claude-code-marketplace

Plugin Claude Code

Meta prompts that help you discover and install curated GitHub Copilot agents, instructions, prompts, and skills from the awesome-copilot repository.

nicholls-inc/claude-code-marketplace

Agent

End-to-end project scaffolding assistant that discovers and pulls relevant prompts, instructions, and agents from the awesome-copilot repository to bootstrap a project with curated Copilot customizations.

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Analyze current repository context and suggest relevant Custom Agents from the awesome-copilot repository that are not already installed locally. Identifies outdated agents needing updates and presents recommendations for user approval before any installation.

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Analyze current repository context and suggest relevant copilot-instruction files from the awesome-copilot repository that are not already installed locally. Instructions use applyTo glob patterns to target specific file types. Identifies outdated instructions needing updates and presents recommendations for user…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Analyze current repository context and suggest relevant prompt files from the awesome-copilot repository that are not already installed locally. Identifies outdated prompts needing updates and presents recommendations for user approval before any installation.

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Analyze current repository context and suggest relevant Agent Skills from the awesome-copilot repository that are not already installed locally. Skills are self-contained folders containing a SKILL.md and optional bundled assets. Identifies outdated skills needing updates and presents recommendations for user approval…

nicholls-inc/claude-code-marketplace

Plugin Claude Code

Crosscheck Claude's code claims — formal verification via Dafny for provably correct Python/Go, plus semi-formal reasoning for structured code analysis, fault localization, and patch comparison.

nicholls-inc/claude-code-marketplace

Agent

ADD (Assurance-Driven Development) methodology workflow runner. Drives the spec-driven fast path: signed-off spec → bulk-drafted invariants → batched audit → user-triaged findings → approved invariant docs ready for implementation. Dispatches parallel subagents per module. Hands off to byfuglien for verification-chain…

nicholls-inc/claude-code-marketplace

Agent

ADD Phase 5 auditor — the read-only consolidation agent. Runs scheduled or on-demand passes over the ADD artifact stack and renders one verdict per artifact: settled / active / drifted. Grounds every verdict in deterministic signals (coverage matrices, session-marker hashes, JOURNAL diff-type lines, git recency…

nicholls-inc/claude-code-marketplace

Agent

Orchestrator for formal verification and semi-formal code reasoning. Classifies tasks, routes to appropriate verification or reasoning skills, and validates output quality. Use for any formal verification, structured code reasoning, fault localization, patch comparison, or specification management task. Named after…

nicholls-inc/claude-code-marketplace

Agent

Orchestrator for specification-chain assurance (Layers 4–6) and governance scaffolding. Classifies tasks, routes to /assurance-, /intent-check, /spec-adversary, /acceptance-oracle-draft, /protected-surface-amend, and validates output quality. Named after Connor Hellebuyck — the goalie, last line of defence when proof…

nicholls-inc/claude-code-marketplace

Agent

Phase 4 gated-implementation agent — the run-to-green loop. Drives a red build to green against a ratified invariant contract within three legal commit shapes (implementation / governance-amendment / new-invariant), and refuses to reach green by weakening an invariant: when the only path forward weakens I, it STOPS…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Scope the top-N user-observable flows for a repo and emit mechanically-verifiable acceptance-scenario skeletons (YAML/JSON) plus a runner-script stub. Does NOT run the scenarios — that's CI's job. Enforces a strict mechanical-verification-only rule: subjective criteria ("UX feels good") must be quantified or rejected.…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Interactive bootstrap that scaffolds the governance skeletons a repo needs to adopt the 6-layer assurance hierarchy. Creates docs/assurance/ROADMAP.md + horizon directories, .claude/rules/protected-surfaces.md (two-class partition), and skeleton docs/invariants/ docs for 1-3 user-chosen modules. Asks dual-track…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Entry-point diagnostic for the 6-layer assurance hierarchy. Inspects a repo, detects language and tooling, and emits a per-layer projection table (current reach + ecosystem limits) plus a prioritised gap list. Run this FIRST, before /assurance-init, to scope realistic reach for your codebase. Triggers: "layer audit"…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Measure test strength via mutation/vacuity/generator probes (rotation-based). Layer 4 deterministic-strength check: parses the Failure condition clause of each invariant, generates targeted source mutations, and runs covering property-based tests against them, then adds vacuity (branch-coverage delta) and…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Parse each roadmap item under docs/assurance//.md, read its Status field, and diff the declared state against observed repo/PR state. Flags drift in both directions — docs that say Done but lack a merged PR or expected artifact, docs that say Not started but whose code already exists, stale In progress items with no…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Onboarding-gated status dashboard for a repo that has adopted the 6-layer assurance hierarchy. Phase 1 runs a deterministic onboarding check (no LLM); Phase 2 emits a status dashboard covering ROADMAP Status drift, invariant coverage gaps, protected-surface edits lacking governance notes, intent-check FP-tracker…

nicholls-inc/claude-code-marketplace

Skill Claude CodeCodex

Layer 5 + 6 hybrid consistency audit. Given a glob of invariant docs and an optional spec, runs three passes (within-module contradictions, cross-module contradictions, invariant-vs-spec contradictions) and emits a capped, prioritised findings file with 4-path triage blocks (Accept (amend spec) is first-class).…