Packs
5 packscurated
Project Verification Pipeline
For developers running comprehensive verification pipelines for Laravel or Quarkus projects before PRs or releases.
4 skills · pack
curated
Task Execution Workflow
Load a plan, execute tasks with verification, and track progress via issues.
10 skills · pack
curated
Migrate Legacy SDK
Migrate from a legacy SDK to a new version using mapping tables, deprecation patterns, and verification.
3 skills · pack
@hekivo
Superpowers Sage
Modern WordPress development with Sage, Acorn & Lando. Workflow skills: /architecture-discovery, /plan-generator, /building, /designing, /verifying (+ /architecting compatibility alias), with design tool integration, content modeling, visual verification, and comprehensive hooks.
36 skills · pack
@brycewang-stanford
CAV Skills
Twelve CAV-specific skills for the International Conference on Computer Aided Verification and its Springer LNCS open-access proceedings, grounded in the CAV 2026 (FLoC, Lisbon) call, the LNCS proceedings, i-cav.org, and dblp.
2 skills · pack
Results for “verification”
21 skillsdoublecheck
Runs a three-layer verification pipeline on AI-generated output: extracts verifiable claims, finds supporting or contradicting sources via web search, and produces a structured verification report with source links for human review.
36.2k · bundle
grill-research
Interrogates research plans before evals or published claims, forcing explicit null hypotheses, confound checks, and data verification across four review waves.
0
source-verification
Use when incorporating information from research, references, or external sources. This skill provides verification procedures to ensure information used in deliverables is accurate, current, and from authoritative sources, preventing hallucination and misinformation.
0
academic-pipeline
Orchestrates the full academic research pipeline from exploration to final manuscript, coordinating research, writing, integrity verification, peer review, revision, and finalization stages with user confirmation checkpoints.
36.4k · bundle
survey
从 wiki 知识生成论文 Related Work 章节:主题分组 → 叙事结构 → LaTeX 输出,遵循 citation-verification 和 academic-writing
77
dev-research
Researches and recommends programming technologies, libraries, and architectural approaches with verified references from official documentation.
0
More results
ads-research
Refreshes paid media research by auditing platform claims, API policies, and evidence against primary sources, demoting stale or unsupported assertions.
eyeball
Analyzes documents and produces a Word document with inline highlighted screenshots from the source material, enabling visual verification of every factual claim.
36.2k · bundle
aeon-deal-flow
Track weekly funding rounds across configurable verticals with primary-source verification, per-round analysis, and risk assessment.
1.2k · bundle
tam-headshot-source
Acquires a single verified headshot per named leader from official sources, with identity checks and a provenance manifest, avoiding bulk scraping.
1
claims-links-product-proof
Verify the article’s factual, product, citation, and link integrity before visual production.
0
b20-console
Inspect B20 token contract addresses on Base to verify factory recognition, initialization, policies, pause state, and risk flags via the public B20 Console API.
1.2k · bundle
fact-check
Verifies claims, articles, screenshots, and URLs through source-grounded analysis with an evidence ledger, source credibility evaluation, and manipulation detection. Supports quick checks, full fact-check cards, two-source comparisons, and prebunking in multiple languages and policy contexts.
74 · bundle
crypto-market-research
Use this skill for crypto market research, tokens, narratives, liquidity, risks, source verification. Trigger when the task involves crypto work related to Crypto Market Research, production implementation, audits, debugging, strategy, or validation.
1 · bundle
cite-check
Audits a paper draft by tracing every numeric claim and assertion back to result files on disk, flagging untraced, mismatched, stale, uncited, and phantom references.
0
ml-paper-writing
Write publication-ready ML/AI papers for NeurIPS, ICML, ICLR, ACL, AAAI, COLM. Use when drafting papers from research repos, structuring arguments, verifying citations, or preparing camera-ready submissions. Includes LaTeX templates, reviewer guidelines, and citation verification workflows.
1 · bundle
ml-paper-writing
Draft publication-ready ML/AI papers for top conferences (NeurIPS, ICML, ICLR, ACL, AAAI, COLM) by exploring research repositories, structuring arguments, verifying citations via APIs, and formatting submissions.
10.4k · bundle
analyzing-uefi-bootkit-persistence
Analyzes UEFI bootkit persistence mechanisms including firmware implants, ESP modifications, Secure Boot bypass techniques, and UEFI variable manipulation. Covers detection of known bootkit families, forensic inspection, and integrity verification.
24.6k · bundle
paper-claim-audit
Verifies that every number, comparison, and scope claim in a research paper matches raw result files, using a fresh cross-model reviewer with no prior context to prevent confirmation bias.
0
execute-plan
Use when a research implementation plan exists in docs/superpapers/plans/ and the user is ready to execute it — collecting data, running analysis, producing outputs, writing the paper. Orchestrates task execution with replication-driven verification and two-stage review at phase boundaries.
1k
write-plan
Use when a research design spec exists and the user is ready to translate it into a concrete implementation plan with phased tasks, artifacts, and verification criteria. Produces a research execution plan organized in canonical research phases — collection, preparation, analysis, robustness, writing, submission.
1k