Implements independent validation logic to ensure algorithmic solutions satisfy all specified constraints and requirements.
This skill implements the 'Norvig pattern' for solution verification, enabling Claude to generate independent validator functions that check the correctness of complex algorithmic outputs. By decoupling the solving logic from the verification logic, it provides a robust mechanism to build confidence in optimizers, search algorithms, and mathematical solvers. It is especially valuable when finding a solution is computationally intensive but verifying that solution is simple, ensuring that results are accurate and conform to every domain-specific rule.
주요 기능
01Independent result verification logic
02Pattern-based validation for complex algorithms
03Separation of solver and validator concerns
04Automated assertion generation for solvers
05Constraint satisfaction checking
061 GitHub stars
사용 사례
01Ensuring AI-generated solutions meet strict logical business rules
02Verifying puzzle solvers such as Sudoku or Cryptarithmetic
03Validating results from optimization and search algorithms
