Навыки executor-verification
📦

executor-verification

Ревизия содержимого r1 Средний риск ⚙️ Внешние команды📁 Доступ к файловой системе

Verify Completion Claims With Recorded Evidence

Completion claims can hide failed, skipped, or untested requirements. This skill guides requirement-level verification with observed output, commit-bound evidence, and explicit human acceptance.

Поддерживает: Claude Codex Code(CC)
📊 69 Адекватно

Установить с помощью моего Агента

Скопируйте этот запрос в своего Агента. Он содержит каноническую страницу Skill и манифест.

Запрос агента
Review the Skillstore skill "executor-verification" from https://skillstore.io/skills/atri10-executor-verification.md and its manifest at https://skillstore.io/api/skills/atri10-executor-verification/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.

Ваш Агент по-прежнему должен показать план и запросить все подтверждения, требуемые политикой безопасности.

Ресурсы для AI-агентов

Используйте эти ссылки, когда AI-агенту, crawler или script нужен чистый контекст вместо полной страницы.

Протестировать

Использование «executor-verification». Verify an integration criterion that requires HTTP 409 with no partial write.

Ожидаемый результат:

  • Illustrative outcome: FAILED.
  • Observed: the integration test received HTTP 500 instead of HTTP 409.
  • Required: HTTP 409 with no partial write.
  • Next step: return the mismatch to execution and reverify after the fix.

Использование «executor-verification». Summarize a verification round where one manual criterion was never checked.

Ожидаемый результат:

  • Illustrative summary: 11 PROVEN, 0 FAILED, 1 NOT-RUN, 0 UNAVAILABLE.
  • Exception: the manual criterion has no recorded observation.
  • Completion remains unproven. Present the exception for human acceptance or further verification.

Использование «executor-verification». Run a criterion when the evidence runner lacks a required credential.

Ожидаемый результат:

  • Illustrative runner outcome: NOT-RUN.
  • Evidence: none; no run and no evidence file.
  • Reason: the criterion requires a credential that was not provided.
  • Do not inspect the environment for secrets or assume the criterion passes.

Аудит безопасности

Средний риск

All 155 static findings are false positives involving Markdown formatting, intended local verification, companion paths, or protective secret-handling guidance. Two semantic workflow risks concern unisolated regression reverts and retained evidence after secret-scan failures. No evidence found of malicious prompt injection or exfiltration; companion helper implementations are outside the two reviewed files.

2
Просканировано файлов
819
Проанализировано строк
0
Пункты проверки
0
Ложные срабатывания проигнорированы

Подтверждённые проблемы безопасности (2)

Средний
Regression Verification Reverts Fixes Without Isolation
The regression workflow says "Revert the fix" and "Restore the fix" without an isolated worktree or recovery checkpoint. Following it in a shared worktree can discard edits or disrupt concurrent work.
The ordered steps explicitly require reverting and restoring code, but provide no isolation or preservation procedure. No destructive command is specified, so damage depends on implementation.
Средний
Secret Recovery Does Not Address Retained Evidence Copies
After a secret finding, the runner says "redact and rewrite" through the evidence helper. The storage policy creates new attempt files instead of overwriting, so sensitive originals may remain in tracked evidence.
Recovery requests another write while the documented helper preserves earlier attempts. No cleanup or quarantine of detected sensitive originals is specified; the helper implementation is outside this audit.
Аудитор:: codex
Поделиться и цитировать этот отчет

Делитесь версионным отчетом об оценке, нейтральным значком, встраиваемой карточкой и цитатами. Skillstore публикует доказательства, не решая, безопасен ли этот Skill.

Открыть версионный отчет
Оценка безопасности

Копировать ссылку на отчёт

https://skillstore.io/skills/atri10-executor-verification/audits/1?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Значок Markdown

