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
Generate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations.
Plugin field-report from marketplace nicholls in nicholls-inc/claude-code-marketplace. Commands read from the repo's manifest — yesterday.
field-reportGenerate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations. Produces evidence-based narrative reports with actionable recommendations for artifact developers. Triggers: "field report", "analyse session", "skill performance", "agent report",
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
Multi-agent PR review swarm and review-triage skills for automated, multi-lens code reviews.
2 skills
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.