Marketplaces
Marketplace
nicholls
A collection of Claude Code plugins for enhanced development workflows.
Plugins
Plugin
crosscheck
Crosschecks Claude's code claims using Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured code analysis.
Plugin
awesome-copilot
Meta prompts that help you discover and install curated GitHub Copilot agents, instructions, prompts, and skills from the awesome-copilot repository.
Plugin
field-report
Generate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations.
Plugin
xylem
Autonomous agent scheduling for GitHub issues — scans, queues, and launches Claude Code sessions to fix bugs, implement features, and refine issue descriptions.