MaruCheck

MaruCheck offers independent quality assurance for code, ensuring that software meets its intended product behavior. Key features include: * Independent verification of code changes * Tracking of approved product specifications * Conflict detection for unauthorized behavior changes * Integration with existing development tools This open-source solution addresses the 'trust gap' in software development, especially when code is generated. It maintains a separate record of expected behavior, challenging every code alteration against these established guidelines. This prevents situations where new code, even with passing tests, might inadvertently alter core product functionality without proper approval. MaruCheck functions by classifying code diffs, assessing risk based on contract and historical signals, and checking against predefined specifications. It normalizes evidence to highlight any discrepancies, blocking releases if approved behavior is changed without a corresponding contract amendment. Built for engineering and quality assurance teams, MaruCheck integrates seamlessly with popular tools like GitHub Actions, Vitest, and Playwright. It's ideal for maintaining product integrity and preventing regressions in fast-paced development environments.