# spec_lint v0.1.0 - Table of Contents > Checks Elixir @spec declarations against compiler-inferred signatures ## Pages - [SpecLint](readme.md) - [Changelog](changelog.md) ## Modules - [SpecLint](SpecLint.md): Internal, unstable programmatic API. The supported public interfaces are the Mix task, its configuration, and its JSON findings file. - [SpecLint.Typespec](SpecLint.Typespec.md): Internal, unstable compiler translator; not a supported public API. ## Mix Tasks - [mix spec_lint](Mix.Tasks.SpecLint.md): Compiles the project and checks exported functions with readable specs and stored compiler-inferred signatures in the project's own applications.