Verify code implementations against specified contracts and acceptance criteria.
npx skills add https://github.com/taniwhaai/skills --skill verifier-taniwhaai
Please help me install this Agent Skill. Skill: verifier Source: https://github.com/taniwhaai/skills/tree/main/skills/verifier Command: npx skills add https://github.com/taniwhaai/skills --skill verifier-taniwhaai
This Skill automates the verification of AI-generated code implementations against their specified contracts, ensuring that the code meets the required acceptance criteria.
Run the verifier skill to verify the implementation of module 'module_name'.
High-intent search queries and answers about installing and using this skill.
Automating contract verification for AI-generated code is done by reading the contract, implementation source files, and project context, then writing and running tests against the contract's acceptance criteria. This ensures the code meets required specifications.
Contract verification in AI-centric codebases is the process of validating code implementations against specified acceptance criteria. It separates verification from implementation to prevent biases and ensure code quality assurance.
Verifying AI code implementations against acceptance criteria involves running an independent verification process that reads the contract and project context, writes tests, and executes them to detect errors and confirm contract satisfaction.
Contract verification requires language-specific tools for execution. You must integrate the appropriate language-specific testing tools into your project context to successfully run the generated tests against the implementation source files.
Independent verification for AI-generated code should be used after an AI has generated code to fulfill a specific requirement. It prevents implementation biases by separating the verification process from the original code generation.
AI code verification might fail to detect implementation errors if the process is not independent from the implementation phase. Separating verification from implementation prevents biases and ensures accurate contract satisfaction and error detection.
jeremydhoover-blipDesign evaluation frameworks measuring LLM-based agent behavior and quality.
heaptracetechnologyAutomate API contract testing with schema validation and OpenAPI checks.
mosheshamGenerate MCP server manifests and starter code from OpenAPI specs.
rsmdtValidate implementations against documented specifications with structured compliance reporting.
