Productivity
pdf-proof
Use this skill when the user needs visual proof that specific values exist in a PDF — not just to read a PDF, but to see exactly where a number, amount, clause, or field appears on…
Research
tribunal
Adversarial tribunal that exploits agent sycophancy for high-fidelity analysis. Three agents — a maximalist finder, an adversarial challenger, and a referee — compete under asymmet…
Testing
go
Opens the running app in a browser and verifies recent UI changes actually work. Use whenever the user wants a quick smoke test or sanity check of recent work, or says "go", "open …
Productivity
verify-prd
Initiative-level PRD acceptance gate. Resolves a PRD reference, reads its body and child work hierarchy, and halts if any top-level item is incomplete. On success, runs spec confor…
Productivity
fable-advisor
Consults a premium reasoning model for high-stakes choices—architecture, schemas, API contracts, workflows, vendor selection, migrations—before irreversible commitments. Reviews un…
Business
bates-citation-verification
Citation format and verification protocol for legal documents referencing Bates-stamped source records. Defines bracket citation format, multi-source citation rules, quotation hand…
Documentation
forge-citation
Citation discipline for AI-generated outputs. Defines when to cite, what qualifies as verifiable, URL+quote+file-path verification, inference vs fact marking, and what to avoid. Pr…
Productivity
achieve
Tracks a long-running objective as an auditable goal artifact under charness-artifacts/goals/, surfacing slice progress and verification throughout, then closes with honest non-cla…
Engineering
pie-dimensional-analysis
Performs mathematical verification for physical calculations: unit-tracking algebra, PhysicalQuantity patterns for compound units, SI/Imperial handling, Buckingham pi theorem, and …
Testing
loop-evals
Designs the evaluation harness for agent loops, establishing trustworthy verification through a 7-layer suite with false-completion-rate and repair-productivity as core metrics. En…
General
conscientiousness
Apply thoroughness and diligence in execution through systematic checking, completeness verification, follow-through on commitments, and disciplined task completion. Use before mar…
Automation
spec-driven-migration
Performs reference-sweep migrations by replacing `from_pattern` with `to_pattern` across large codebases using four-layer verification: classify-first, dual-path identical edits, f…
Engineering
repo-task-proof-loop
Repo-local workflow skill for large coding tasks. Initializes .agent/tasks/TASK_ID artifacts, installs project-scoped Codex and Claude subagents, updates AGENTS.md plus the repo's …
AI / ML
bedrock-automated-reasoning
Amazon Bedrock Automated Reasoning performs mathematical verification of AI outputs against formal policy rules, reaching up to 99% accuracy. Ideal for validating healthcare protoc…
Engineering
zero-hallucination-coder
Delivers a strict Discuss-Map-Decompose-Execute-Verify workflow that anchors every line of code to verified structure, eliminating invented APIs, assumed imports, and placeholder l…
DevOps
deploy-verify
Post-deploy verification workflow that runs smoke tests across observability, database, tracing, and browser checks. Detects context automatically, surfaces new errors with root-ca…
Research
source-locked-verification
Enforces source-locked verification: answers only from user-provided materials or verified online sources, with every factual claim anchored to a cited reference. Use for document …
Engineering
dead-code-verification
Confirms whether a symbol, file, route, config path, or feature can be safely removed by checking static and dynamic references across registries, builds, templates, plugins, scrip…
Research
witsoc-generator
Generates, repairs, and validates `.wit` proof artifacts for mathematics and rigorous arguments, including structural checks, context building, receipt tracking, and optional Lean …
Automation
claude-managed-agents-webhooks
Receive and verify managed agent webhooks. Use when setting up webhook handlers, debugging signature verification, or handling agent session and vault events such as session.status…
Testing
dos-witness-claim
Route subagent claims through a witness step that extracts verifiable effects (git commits, files, DB rows) and confirms them via independent read-back before folding. Driven by do…
Testing
aif-verify
Verify completed implementation against the plan. Checks that all tasks were fully implemented, nothing was forgotten, code compiles, tests pass, and quality standards are met. Use…
Research
mandatory-verification
Mandatory external verification workflow required for all non-trivial factual claims before asserting them as true. Triggers on research, factual queries, current data, statistics,…
AI / ML
verified-capability-evolver
Adds verification, rollback, and gated promotion to capability evolution. Before promoting any learning, establishes a deterministic spec, validates output through SettlementWitnes…
Research
Intrinsic Institute
This repository implements a comprehensive, systematic verification protocol ensuring that every algorithmic implementation, computational construct, and symbolic representation co…
Testing
aiw-verification
Enforces verification of every change before marking work complete. Requires explicit justification of checks performed, evidence hierarchy from static analysis to full end-to-end …
Engineering
gf
Primary SystemVerilog/RTL orchestrator for GateFlow. Routes to specialist agents, runs verification, and iterates until working. Use when the user wants to create, test, fix, or im…
Automation
loop-design-check
Designs and reviews goal-oriented agent loops for failure modes like token waste, verifier gaming, and completing wrong answers. Writes loops with decidable goals and skeletons; au…
Testing
os-evolution-verifier
Verifies that os-architect produces real evolution. Dispatches os-architect in single-shot simulation, then checks for actual artifacts (new files, HANDOFF_BLOCK, plan files). Repo…
DevOps
magpie-release-verify-rc
Performs read-only pre-flight checks on a staged release candidate, validating GPG signatures, checksums, license headers, NOTICE/LICENSE files, binary restrictions, and version co…
Research
implementation-check-against-papers
Compares code implementations against source papers by breaking them into verifiable claims (algorithms, hyperparameters, loss terms) then grounding each against the paper text wit…
Testing
qa-onboarding
Verification-first onboarding for a new QA engineer on the Go Bean & Brew project. Activates on onboarding prompts or any request to onboard a project via MD, Mem0, Helixir, or Git…
Research
run-lab
Executes the full research cycle: provisions tools, designs methods, runs experiments, verifies results, and halts at quality gate G4. Activates on phrases like "run the lab" or "p…
AI / ML
light-coder-orchestration
Orchestrates lightweight coding models (GLM, DeepSeek, Qwen, Kimi) via OpenRouter or local agents, with a Sonnet verification layer. Routes tasks to economical models, runs paralle…
Research
property-taxonomy
Generates and classifies verifiable properties using the §5b taxonomy of 16 categories, cross-cutting modifiers, and scaffold-based enumeration. Supports property creation from spe…
Data
healthcare-providers-verify
Verifies healthcare practitioner credentials and license status against the NPI registry, cross-checking specialties, credentials, and addresses. Returns Verified, Partially Verifi…
DevOps
setup-steward-verify
Verify apache-steward framework integration in an adopter tracker: checks for .apache-steward/ directory, git submodule checkout and alignment, completed project config fields, and…
Content
verificacao-posts
Triggers full adversarial verification for @psi.entre.mentes posts before publishing. Activates on trigger words like "verifica", "checa", "revisa", "valida", or when a draft is su…
Engineering
silicon-grade-discipline
Apply silicon-grade discipline when writing hardware, firmware, verification, or tooling code destined for real silicon: prioritize correctness over speed, ensure failures fail vis…
AI / ML
fable-sonnet
Executes fable-mode staged verification on Sonnet-class models. Routes tasks through a multi-step loop with rigorous step-3 checks, optionally followed by an independent verifier p…
AI / ML
dos-self-improve
Runs an isolated, kernel-driven self-improvement loop: proposes changes, verifies them in clean worktrees, and keeps only those where an independent witness confirms metric gains a…
Research
grounding-against-library
Grounds a single assertion against library sources by retrieving evidence, tagging each source as support/contradict/partial/not-found, and returning per-source citations with quot…
DevOps
web-launch
Launch a site or major section to production via gated verification rather than a checklist. Emits a per-project tracking workbook, blocks launch until every P0/P1 item is Verified…
Research
staat-kap-verde-migrationscheck
Country and territory check for Cape Verde: migration-law workflow covering origin, transit, documents, visas, protection, passport procurement, repatriation, and residence title q…
Research
staat-kasachstan-migrationscheck
Country and territory check for Kazakhstan: migration-law workflow covering origin, transit, documents, visas, protection, passport procurement, repatriation, and residence title q…
Research
staat-kirgisistan-migrationscheck
Country and territory check for Kyrgyzstan: migration-law workflow covering origin, transit, documents, visas, protection, passport procurement, repatriation, and residence title q…
Engineering
inspect
Deep audit comparing plan versus implementation. Parses plan files or descriptions, extracts requirements, and evaluates completeness, quality, and gaps across multiple dimensions.…
Productivity
aoa-summon
Delegate a bounded child route with strict gates, local execution, and verified return when a parent already has a clear anchor and named outputs. Use only for focused review or ve…
Research
staat-kiribati-migrationscheck
Country and territory check for Kiribati: migration-law workflow covering origin, transit, documents, visas, protection, passport procurement, repatriation, and residence title que…
Research
adversarial-claims-reviewer
Audits formal or technical claims in documents—math derivations, physics papers, statistical analyses, benchmarks—by inventorying every equation and named quantitative assertion, t…
Testing
high-assurance-verification
Executes a multi-stage verification pipeline for high-stakes changes: research fan-out, adversarial false-negative/positive checks, invariant enforcement, and deterministic apply-p…
Research
staat-katar-migrationscheck
Country and territory check for Qatar: migration-law workflow covering origin, transit, documents, visas, protection, passport procurement, repatriation, and residence title questi…
Research
staat-kenia-migrationscheck
Country and territory check for Kenya: migration-law workflow covering origin, transit, documents, visas, protection, passport procurement, repatriation, and residence title questi…
Testing
lisa-ticket-triage
Analytical triage for issues in JIRA, GitHub, or Linear. Flags ambiguities and edge cases via codebase review, defines verification steps, and returns a verdict (DUPLICATE_ALREADY_…
Research
uodo-grounding-pl
Verifies Polish UODO (data protection authority) decisions and citations with a three-stage check for existence, content accuracy, and exact fragment match. Handles pre/post-RODO t…
Research
ecm-dd-data-verify
Cross-checks issuer data against public sources like Tushare Pro and corporate registries to flag inconsistencies, undisclosed changes, and outdated records. Outputs a comparison r…
Research
staat-franzoesisch-polynesien-migrationscheck
French Polynesia country and territory check: migration workflow covering origin, transit, documents, visas, protection, passport procurement, return, and residence permit question…
Research
staat-faeroeer-migrationscheck
Faroe Islands country and territory check: migration workflow covering origin, transit, documents, visas, protection, passport procurement, return, and residence permit questions w…
Research
staat-franzoesisch-guayana-migrationscheck
French Guiana country and territory check: migration workflow covering origin, transit, documents, visas, protection, passport procurement, return, and residence permit questions w…
Business
creator-registry
Maintains a single durable record per creator with verified handles, rate history, exclusivity windows, compliance events, and performance baselines. Use for roster updates or past…
Showing the top 60 of 1,341. See the full list →