skills.rest
telefrek
telefrekOFFICIAL
Explore all skills by this author →
WebsiteGitHub

spec-verify

Verify and repair code specifications through automated analysis and code modifications.

Updated Aug 23, 2026
Search Tags:#software development#test coverage#code verification#specification compliance#code repair
One-click install
npx skills add https://github.com/telefrek/jlsm --skill spec-verify-telefrek
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: spec-verify
Source: https://github.com/telefrek/jlsm/tree/main/.claude/skills/spec-verify
Command: npx skills add https://github.com/telefrek/jlsm --skill spec-verify-telefrek

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires spec-trace.sh, spec-validate.sh, and includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill streamlines the process of verifying and repairing code specifications, ensuring code adheres to requirements with minimal effort.

Core Features & Use Cases

  • Spec Verification: Compare implementation code against specification requirements and verify adherence.
  • Code Repair: Automatically fix violations or suggest changes to both code and spec text.
  • Test Coverage: Track and fill test coverage gaps to ensure thorough testing.

Quick Start

Use the spec-verify skill to verify and repair spec requirements for feature 'feature-id'.

Frequently Asked Questions about spec-verify

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I automate code spec verification for my software development workflow?▼

Automate code spec verification by comparing implementation code against specification requirements to check adherence. This process uses automated analysis to identify compliance violations and streamline software maintenance.

Can I automatically fix specification violations in my source code?▼

Yes, you can automatically fix specification violations by applying automated code modifications. The tool repairs violations or suggests changes to both code and spec text to ensure compliance.

What is the best way to track and fill test coverage gaps during specification compliance?▼

Track and fill test coverage gaps by running automated analysis against your specification requirements. This ensures thorough testing by identifying untested areas and verifying that implementation code meets all specifications.

Do I need specific dependencies to parse and modify source code for spec validation?▼

Yes, spec validation requires specific shell dependencies like spec-trace.sh and spec-validate.sh. These tools handle the parsing, analysis, and modification of source code required for rigorous specification compliance.

Does automated code repair work for both implementation code and spec text?▼

Yes, automated code repair works for both implementation code and spec text. The tool suggests or applies changes to either side to resolve violations and align the specification with the actual implementation.

Related Skills

Explore More Software Engineering Skills→
photoszztphotoszzt

tla-refinement-proofs

Verify TLA+ specification refinement using TLC model checking.

Community
Intermediate
peancharoenpeancharoen

speckit.validate

Validate implemented code against spec.md requirements and generate a traceability matrix.

Community
Advanced
bacchus-labsbacchus-labs

verify-integration

Trace specification requirements through implementation artifacts and compliance checks.

Official
Advanced
baphledbaphled
1

static-analysis

Guide static code analysis tools to detect bugs, vulnerabilities, and style violations.

Community
Intermediate