[![Skillstore security assessment](https://skillstore.io/badges/skills/atri10-executor-verification/security.svg)](https://skillstore.io/skills/atri10-executor-verification?utm_source=security_passport_badge)

Значок HTML

<a href="https://skillstore.io/skills/atri10-executor-verification?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/atri10-executor-verification/security.svg" alt="Skillstore security assessment" loading="lazy"></a>

Встраиваемая карточка

<iframe src="https://skillstore.io/embed/skills/atri10-executor-verification.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>
Академические ссылки (APA · BibTeX · CFF)

Цитата APA

atri10. (2026). executor-verification security audit report (audit version 1) [Author version unspecified]. Skillstore. https://skillstore.io/skills/atri10-executor-verification/audits/1

Цитата BibTeX

@techreport{atri10-atri10-executor-verification-2026, author = {atri10}, title = {executor-verification security audit report (audit version 1)}, institution = {Skillstore}, year = {2026}, number = {1}, url = {https://skillstore.io/skills/atri10-executor-verification/audits/1}, note = {Author version unspecified} }

CITATION.cff

cff-version: 1.2.0 message: "If you use this Skill, cite its author and this versioned security audit report." title: "executor-verification security audit report (audit version 1)" version: "unspecified" type: report authors: - name: "atri10" date-released: "2026-10-05" url: "https://skillstore.io/skills/atri10-executor-verification/audits/1" identifiers: - type: other value: "skillstore:atri10-executor-verification:audit:1" description: "Skillstore immutable audit report identifier"

Оценка Skillstore

Почему такая оценка Достоверность доказательств: Средний
55
Архитектура
85
Сопровождаемость
87
Контент
65
Сообщество
87
Соответствие спецификации

Что вы можете построить

Verify a Feature Before Handoff

Walk existing acceptance criteria, gather suitable evidence, and present unresolved requirements before a feature handoff.

Review Requirement Coverage

Compare observed test and smoke outcomes with requirements, without treating a passing unit suite as full feature proof.

Coordinate Agent Verification

Dispatch one evidence runner per criterion, inspect the returned artifact, and route failures back to the owning implementation plan.

Попробуйте эти промпты

Check One Requirement
Verify criterion [reference] in [verification document] at the current state. Report its requirement, named method, observed output, and status without changing code.
Build an Outcomes Round
Walk every criterion in [verification document]. Record state, commands, outcomes, and evidence citations. Summarize all four statuses and stop for human acceptance.
Dispatch an Evidence Runner
Prepare one runner for [criterion] using the provided template. Fill every placeholder, select a model explicitly, and verify prerequisites before dispatch.
Reverify After a Shared-Code Fix
Review fix [commit] against the existing ledger. Identify affected criteria and append a new round. Use isolated regression checks and scan retained evidence before committing.

Лучшие практики

  • Record the exact tested state and match each requirement to the evidence type its strategy names.
  • Use an isolated worktree for regression reverts and preserve all existing user changes.
  • Redact before capture, scan every retained evidence attempt, and resolve sensitive originals before tracking or committing.

Избегать

  • Treating passing unit tests, clean review reports, or expected output as proof of every requirement.
  • Changing code during verification to obtain a passing result without a separate fix and new evidence round.
  • Hiding FAILED, NOT-RUN, or UNAVAILABLE outcomes when presenting the completion summary.

Часто задаваемые вопросы

What does this skill verify?
It guides checks against existing verification criteria and records observed outcomes. It does not invent acceptance criteria or guarantee software correctness.
Can I use it with Claude, Codex, or Claude Code?
The report lists all three tools. The workflow still requires command execution, repository access, and the referenced Executor dependencies.
Are the helper scripts included?
No. The reviewed skill contains instructions and an evidence runner template. Companion Executor helpers are referenced separately and were not audited here.
What happens when a check cannot run?
Record NOT-RUN or UNAVAILABLE with the exact blocker. Missing evidence is not a pass, and residual gaps require explicit human acceptance.
Does verification fix failing code?
No. Failures return to execution. After fixes land, append a new round and reverify every criterion the change could affect.
What precautions apply to stored evidence?
Redact sensitive output before writing and scan retained files. A redacted replacement does not guarantee earlier sensitive attempts were removed.

Сведения для разработчиков

Автор

atri10

Лицензия

MIT

Ревизия Skillstore

r1

Примечание о версии

Автор не указал версию.

Ссылка

6d0b11444384184b7ae743742a7e233a9a705cd9

Актуальность поддержки

06.10.2026

Использование

0 загрузок · 1 просмотров

Структура файлов

Больше от atri10

Показать все
Показать все
📦

verification-before-completion

79

Проверяйте заявления о завершении перед отчетом

от CodingCossack

Заявления о завершении могут быть ошибочными, когда агенты полагаются на память или уверенность. Этот навык требует свежих доказательств перед отчетом об успехе.

Кодинг и разработка Просмотр
📦

senior-qa

81

Улучшение QA-покрытия для веб-приложений

от alirezarezvani

Современным командам нужна понятная стратегия тестирования и практичная автоматизация без замедления поставки. Этот навык помогает Claude, Codex и Claude Code планировать тесты, анализировать покрытие и создавать каркасы QA-процессов.

Кодинг и разработка Просмотр
📦

req-change-workflow

81

Стандартизация рабочих процессов изменения требований

от yunshu0909

Изменения требований часто выходят за пределы предполагаемого объема и создают неясный регрессионный риск. Этот навык дает Claude, Codex и Claude Code поэтапный рабочий процесс для определения объема, анализа влияния, валидации и фиксации решений.

Кодинг и разработка Просмотр
📦

ariadne-loop

81

Создание проверяемых спецификаций агентных циклов

от zhangzeyu99-web

Расплывчатые задачи для coding-agent часто отклоняются от цели, повторяют работу или останавливаются без доказательств. Этот skill превращает запросы в ограниченные спецификации циклов с верификаторами, правилами остановки и пакетами передачи.

Кодинг и разработка Просмотр
📦

fresh-eyes-review

79

Проверка кода перед коммитом

от 2389-research

Команды выпускают баги, когда слишком быстро доверяют финальным изменениям. Этот навык добавляет сфокусированное предкоммитное ревью безопасности, логики, бизнес-правил и производительности.

Кодинг и разработка Просмотр