diff --git a/pyrightconfig.stricter.json b/pyrightconfig.stricter.json
index 4dfc2985a..caae17851 100644
--- a/pyrightconfig.stricter.json
+++ b/pyrightconfig.stricter.json
@@ -52,6 +52,7 @@
         "stubs/pep8-naming",
         "stubs/psutil",
         "stubs/psycopg2",
+        "stubs/pyflakes",
         "stubs/Pygments",
         "stubs/PyMySQL",
         "stubs/python-dateutil",
diff --git a/stubs/pyflakes/@tests/stubtest_allowlist.txt b/stubs/pyflakes/@tests/stubtest_allowlist.txt
new file mode 100644
index 000000000..7696da17d
--- /dev/null
+++ b/stubs/pyflakes/@tests/stubtest_allowlist.txt
@@ -0,0 +1,26 @@
+# These all have class-level defaults that differ from the instance attributes 
+pyflakes.messages.CommentAnnotationSyntaxError.message_args
+pyflakes.messages.DuplicateArgument.message_args
+pyflakes.messages.ForwardAnnotationSyntaxError.message_args
+pyflakes.messages.FutureFeatureNotDefined.message_args
+pyflakes.messages.ImportShadowedByLoopVar.message_args
+pyflakes.messages.ImportStarUsage.message_args
+pyflakes.messages.ImportStarUsed.message_args
+pyflakes.messages.MultiValueRepeatedKeyLiteral.message_args
+pyflakes.messages.MultiValueRepeatedKeyVariable.message_args
+pyflakes.messages.PercentFormatExtraNamedArguments.message_args
+pyflakes.messages.PercentFormatInvalidFormat.message_args
+pyflakes.messages.PercentFormatMissingArgument.message_args
+pyflakes.messages.PercentFormatPositionalCountMismatch.message_args
+pyflakes.messages.PercentFormatUnsupportedFormatCharacter.message_args
+pyflakes.messages.RedefinedInListComp.message_args
+pyflakes.messages.RedefinedWhileUnused.message_args
+pyflakes.messages.StringDotFormatExtraNamedArguments.message_args
+pyflakes.messages.StringDotFormatExtraPositionalArguments.message_args
+pyflakes.messages.StringDotFormatInvalidFormat.message_args
+pyflakes.messages.StringDotFormatMissingArgument.message_args
+pyflakes.messages.UndefinedExport.message_args
+pyflakes.messages.UndefinedLocal.message_args
+pyflakes.messages.UndefinedName.message_args
+pyflakes.messages.UnusedImport.message_args
+pyflakes.messages.UnusedVariable.message_args
\ No newline at end of file
diff --git a/stubs/pyflakes/METADATA.toml b/stubs/pyflakes/METADATA.toml
new file mode 100644
index 000000000..bcb78f17f
--- /dev/null
+++ b/stubs/pyflakes/METADATA.toml
@@ -0,0 +1 @@
+version = "2.4.*"
diff --git a/stubs/pyflakes/pyflakes/__init__.pyi b/stubs/pyflakes/pyflakes/__init__.pyi
new file mode 100644
index 000000000..bda5b5a7f
--- /dev/null
+++ b/stubs/pyflakes/pyflakes/__init__.pyi
@@ -0,0 +1 @@
+__version__: str
diff --git a/stubs/pyflakes/pyflakes/api.pyi b/stubs/pyflakes/pyflakes/api.pyi
new file mode 100644
index 000000000..dcc9f7e6a
--- /dev/null
+++ b/stubs/pyflakes/pyflakes/api.pyi
@@ -0,0 +1,15 @@
+from collections.abc import Iterable, Iterator, Sequence
+from typing import Any, Pattern
+
+from pyflakes.reporter import Reporter
+
+__all__ = ["check", "checkPath", "checkRecursive", "iterSourceCode", "main"]
+
+PYTHON_SHEBANG_REGEX: Pattern[bytes]
+
+def check(codeString: str, filename: str, reporter: Reporter | None = ...) -> int: ...
+def checkPath(filename, reporter: Reporter | None = ...) -> int: ...
+def isPythonFile(filename) -> bool: ...
+def iterSourceCode(paths: Iterable[Any]) -> Iterator[Any]: ...
+def checkRecursive(paths: Iterable[Any], reporter: Reporter) -> int: ...
+def main(prog: str | None = ..., args: Sequence[Any] | None = ...) -> None: ...
diff --git a/stubs/pyflakes/pyflakes/checker.pyi b/stubs/pyflakes/pyflakes/checker.pyi
new file mode 100644
index 000000000..833cdb9dc
--- /dev/null
+++ b/stubs/pyflakes/pyflakes/checker.pyi
@@ -0,0 +1,361 @@
+import ast
+import sys
+from collections.abc import Callable, Iterable, Iterator
+from tokenize import TokenInfo
+from typing import Any, ClassVar, Pattern, TypeVar, overload
+from typing_extensions import Literal, ParamSpec
+
+from pyflakes.messages import Message
+
+_AnyFunction = Callable[..., Any]
+_F = TypeVar("_F", bound=_AnyFunction)
+_P = ParamSpec("_P")
+_T = TypeVar("_T")
+
+PY2: bool
+PY35_PLUS: bool
+PY36_PLUS: bool
+PY38_PLUS: bool
+PYPY: bool
+
+def getNodeType(node_class: type[ast.AST]) -> str: ...
+def get_raise_argument(node: ast.Raise) -> ast.expr | None: ...
+def getAlternatives(n: ast.If | ast.Try) -> list[ast.AST]: ...
+
+FOR_TYPES: tuple[type[ast.For], type[ast.AsyncFor]]
+LOOP_TYPES: tuple[type[ast.While], type[ast.For], type[ast.AsyncFor]]
+FUNCTION_TYPES: tuple[type[ast.FunctionDef], type[ast.AsyncFunctionDef]]
+ANNASSIGN_TYPES: tuple[type[ast.AnnAssign]]
+TYPE_COMMENT_RE: Pattern[str]
+ASCII_NON_ALNUM: str
+TYPE_IGNORE_RE: Pattern[str]
+TYPE_FUNC_RE: Pattern[str]
+MAPPING_KEY_RE: Pattern[str]
+CONVERSION_FLAG_RE: Pattern[str]
+WIDTH_RE: Pattern[str]
+PRECISION_RE: Pattern[str]
+LENGTH_RE: Pattern[str]
+VALID_CONVERSIONS: frozenset[str]
+
+_FormatType = tuple[str | None, str | None, str | None, str | None, str]
+_PercentFormat = tuple[str, _FormatType | None]
+
+def parse_percent_format(s: str) -> tuple[_PercentFormat, ...]: ...
+
+class _FieldsOrder(dict[type[ast.AST], tuple[str, ...]]):
+    def __missing__(self, node_class: type[ast.AST]) -> tuple[str, ...]: ...
+
+def counter(items: Iterable[_T]) -> dict[_T, int]: ...
+
+_OmitType = str | tuple[str, ...] | None
+
+def iter_child_nodes(node: ast.AST, omit: _OmitType = ..., _fields_order: _FieldsOrder = ...) -> Iterator[ast.AST]: ...
+@overload
+def convert_to_value(item: ast.Str) -> str: ...  # type: ignore[misc]
+@overload
+def convert_to_value(item: ast.Bytes) -> bytes: ...  # type: ignore[misc]
+@overload
+def convert_to_value(item: ast.Tuple) -> tuple[Any, ...]: ...  # type: ignore[misc]
+@overload
+def convert_to_value(item: ast.Name | ast.NameConstant) -> Any: ...
+@overload
+def convert_to_value(item: ast.AST) -> UnhandledKeyType: ...
+def is_notimplemented_name_node(node: object) -> bool: ...
+
+class Binding:
+    name: str
+    source: ast.AST | None
+    used: Literal[False] | tuple[Any, ast.AST]
+    def __init__(self, name: str, source: ast.AST | None) -> None: ...
+    def redefines(self, other: Binding) -> bool: ...
+
+class Definition(Binding): ...
+
+class Builtin(Definition):
+    def __init__(self, name: str) -> None: ...
+
+class UnhandledKeyType: ...
+
+class VariableKey:
+    name: str
+    def __init__(self, item: ast.Name) -> None: ...
+    def __eq__(self, compare: object) -> bool: ...
+    def __hash__(self) -> int: ...
+
+class Importation(Definition):
+    fullName: str
+    redefined: list[Any]
+    def __init__(self, name: str, source: ast.AST | None, full_name: str | None = ...) -> None: ...
+    @property
+    def source_statement(self) -> str: ...
+
+class SubmoduleImportation(Importation):
+    def __init__(self, name: str, source: ast.Import | None) -> None: ...
+
+class ImportationFrom(Importation):
+    module: str
+    real_name: str
+    def __init__(self, name: str, source: ast.AST, module: str, real_name: str | None = ...) -> None: ...
+
+class StarImportation(Importation):
+    def __init__(self, name: str, source: ast.AST) -> None: ...
+
+class FutureImportation(ImportationFrom):
+    used: tuple[Any, ast.AST]
+    def __init__(self, name: str, source: ast.AST, scope) -> None: ...
+
+class Argument(Binding): ...
+class Assignment(Binding): ...
+
+class Annotation(Binding):
+    def redefines(self, other: Binding) -> Literal[False]: ...
+
+class FunctionDefinition(Definition): ...
+class ClassDefinition(Definition): ...
+
+class ExportBinding(Binding):
+    names: list[str]
+    def __init__(self, name: str, source: ast.AST, scope: Scope) -> None: ...
+
+class Scope(dict[str, Binding]):
+    importStarred: bool
+
+class ClassScope(Scope): ...
+
+class FunctionScope(Scope):
+    usesLocals: bool
+    alwaysUsed: ClassVar[set[str]]
+    globals: set[str]
+    returnValue: Any
+    isGenerator: bool
+    def __init__(self) -> None: ...
+    def unusedAssignments(self) -> Iterator[tuple[str, Binding]]: ...
+
+class GeneratorScope(Scope): ...
+class ModuleScope(Scope): ...
+class DoctestScope(ModuleScope): ...
+
+class DummyNode:
+    lineno: int
+    col_offset: int
+    def __init__(self, lineno: int, col_offset: int) -> None: ...
+
+class DetectClassScopedMagic:
+    names: list[str]
+
+def getNodeName(node: ast.AST) -> str: ...
+
+TYPING_MODULES: frozenset[Literal["typing", "typing_extensions"]]
+
+def is_typing_overload(value: Binding, scope_stack) -> bool: ...
+
+class AnnotationState:
+    NONE: ClassVar[Literal[0]]
+    STRING: ClassVar[Literal[1]]
+    BARE: ClassVar[Literal[2]]
+
+def in_annotation(func: _F) -> _F: ...
+def in_string_annotation(func: _F) -> _F: ...
+def make_tokens(code: str | bytes) -> tuple[TokenInfo, ...]: ...
+
+if sys.version_info >= (3, 8):
+    _NamedExpr = ast.NamedExpr
+else:
+    _NamedExpr = Any
+
+if sys.version_info >= (3, 10):
+    _Match = ast.Match
+    _MatchCase = ast.match_case
+    _MatchValue = ast.MatchValue
+    _MatchSingleton = ast.MatchSingleton
+    _MatchSequence = ast.MatchSequence
+    _MatchStar = ast.MatchStar
+    _MatchMapping = ast.MatchMapping
+    _MatchClass = ast.MatchClass
+    _MatchAs = ast.MatchAs
+    _MatchOr = ast.MatchOr
+else:
+    _Match = Any
+    _MatchCase = Any
+    _MatchValue = Any
+    _MatchSingleton = Any
+    _MatchSequence = Any
+    _MatchStar = Any
+    _MatchMapping = Any
+    _MatchClass = Any
+    _MatchAs = Any
+    _MatchOr = Any
+
+class Checker:
+    nodeDepth: int
+    offset: tuple[int, int] | None
+    builtIns: set[str]
+    deadScopes: list[Any]
+    messages: list[Any]
+    filename: str
+    withDoctest: bool
+    scopeStack: list[Scope]
+    exceptHandlers: list[Any]
+    root: ast.AST
+    def __init__(
+        self,
+        tree: ast.AST,
+        filename: str = ...,
+        builtins: Iterable[str] | None = ...,
+        withDoctest: bool = ...,
+        file_tokens: tuple[Any, ...] = ...,
+    ) -> None: ...
+    def deferFunction(self, callable: _AnyFunction) -> None: ...
+    def deferAssignment(self, callable: _AnyFunction) -> None: ...
+    def runDeferred(self, deferred: _AnyFunction) -> None: ...
+    @property
+    def futuresAllowed(self) -> bool: ...
+    @futuresAllowed.setter
+    def futuresAllowed(self, value: Literal[False]) -> None: ...
+    @property
+    def annotationsFutureEnabled(self) -> bool: ...
+    @annotationsFutureEnabled.setter
+    def annotationsFutureEnabled(self, value: Literal[True]) -> None: ...
+    @property
+    def scope(self) -> Scope: ...
+    def popScope(self) -> None: ...
+    def checkDeadScopes(self) -> None: ...
+    def pushScope(self, scopeClass: type[Scope] = ...) -> None: ...
+    def report(self, messageClass: Callable[_P, Message], *args: _P.args, **kwargs: _P.kwargs) -> None: ...
+    def getParent(self, node: ast.AST) -> ast.AST: ...
+    def getCommonAncestor(self, lnode: ast.AST, rnode: ast.AST, stop: ast.AST) -> ast.AST: ...
+    def descendantOf(self, node: ast.AST, ancestors: ast.AST, stop: ast.AST) -> bool: ...
+    def getScopeNode(self, node: ast.AST) -> ast.AST | None: ...
+    def differentForks(self, lnode: ast.AST, rnode: ast.AST) -> bool: ...
+    def addBinding(self, node: ast.AST, value: Binding) -> None: ...
+    def getNodeHandler(self, node_class: type[ast.AST]): ...
+    def handleNodeLoad(self, node: ast.AST) -> None: ...
+    def handleNodeStore(self, node: ast.AST) -> None: ...
+    def handleNodeDelete(self, node: ast.AST) -> None: ...
+    def handleChildren(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def isLiteralTupleUnpacking(self, node: ast.AST) -> bool | None: ...
+    def isDocstring(self, node: ast.AST) -> bool: ...
+    def getDocstring(self, node: ast.AST) -> tuple[str, int] | tuple[None, None]: ...
+    def handleNode(self, node: ast.AST | None, parent) -> None: ...
+    def handleDoctests(self, node: ast.AST) -> None: ...
+    def handleStringAnnotation(self, s: str, node: ast.AST, ref_lineno: int, ref_col_offset: int, err: type[Message]) -> None: ...
+    def handleAnnotation(self, annotation: ast.AST, node: ast.AST) -> None: ...
+    def ignore(self, node: ast.AST) -> None: ...
+    def DELETE(self, tree: ast.Delete, omit: _OmitType = ...) -> None: ...
+    def PRINT(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def FOR(self, tree: ast.For, omit: _OmitType = ...) -> None: ...
+    def ASYNCFOR(self, tree: ast.AsyncFor, omit: _OmitType = ...) -> None: ...
+    def WHILE(self, tree: ast.While, omit: _OmitType = ...) -> None: ...
+    def WITH(self, tree: ast.With, omit: _OmitType = ...) -> None: ...
+    def WITHITEM(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def ASYNCWITH(self, tree: ast.AsyncWith, omit: _OmitType = ...) -> None: ...
+    def ASYNCWITHITEM(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def TRYFINALLY(self, tree: ast.Try, omit: _OmitType = ...) -> None: ...
+    def EXEC(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def EXPR(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def ASSIGN(self, tree: ast.Assign, omit: _OmitType = ...) -> None: ...
+    def PASS(self, node: ast.AST) -> None: ...
+    def BOOLOP(self, tree: ast.BoolOp, omit: _OmitType = ...) -> None: ...
+    def UNARYOP(self, tree: ast.UnaryOp, omit: _OmitType = ...) -> None: ...
+    def SET(self, tree: ast.Set, omit: _OmitType = ...) -> None: ...
+    def REPR(self, tree: ast.AST, omit: _OmitType = ...) -> None: ...
+    def ATTRIBUTE(self, tree: ast.Attribute, omit: _OmitType = ...) -> None: ...
+    def STARRED(self, tree: ast.Starred, omit: _OmitType = ...) -> None: ...
+    def NAMECONSTANT(self, tree: ast.NameConstant, omit: _OmitType = ...) -> None: ...
+    def NAMEDEXPR(self, tree: _NamedExpr, omit: _OmitType = ...) -> None: ...
+    def SUBSCRIPT(self, node: ast.Subscript) -> None: ...
+    def CALL(self, node: ast.Call) -> None: ...
+    def BINOP(self, node: ast.BinOp) -> None: ...
+    def CONSTANT(self, node: ast.Constant) -> None: ...
+    if sys.version_info < (3, 8):
+        def NUM(self, node: ast.Num) -> None: ...
+        def BYTES(self, node: ast.Bytes) -> None: ...
+        def ELLIPSIS(self, node: ast.Ellipsis) -> None: ...
+
+    def STR(self, node: ast.Str) -> None: ...
+    def SLICE(self, tree: ast.Slice, omit: _OmitType = ...) -> None: ...
+    def EXTSLICE(self, tree: ast.ExtSlice, omit: _OmitType = ...) -> None: ...
+    def INDEX(self, tree: ast.Index, omit: _OmitType = ...) -> None: ...
+    def LOAD(self, node: ast.Load) -> None: ...
+    def STORE(self, node: ast.Store) -> None: ...
+    def DEL(self, node: ast.Del) -> None: ...
+    def AUGLOAD(self, node: ast.AugLoad) -> None: ...
+    def AUGSTORE(self, node: ast.AugStore) -> None: ...
+    def PARAM(self, node: ast.Param) -> None: ...
+    def AND(self, node: ast.And) -> None: ...
+    def OR(self, node: ast.Or) -> None: ...
+    def ADD(self, node: ast.Add) -> None: ...
+    def SUB(self, node: ast.Sub) -> None: ...
+    def MULT(self, node: ast.Mult) -> None: ...
+    def DIV(self, node: ast.Div) -> None: ...
+    def MOD(self, node: ast.Mod) -> None: ...
+    def POW(self, node: ast.Pow) -> None: ...
+    def LSHIFT(self, node: ast.LShift) -> None: ...
+    def RSHIFT(self, node: ast.RShift) -> None: ...
+    def BITOR(self, node: ast.BitOr) -> None: ...
+    def BITXOR(self, node: ast.BitXor) -> None: ...
+    def BITAND(self, node: ast.BitAnd) -> None: ...
+    def FLOORDIV(self, node: ast.FloorDiv) -> None: ...
+    def INVERT(self, node: ast.Invert) -> None: ...
+    def NOT(self, node: ast.Not) -> None: ...
+    def UADD(self, node: ast.UAdd) -> None: ...
+    def USUB(self, node: ast.USub) -> None: ...
+    def EQ(self, node: ast.Eq) -> None: ...
+    def NOTEQ(self, node: ast.NotEq) -> None: ...
+    def LT(self, node: ast.Lt) -> None: ...
+    def LTE(self, node: ast.LtE) -> None: ...
+    def GT(self, node: ast.Gt) -> None: ...
+    def GTE(self, node: ast.GtE) -> None: ...
+    def IS(self, node: ast.Is) -> None: ...
+    def ISNOT(self, node: ast.IsNot) -> None: ...
+    def IN(self, node: ast.In) -> None: ...
+    def NOTIN(self, node: ast.NotIn) -> None: ...
+    def MATMULT(self, node: ast.MatMult) -> None: ...
+    def RAISE(self, node: ast.Raise) -> None: ...
+    def COMPREHENSION(self, tree: ast.comprehension, omit: _OmitType = ...) -> None: ...
+    def KEYWORD(self, tree: ast.keyword, omit: _OmitType = ...) -> None: ...
+    def FORMATTEDVALUE(self, tree: ast.FormattedValue, omit: _OmitType = ...) -> None: ...
+    def JOINEDSTR(self, node: ast.AST) -> None: ...
+    def DICT(self, node: ast.Dict) -> None: ...
+    def IF(self, node: ast.If) -> None: ...
+    def IFEXP(self, node: ast.If) -> None: ...
+    def ASSERT(self, node: ast.Assert) -> None: ...
+    def GLOBAL(self, node: ast.Global) -> None: ...
+    def NONLOCAL(self, node: ast.Nonlocal) -> None: ...
+    def GENERATOREXP(self, node: ast.GeneratorExp) -> None: ...
+    def LISTCOMP(self, node: ast.ListComp) -> None: ...
+    def DICTCOMP(self, node: ast.DictComp) -> None: ...
+    def SETCOMP(self, node: ast.SetComp) -> None: ...
+    def NAME(self, node: ast.Name) -> None: ...
+    def CONTINUE(self, node: ast.Continue) -> None: ...
+    def BREAK(self, node: ast.Break) -> None: ...
+    def RETURN(self, node: ast.Return) -> None: ...
+    def YIELD(self, node: ast.Yield) -> None: ...
+    def AWAIT(self, node: ast.Await) -> None: ...
+    def YIELDFROM(self, node: ast.YieldFrom) -> None: ...
+    def FUNCTIONDEF(self, node: ast.FunctionDef) -> None: ...
+    def ASYNCFUNCTIONDEF(self, node: ast.AsyncFunctionDef) -> None: ...
+    def LAMBDA(self, node: ast.Lambda) -> None: ...
+    def ARGUMENTS(self, node: ast.arguments) -> None: ...
+    def ARG(self, node: ast.arg) -> None: ...
+    def CLASSDEF(self, node: ast.ClassDef): ...
+    def AUGASSIGN(self, node: ast.AugAssign) -> None: ...
+    def TUPLE(self, node: ast.Tuple) -> None: ...
+    def LIST(self, node: ast.List) -> None: ...
+    def IMPORT(self, node: ast.Import) -> None: ...
+    def IMPORTFROM(self, node: ast.ImportFrom) -> None: ...
+    def TRY(self, node: ast.Try) -> None: ...
+    def TRYEXCEPT(self, node: ast.Try) -> None: ...
+    def EXCEPTHANDLER(self, node: ast.ExceptHandler) -> None: ...
+    def ANNASSIGN(self, node: ast.AnnAssign) -> None: ...
+    def COMPARE(self, node: ast.Compare) -> None: ...
+    def MATCH(self, tree: _Match, omit: _OmitType = ...) -> None: ...
+    def MATCH_CASE(self, tree: _MatchCase, omit: _OmitType = ...) -> None: ...
+    def MATCHCLASS(self, tree: _MatchClass, omit: _OmitType = ...) -> None: ...
+    def MATCHOR(self, tree: _MatchOr, omit: _OmitType = ...) -> None: ...
+    def MATCHSEQUENCE(self, tree: _MatchSequence, omit: _OmitType = ...) -> None: ...
+    def MATCHSINGLETON(self, tree: _MatchSingleton, omit: _OmitType = ...) -> None: ...
+    def MATCHVALUE(self, tree: _MatchValue, omit: _OmitType = ...) -> None: ...
+    def MATCHAS(self, node: _MatchAs) -> None: ...
+    def MATCHMAPPING(self, node: _MatchMapping) -> None: ...
+    def MATCHSTAR(self, node: _MatchStar) -> None: ...
diff --git a/stubs/pyflakes/pyflakes/messages.pyi b/stubs/pyflakes/pyflakes/messages.pyi
new file mode 100644
index 000000000..b641ee765
--- /dev/null
+++ b/stubs/pyflakes/pyflakes/messages.pyi
@@ -0,0 +1,149 @@
+import ast
+from typing import Any, ClassVar
+
+class Message:
+    message: ClassVar[str]
+    message_args: tuple[Any, ...]
+    filename: Any
+    lineno: int
+    col: int
+    def __init__(self, filename, loc: ast.AST) -> None: ...
+
+class UnusedImport(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, name) -> None: ...
+
+class RedefinedWhileUnused(Message):
+    message_args: tuple[Any, int]
+    def __init__(self, filename, loc: ast.AST, name, orig_loc: ast.AST) -> None: ...
+
+class RedefinedInListComp(Message):
+    message_args: tuple[Any, int]
+    def __init__(self, filename, loc: ast.AST, name, orig_loc: ast.AST) -> None: ...
+
+class ImportShadowedByLoopVar(Message):
+    message_args: tuple[Any, int]
+    def __init__(self, filename, loc: ast.AST, name, orig_loc: ast.AST) -> None: ...
+
+class ImportStarNotPermitted(Message):
+    message_args: Any
+    def __init__(self, filename, loc, modname) -> None: ...
+
+class ImportStarUsed(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, modname) -> None: ...
+
+class ImportStarUsage(Message):
+    message_args: tuple[Any, Any]
+    def __init__(self, filename, loc: ast.AST, name, from_list) -> None: ...
+
+class UndefinedName(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, name) -> None: ...
+
+class DoctestSyntaxError(Message):
+    message_args: tuple[()]
+    def __init__(self, filename, loc: ast.AST, position: tuple[int, int] | None = ...) -> None: ...
+
+class UndefinedExport(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, name) -> None: ...
+
+class UndefinedLocal(Message):
+    default: ClassVar[str]
+    builtin: ClassVar[str]
+    message_args: tuple[Any, int]
+    def __init__(self, filename, loc: ast.AST, name, orig_loc: ast.AST) -> None: ...
+
+class DuplicateArgument(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, name) -> None: ...
+
+class MultiValueRepeatedKeyLiteral(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, key) -> None: ...
+
+class MultiValueRepeatedKeyVariable(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, key) -> None: ...
+
+class LateFutureImport(Message):
+    message_args: tuple[()]
+    def __init__(self, filename, loc: ast.AST, names) -> None: ...
+
+class FutureFeatureNotDefined(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, name) -> None: ...
+
+class UnusedVariable(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, names) -> None: ...
+
+class ReturnWithArgsInsideGenerator(Message): ...
+class ReturnOutsideFunction(Message): ...
+class YieldOutsideFunction(Message): ...
+class ContinueOutsideLoop(Message): ...
+class BreakOutsideLoop(Message): ...
+class ContinueInFinally(Message): ...
+class DefaultExceptNotLast(Message): ...
+class TwoStarredExpressions(Message): ...
+class TooManyExpressionsInStarredAssignment(Message): ...
+class IfTuple(Message): ...
+class AssertTuple(Message): ...
+
+class ForwardAnnotationSyntaxError(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, annotation) -> None: ...
+
+class CommentAnnotationSyntaxError(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, annotation) -> None: ...
+
+class RaiseNotImplemented(Message): ...
+class InvalidPrintSyntax(Message): ...
+class IsLiteral(Message): ...
+class FStringMissingPlaceholders(Message): ...
+
+class StringDotFormatExtraPositionalArguments(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, extra_positions) -> None: ...
+
+class StringDotFormatExtraNamedArguments(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, extra_keywords) -> None: ...
+
+class StringDotFormatMissingArgument(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, missing_arguments) -> None: ...
+
+class StringDotFormatMixingAutomatic(Message): ...
+
+class StringDotFormatInvalidFormat(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, error) -> None: ...
+
+class PercentFormatInvalidFormat(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, error) -> None: ...
+
+class PercentFormatMixedPositionalAndNamed(Message): ...
+
+class PercentFormatUnsupportedFormatCharacter(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, c) -> None: ...
+
+class PercentFormatPositionalCountMismatch(Message):
+    message_args: tuple[int, int]
+    def __init__(self, filename, loc: ast.AST, n_placeholders: int, n_substitutions: int) -> None: ...
+
+class PercentFormatExtraNamedArguments(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, extra_keywords) -> None: ...
+
+class PercentFormatMissingArgument(Message):
+    message_args: tuple[Any]
+    def __init__(self, filename, loc: ast.AST, missing_arguments) -> None: ...
+
+class PercentFormatExpectedMapping(Message): ...
+class PercentFormatExpectedSequence(Message): ...
+class PercentFormatStarRequiresSequence(Message): ...
diff --git a/stubs/pyflakes/pyflakes/reporter.pyi b/stubs/pyflakes/pyflakes/reporter.pyi
new file mode 100644
index 000000000..5b15ee962
--- /dev/null
+++ b/stubs/pyflakes/pyflakes/reporter.pyi
@@ -0,0 +1,5 @@
+class Reporter:
+    def __init__(self, warningStream, errorStream) -> None: ...
+    def unexpectedError(self, filename, msg) -> None: ...
+    def syntaxError(self, filename, msg, lineno, offset, text) -> None: ...
+    def flake(self, message) -> None: ...