just a friendly thumbs up, as I think this would be very nice to have :)

Not quite sure if this is exactly what you're looking for, but Documenter also allows to check for existing docstrings. See this PR: JuliaDocs/Documenter.jl#1995 in particular.

Not quite sure if this is exactly what you're looking for, but Documenter also allows to check for existing docstrings.

Indeed but some packages don't have a Documenter page (for instance because the README is very good). Still, they might want to add quality checks with Aqua, and this is an important one in my opinion :)

Even then, it might be wise for Aqua to use or borrow the implementation of Documenter rather than reinventing the wheel. That said, there is a question whether Aqua attempts to be a one-stop quality assurance package, or play alongside other quality checks. What goes for Documenter's tests on documentation could also be said for JET's type stability checks. And maybe for other packages in this area too.

hasdoc will be added in Base.

JuliaLang/julia#51174

This is now as simple as:

 @test isempty(Docs.undocumented_names(MyModule))

in Julia 1.11.

(Note that this checks all public names, not just exported, i.e. it includes identifiers declared with the new public keyword in addition to identifiers declared with export.)

Just because it's a one liner perhaps doesn't mean it shouldn't be part of Aqua?

I just wanted to open an issue on this and found this one. I think it should be part of Aqua, to make it a real one-stop solution for these quality tests.

I move to reopen as well

I finally got around to fixing it, would love a review on #313