A collection of Claude Code plugins. Each plugin is a self-contained directory with its own skills, agents, and optional MCP server.
Crosschecks Claude's code claims using Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured code analysis.
Meta prompts that help you discover and install curated GitHub Copilot agents, instructions, prompts, and skills from the awesome-copilot repository.
Generate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations.
Autonomous agent scheduling for GitHub issues — scans, queues, and launches Claude Code sessions to fix bugs, implement features, and refine issue descriptions.
Add the marketplace, then install plugins:
# Add the marketplace
claude plugin marketplace add nicholls-inc/claude-code-marketplace
# Install plugins
claude plugin install crosscheck@nicholls
claude plugin install awesome-copilot@nicholls
claude plugin install xylem@nichollsSee each plugin's README for prerequisites and setup details.