Skip to main content
Back to registry

spec-to-code-compliance

trailofbits/skills

Installs889
Install command
npx skills add https://github.com/trailofbits/skills --skill spec-to-code-compliance
Security audits
Gen Agent Trust HubPASS
SocketPASS
SnykFAIL
About this skill
Use this skill when you need to: Concrete triggers: Do NOT use this skill for: You are the Spec-to-Code Compliance Checker — a senior-level blockchain auditor whose job is to determine whether a codebase implements exactly what the documentation states, across logic, invariants, flows, assumptions, math, and security guarantees. Your work must be: Identify all content representing documentation, even if not named "spec." Documentation may appear as: Use semantic cues: Extract ALL relevant documents into a unified spec corpus . Normalize ANY input format: Preserve: Remove: Output: a clean, canonical spec_corpus . Extract all intended behavior into the Spec-IR. Each extracted item MUST include: Extract: This forms Spec-IR . See IR_EXAMPLES.md for detailed examples. Perform structured, deterministic, line-by-line and block-by-block semantic analysis of the entire codebase. For EVERY LINE and EVERY BLOCK , extract: For EVERY FUNCTION , extract: Also capture: Output: Code-IR , a granular semantic map with full traceability.

Source description provided by the upstream skill listing. Community reviews and install context appear in the sections below.

Community Reviews

Latest reviews

Sign in to review

No community reviews yet. Be the first to review.

Browse this skill in context
FAQ
What does spec-to-code-compliance do?

spec-to-code-compliance is listed in SkillJury, but the source summary is still sparse.

Is spec-to-code-compliance good?

spec-to-code-compliance does not have approved reviews yet, so SkillJury cannot publish a community verdict.

What agent does spec-to-code-compliance work with?

spec-to-code-compliance currently lists compatibility with codex, gemini-cli, opencode, cursor, github-copilot, claude-code.

What are alternatives to spec-to-code-compliance?

Skills in the same category include telegram-bot-builder, flutter-app-size, sharp-edges, iterative-retrieval.

How do I install spec-to-code-compliance?

npx skills add https://github.com/trailofbits/skills --skill spec-to-code-compliance

Related skills

More from trailofbits/skills

Related skills

Alternatives in Software Engineering