I've made a utility that uses LLMs to compare specifications against implementations, called "semcheck" (semantic checker). I’ve often found that even though I set up Cursor rules or CLAUDE.md files, the implementation tends to drift away from these documents. I built this utility to be run as a pre-commit or CI step to check that they are still the same.

Repo: https://github.com/rejot-dev/semcheck/