pydantic/strict-no-cover ? reverse-engineered prompt

Build me a small Python command line tool that checks a coverage file and reports any # pragma: no cover comments that are being used too broadly.

I want it to read the normal .coverage data after I’ve run tests, then flag cases where code marked as no cover is actually getting hit. If a file has flaky or partial coverage, let me use a softer comment like # pragma: lax no cover so it only warns when nothing relevant is covered. Make the output easy to read, with the file and line numbers that need attention.

Please also make it simple to run from the terminal, and include a clean setup so I can install it with uv and use it in a project’s coverage config. If you can, add a few tests that show the strict and lax behavior clearly, and make sure the tool feels like something I could drop into an existing Python repo without much fuss.