Skip to content

mimus vs the alternatives ​

vs linters ​

lintersmimus
checkscode shapeclaims about reality
docsmostly ignoredfirst-class source
outputstyle/correctnessclaim + evidence + fix
rulesper-language configrules/*.toml, evidence-bound

They complement each other — a linter says the code is shaped right; mimus says the docs tell the truth.

vs LLM doc review ​

"review the docs" promptmimus
coveragebroad, vagueonly what's checkable
false positiveshighevidence-or-silence
CI gateunsafemechanical tier is safe
costper-runmechanical tier is free

The LLM still has a role — as the check-llm adapter for the semantic tier, where findings are advisory by design.

vs doctest-style tools ​

doctests/link-checkersmimus
scopecode blocks onlyall factual prose
claim typesone or twopath/cmd/symbol/count/link
memory auditn/a.kuda/ card trust scores