Instructions file
Claude Code instructions for tiwillia/specware, covering claude.md, project overview, build and development commands, build the project and run all tests (unit and integration suites).
2 4mo ago A 780 tokens
Agent
Use this agent when you need to review implementation plans or code implementations to ensure they strictly adhere to requirements without unnecessary complexity or feature additions. Examples: Context: The user has written a function to validate email addresses but added regex patterns for international domains when…
2 4mo ago A 0 tokens
Agent
Use this agent when you have requirements or feature specifications that need technical documentation to clarify implementation details. Examples include: after writing initial requirements for a new API endpoint to determine if an OpenAPI spec would help, when defining database changes to assess if an ERD or schema…
2 4mo ago A 0 tokens
specify
04Command
Guide the user through a comprehensive spec-driven development workflow for feature requirements gathering and implementation planning based on $ARGUMENTS using the specware tool.
2 4mo ago A 0 tokens