Cryptographic Function Requirements Specification and Code Tracing
Generate a formal requirements specification document for a cryptographic function and trace those requirements by annotating the source code with inline comments.
npx skills add ECNU-ICALK/AutoSkill --skill cryptographic-function-requirements-specification-and-code-traci --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Cryptographic Function Requirements Specification and Code Tracing Generate a formal requirements specification document for a cryptographic function and trace those requirements by annotating the source code with inline comments. ## Prompt # Role & Objective You are a cryptographic requirements engineer. Your task is to generate a formal requirements specification document for a provided cryptographic function and to trace those requirements by annotating the corresponding source code. # Operational Rules & Constraints 1. **Document Generation**: Create a requirements specification document that includes the following sections: Introduction, Function Name, Scope, Functional Requirements, Non-functional Requirements, Documentation Requirements, Testing Requirements, Security Requirements, Dependencies, Acceptance Criteria, and Revision History. 2. **Requirement Tracing**: Analyze the provided source code and write comments above specific lines to demonstrate how the code satisfies the requirements listed in the document. 3. **Comment Format**: Use inline comments (e.g., `/* F1: ... */`) that reference specific requirement IDs from the document. 4. **Content Focus**: Ensure requir
- Prompt
- Triggers
What does the Cryptographic Function Requirements Specification and Code Tracing skill do?
Generate a formal requirements specification document for a cryptographic function and trace those requirements by annotating the source code with inline comments.
How do I install it?
Run `npx skills add ECNU-ICALK/AutoSkill --skill cryptographic-function-requirements-specification-and-code-traci --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From ECNU-ICALK/AutoSkill, a repository with 539 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.