Audit software task implementations against technical specifications for DARE methodology compliance.
npx skills add https://github.com/darelabs-tech/dare-cli --skill dare-review
Please help me install this Agent Skill. Skill: dare-review Source: https://github.com/darelabs-tech/dare-cli/tree/main/.agents/skills/dare-review Command: npx skills add https://github.com/darelabs-tech/dare-cli --skill dare-review
This skill solves the gap between static code analysis and functional correctness by performing a semantic audit of software tasks to ensure they meet the specific criteria defined in the DARE methodology.
Run the dare-review skill to perform a semantic audit of the task with ID task-034 by comparing the implementation against its specification.
High-intent search queries and answers about installing and using this skill.
Semantic code review goes beyond standard linting by cross-referencing technical specifications with actual source code to detect logical gaps and verify that implementations fulfill business logic and security requirements.
You can audit source code by running a semantic verification against defined requirements, which cross-references task specification files with the project codebase to detect logical gaps, stubs, and incomplete features.
Yes, semantic quality audit acts as a quality gatekeeper by preventing tasks from being marked as DONE if they contain stubs, mocks in production code, or incomplete features that fail to satisfy specification criteria.
To perform a software audit using the dare-method, you need access to task specification files and the project codebase to execute semantic verification against the defined criteria-based requirements.
Use semantic verification instead of static code analysis when you need to validate criteria-based completion and ensure the code fulfills the business logic promised in the design phase, closing the gap between static analysis and functional correctness.
nnexaiAudits phase-level project docs and generates prioritized human test plans.
xxihRun verification commands and record results in .quality/quality-check.md.
zerielribeiroRun ESLint, Ruff, and MyPy to lint and statically analyze JavaScript and Python code.
Ibrahim-3dEvaluate business-logic implementations for rule compliance, edge cases, and state transitions.
