技能 prove-it-ran
📦

prove-it-ran

v1.0 内容修订 r1 安全 ⚙️ 外部命令

Verify Tests Ran Before Reporting Completion

Completion claims can hide skipped tests, stale results, or checks that never exercised a change. This skill guides fresh verification and reports evidence for each claim.

支持: Claude Codex Code(CC)
你是维护者?认领此 Skill 🥉 78 青铜

使用我的智能体安装

将此请求复制给你的智能体,其中包含权威 Skill 页面和清单。

智能体请求
Review the Skillstore skill "prove-it-ran" from https://skillstore.io/skills/agentkitco-prove-it-ran.md and its manifest at https://skillstore.io/api/skills/agentkitco-prove-it-ran/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.

你的智能体仍应展示其计划,并按安全策略请求必要确认。

Agent 可读资源

当 AI Agent、爬虫或脚本需要干净上下文,而不是读取完整页面时,请使用这些链接。

测试它

正在使用“prove-it-ran”。 Illustrative request: prove that a regression test detects the original bug.

预期结果:

  • Claim: the regression test detects the defect.
  • Evidence: one test failed without the fix and passed after the fix was restored.
  • Exit codes: 1 before restoration and 0 afterward.
  • Verified: yes for the targeted regression; the wider suite was not run.

正在使用“prove-it-ran”。 Illustrative request: assess a test command that exits successfully but finds no tests.

预期结果:

  • Claim: the test suite passes.
  • Evidence: the command exited with code 0, but the runner reported zero tests.
  • Verified: no; the command did not exercise the changed code.
  • Next check: confirm the working directory, configuration, and test filename pattern.

安全审计

安全
v1 • 2026/10/17 打开版本化报告

All six static findings are false positives involving Markdown formatting, scoped verification commands, or evidence-reporting instructions. No evidence found of prompt injection, credential collection, exfiltration, or malicious command execution. Temporary source changes require care, but the procedure explicitly limits their scope and requires restoration.

1
已扫描文件
43
分析行数
0
复核项
0
已忽略误报
最新一次完成的静态与语义审计未检测到已确认的安全发现。这并不能证明该 Skill 没有副作用。
审计者: codex
分享与引用此报告

分享版本化评估报告、中性徽章、嵌入卡片和引用。Skillstore 只报告证据,不判断该 Skill 是否安全。

打开版本化报告
安全评估

复制报告链接

https://skillstore.io/skills/agentkitco-prove-it-ran/audits/1?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Markdown 徽章

[![Skillstore security assessment](https://skillstore.io/badges/skills/agentkitco-prove-it-ran/security.svg)](https://skillstore.io/skills/agentkitco-prove-it-ran?utm_source=security_passport_badge)

HTML 徽章

<a href="https://skillstore.io/skills/agentkitco-prove-it-ran?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/agentkitco-prove-it-ran/security.svg" alt="Skillstore security assessment" loading="lazy"></a>

嵌入卡片

<iframe src="https://skillstore.io/embed/skills/agentkitco-prove-it-ran.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 引用

agentkitco. (2026). prove-it-ran security audit report (audit version 1) [Author version 1.0]. Skillstore. https://skillstore.io/skills/agentkitco-prove-it-ran/audits/1

BibTeX 引用

@techreport{agentkitco-agentkitco-prove-it-ran-2026, author = {agentkitco}, title = {prove-it-ran security audit report (audit version 1)}, institution = {Skillstore}, year = {2026}, number = {1}, url = {https://skillstore.io/skills/agentkitco-prove-it-ran/audits/1}, note = {Author version 1.0} }

CITATION.cff

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

Skillstore 评分

评分依据 证据置信度: 中
55
架构
85
可维护性
87
内容
65
社区
91
规范符合性

你能构建什么

Validate a Bug Fix

Confirm that a regression test fails without the fix and passes after restoration before closing a bug.

Review Completion Evidence

Compare implementation claims with fresh test counts, exit codes, and skipped-test evidence during review.

Prepare a Release Checkpoint

Collect build, lint, type-check, and test results while identifying checks blocked by missing infrastructure.

试试这些提示

Verify a Single Test
Verify that [test command] actually runs the intended test. Report the test count, exit code, and any skipped tests.
Check Completion Claims
Review these claims: [claims]. Run the relevant project checks and report exact commands, fresh evidence, and anything not verified.
Prove a Regression Test
Verify that [regression test] fails without [fix] and passes with it. Preserve unrelated edits and restore temporary changes. Report any verification limits.
Audit Release Evidence
Audit [release changes] using project-defined tests, lint, type checks, and builds. Check discovery and skips. Report failures, evidence, and environment-dependent gaps.

最佳实践

  • Run checks after the latest edits and retain exact commands with their output.
  • Isolate temporary source reversions, preserve unrelated work, and confirm restoration before continuing.
  • Separate verified claims from blocked checks and document how remaining checks can be performed.

避免

  • Treating zero tests, skipped tests, or stale output as proof of success.
  • Changing tests, snapshots, or thresholds solely to make checks pass.
  • Calling failures pre-existing without confirming them on a clean checkout.

常见问题

What does this skill verify?
It guides checks that commands ran, tests exercised the change, and completion claims have recorded evidence.
Does it include its own test runner?
No. It uses the project tools and commands available to the assistant.
Does a zero exit code prove tests passed?
No. The runner must also discover tests, execute the relevant cases, and expose skipped or excluded checks.
Why test without the fix?
A failure without the fix shows that the regression test can detect the original defect.
What happens when a check needs credentials or hardware?
The report marks the check as not verified and explains how the user can perform it.
Can it work with Claude, Codex, and Claude Code?
The report lists all three as supported tools. Actual verification depends on their access to project files and command execution.

开发者详情

作者

agentkitco

许可证

MIT

作者版本

v1.0

Skillstore 修订

r1

版本提示

作者声明的版本不符合 SemVer 规范。

引用

743429f75b17204d47661a86b577a575ad67517f

维护新鲜度

2026/10/17

使用量

0 次下载 · 0 次浏览

文件结构

📄 SKILL.md

agentkitco 的更多技能

查看全部
查看全部