diff --git a/stubs/atheris/METADATA.toml b/stubs/atheris/METADATA.toml
index bab88d8adf00..43ba5cf276b1 100644
--- a/stubs/atheris/METADATA.toml
+++ b/stubs/atheris/METADATA.toml
@@ -1,4 +1,4 @@
-version = "3.0.*"
+version = "3.1.*"
 upstream-repository = "https://github.com/google/atheris"
 partial-stub = true
 
diff --git a/stubs/atheris/atheris/version_dependent.pyi b/stubs/atheris/atheris/version_dependent.pyi
index 51c1d2060567..eba864764ec9 100644
--- a/stubs/atheris/atheris/version_dependent.pyi
+++ b/stubs/atheris/atheris/version_dependent.pyi
@@ -25,3 +25,8 @@ class ExceptionTable:
     def __eq__(self, other: object) -> bool: ...
 
 def generate_exceptiontable(original_code: types.CodeType, exception_table_entries: list[ExceptionTableEntry]) -> bytes: ...
+
+CONST_PUSH_INSTRS: Final[set[str]]
+
+def is_func_start_resume(opname: str, arg: int | None) -> bool: ...
+def has_argument(op: int) -> bool: ...