Skip to content
Back to skills

Arxiv 2609 19844v1 Trust But Validate The Instrument Auditing Ai Gene

ASecurity

**arXiv ID:** 2609.19844v1 **Authors:** Hang Xiao, Chuhong Xu, Kainan Zhou, Gangzhen Qian, Lu Yi **URL:** http://arxiv.org/abs/2609.19844v1 **Utility Score:** 1.00

  • 3 stars
  • 0 votes
  • 0 copies
  • 0 views
  • Added September 23, 2026
testingrustsecurity

Security analysis

A100/100

Scanned September 23, 2026

npx -y skills add hiyenwong/ai_collection --skill arxiv-2609-19844v1-trust-but-validate-the-instrument-auditing-ai-gene --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Arxiv 2609 19844v1 Trust But Validate The Instrument Auditing Ai Gene?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Arxiv 2609 19844v1 Trust But Validate The Instrument Auditing Ai Gene
[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/hiyenwong-arxiv-2609-19844v1-trust-but-validate-the-instrume/badge)](https://www.skillsdirectory.com/skills/hiyenwong-arxiv-2609-19844v1-trust-but-validate-the-instrume)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro
SKILL.md
--
name: arxiv-2609-19844v1-trust-but-validate-the-instrument-auditing-ai-gene
description: 'Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies (arXiv: 2609.19844v1)'
metadata:
  {
    "arxiv_id": "2609.19844v1",
    "utility": 1.0,
    "title": "Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies",
    "authors": "Hang Xiao, Chuhong Xu, Kainan Zhou, Gangzhen Qian, Lu Yi",
    "url": "http://arxiv.org/abs/2609.19844v1"
  }
--

# Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies

**arXiv ID:** 2609.19844v1
**Authors:** Hang Xiao, Chuhong Xu, Kainan Zhou, Gangzhen Qian, Lu Yi
**URL:** http://arxiv.org/abs/2609.19844v1
**Utility Score:** 1.00

## Summary

This skill was automatically generated from the arXiv paper titled "Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies" (ID: 2609.19844v1).

## Usage

This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.

## References

- arXiv: http://arxiv.org/abs/2609.19844v1

Attribution

Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.

Comments

Loading comments…