Nicholls
Install a four-plugin Claude Code marketplace bundle that verifies code claims, surfaces Copilot assets, audits session performance, and schedules autonomous GitHub issue fixes.
Overview
nicholls is a plugin marketplace for the Build phase that bundles Crosscheck verification, Copilot asset discovery, session field reports, and xylem GitHub issue automation for Claude Code.
What is this marketplace?
- Marketplace bundles 4 named plugins: crosscheck, awesome-copilot, field-report, and xylem.
- Crosscheck cross-validates agent code claims with Dafny formal verification for Python/Go plus structured semi-formal re
- awesome-copilot discovers and installs curated GitHub Copilot agents, instructions, prompts, and skills from awesome-cop
- field-report turns Claude Code session history into structured performance reports on plugins, skills, and agents.
- xylem autonomously schedules GitHub issue work—scan, queue, and launch Claude Code sessions for bugs and features.
- 4 plugins in marketplace.json: crosscheck, awesome-copilot, field-report, xylem
- Owner contact listed as harry@harrynicholls.com
Community signal: 4 GitHub stars.
What problem does it solve?
Solo builders struggle to trust agent-generated code, find quality Copilot resources, measure what plugins actually help, and keep GitHub issues moving without manual triage.
Who is it for?
Indie developers using Claude Code daily who want formal-ish verification, Copilot catalog shortcuts, session analytics, and light autonomous issue processing in one marketplace.
Skip if: Teams that only need one narrow integration, do not use GitHub issues, or cannot run verification tooling around Python/Go changes.
What do I get? / Deliverables
After registering the marketplace you can install four focused plugins that verify claims, import Copilot workflows, audit sessions, and schedule autonomous issue-fix runs from Claude Code.
- Four installable Claude Code plugins from one marketplace manifest
- Verification-backed analysis workflows via crosscheck
- Structured session performance reports via field-report
Plugins in this marketplace
4 plugins — install individually after you add the marketplace.
Recommended Marketplaces
Journey fit
The bundle’s core value is wiring Claude Code into day-to-day engineering loops—verification, tooling discovery, and repo automation—so the canonical shelf is Build where agent plugins are installed and composed. Crosscheck, field-report, and xylem all extend how the agent reasons about code and sessions; awesome-copilot bridges external assistant assets—classic agent-tooling placement.
How it compares
Curated multi-plugin Claude marketplace, not a single MCP server or one-off skill file.
Common Questions / FAQ
Who is Nicholls for?
Claude Code users at Nicholls-inc’s audience—solo and small-team builders who want verification, Copilot discovery, session reporting, and GitHub automation in one installable marketplace.
When should I use Nicholls?
When you are standardizing Claude Code plugins across a repo and need Crosscheck before risky merges, Copilot assets on demand, field-reports after sprints, or xylem to drain an issue backlog.
How do I add Nicholls to my agent?
Add the Nicholls-inc/claude-code-marketplace source in Claude Code’s marketplace or plugin settings, then enable the individual plugins (crosscheck, awesome-copilot, field-report, xylem) you need.