crosscheck
claudeCrosschecks Claude's code claims using Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured code analysis.
30 skills · 5 agents · 1 MCP server
Multi-agent PR review swarm and review-triage skills for automated, multi-lens code reviews.
Plugin pr-swarm from marketplace nicholls in nicholls-inc/claude-code-marketplace. Commands read from the repo's manifest — yesterday.
pr-swarmRouter-first, cheap-first swarm review of one pull request. A haiku router reviews the whole diff, grades danger, and delegates only what it cannot safely cover to the byfuglien and hellebuyck reviewer personas plus the security, test-theatre and XP/simplicity lenses on sonnet, escalating to opus fo
review-triageTriage, act on, and close out the review conversation on one pull request. Runs `pr-swarm` when the diff since the last reviewed SHA touches non-doc files, then buckets every unresolved review thread, every top-level comment and every unanchored finding as actioned / resolved / promoted / deferred /
Problems found in this repo's manifests
Crosschecks Claude's code claims using Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured code analysis.
30 skills · 5 agents · 1 MCP server
Feedback loops for coding agents: Loop Cards, experiment arms, cross-model review, PR shepherding, autonomy and spend dials, and GitHub Actions automations. Ported from github/lever.
16 skills · 1 agent
Meta prompts that help you discover and install curated GitHub Copilot agents, instructions, prompts, and skills from the awesome-copilot repository.
4 skills · 1 agent
Write and check non-fiction prose against a measured reference of human writing: several candidate drafts under a voice file, a pick by measured profile, and a check of specifics against supplied material.
2 skills
Generate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations.
1 skill
Autonomous agent scheduling for GitHub issues — scans, queues, and launches Claude Code sessions to fix bugs, implement features, and refine issue descriptions.
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.