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
5
claude
prose
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.
/
Plugin prose from marketplace nicholls in nicholls-inc/claude-code-marketplace. Commands read from the repo's manifest — yesterday.
What it installs
Skills (2)
checkMeasure a piece of prose against a reference of human-written text and report where it sits outside the human range: sentence length, short sentences set up to be paid off by long ones, alternation of sentence length, punctuation, numbers and names. Reports and explains; does not rewrite. Triggers:
writeWrite a piece of non-fiction prose that sits closer to skilled human writing than a single model draft does. Collects the material first, drafts several candidates in fresh contexts under a voice file, measures each against a reference of human text and picks by that measure. Use for articles, essay
Problems found in this repo's manifests
- "xylem" points to ./xylem, which doesn't exist in the repo — install will fail
More from nicholls-inc/claude-code-marketplace
All 7 plugins →lever
claudeFeedback 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
5
awesome-copilot
claudeMeta prompts that help you discover and install curated GitHub Copilot agents, instructions, prompts, and skills from the awesome-copilot repository.
4 skills · 1 agent
5
pr-swarm
claudeMulti-agent PR review swarm and review-triage skills for automated, multi-lens code reviews.
2 skills
5
field-report
claudeGenerate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations.
1 skill
5
xylem
claudeAutonomous agent scheduling for GitHub issues — scans, queues, and launches Claude Code sessions to fix bugs, implement features, and refine issue descriptions.
5
Similar plugins
mattpocock-skills
claudeMatt Pocock's agent skills for real engineering (grilling, spec/ticket flows, TDD, code review, domain modelling and more).
39 skills
mattpocock/skills 323,108
superpowers
claudecodexCore skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
obra/superpowers 316,836
nextjs
claudeOfficial Next.js skills: adopt and optimize Cache Components, adopt Partial Prefetching, and verify runtime behavior against a running dev server.
6 skills
vercel/next.js 143,495
Taste Skill
claudecodextasteskill 2.5.1: professional company websites at the figma.com and x.ai level, with one section per screen, real photographs, real product UI, effects kept for tech and gaming pages, and a real-browser checker and finish gate.
1 skill
Leonxlnx/taste-skill 114,391
career-ops
claudecodexOpen-source AI job search that runs locally in your AI coding CLI: scan job portals, evaluate listings into a structured A-H report with a 1-5 score, tailor your CV, track applications
5 skills · hooks
career-ops-hq/career-ops 82,253
humanizer
claudeRewrite AI-sounding text so it reads like the writer without changing what it says.
1 skill
blader/humanizer 68,461
Maintain prose?
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.
claude & codex plugins7 plugins