tiwillia/specware

tiwillia/specware

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…

tiwillia/specware

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…