jonathan.protzenko.fr
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
star
star
star
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
star
star
star
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 04.10.2026 22:45:22.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Кодировка на странице не определена. Укажите явно кодировку документа!
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык страницы не указан. Рекомендуется явно указать язык документа!
Скорость загрузки
star
star
~0,58сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,58сек оптимальна.
Объем документа
star
star
152Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 152Кб оптимален.
Ресурсы: 0
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Ресурсы не найдены. Неужели ваш сайт на чистом html?
Кол-во: 5
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
полный список серверных заголовков
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Apache
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
Сайт работает на веб-сервере Apache.
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 247 достаточно.
Среднее число слов в абзаце 52 достаточно.
Кол-во знаков контента 106319 на странице оптимально.
Кол-во слов 17383 на странице оптимально.
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 25. Это прекрасно.
На странице присутствуют заголовки <h2> 15. Это хорошо.
На странице присутствуют заголовки <h3> 16.
Индексирование
star
star
star
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 144 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
star
star
star
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Внутренние ссылки
star
star
star
Кол-во: 6
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 6 оптимально.
Показать внутренние ссылки
| Url |
Анкор |
Состояние |
|
/2024/01/05/eurydice.html
|
wrote about this
|
|
|
/2019/01/04/behind-the-scenes.html
|
generating C code
|
|
|
/2024/01/05/eurydice.html
|
ongoing
efforts
|
|
|
/2019/01/04/behind-the-scenes.html
|
how much effort you put in the quality of your
parentheses
|
|
|
/2019/01/04/behind-the-scenes.html
|
wrote
extensively
|
|
|
/misc/commits_per_project.csv
|
uploaded online
|
|
Кол-во: 138
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 138 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать первые 100 внешних ссылок
| Url |
Анкор |
|
sonho.fr
|
Son Ho
|
|
aymericfromherz.github.io
|
Aymeric Fromherz
|
|
lucaversari.it
|
Luca
Versari
|
|
github.com
|
GitHub
|
|
aeneas-verif.zulipchat.com
|
Zulip
|
|
arxiv.org
|
ICFP’22
|
|
arxiv.org
|
ICFP’24
|
|
github.com
|
this particular
<code class="language-plaintext highlighter-rouge">unchecked_get</code>
|
|
github.com
|
here
|
|
github.com
|
invoking
|
|
arxiv.org
|
our
paper
|
|
github.com
|
run Aeneas
itself
|
|
github.com
|
lean-toolchain
|
|
github.com
|
fill
out
|
|
github.com
|
little bit of
boilerplate
|
|
github.com
|
Funs.lean
|
|
github.com
|
invariants on our data
structures
|
|
github.com
|
bunch of helper
lemmas
|
|
github.com
|
presented
here
|
|
github.com
|
<code class="language-plaintext highlighter-rouge">refill_slow_loop_does_not_panic</code>
theorem
|
|
github.com
|
attributes
|
|
github.com
|
bucket_index
|
|
github.com
|
step
lemma
|
|
github.com
|
rewrite
lemma
|
|
github.com
|
final
proof
|
|
microsoft.com
|
former
employer
|
|
google.com
|
new employer
|
|
techcommunity.microsoft.com
|
Windows kernel drivers can be written
in
Rust
|
|
github.com
|
compiling
libcrux to
C
|
|
github.com
|
a lot more
tests
|
|
github.com
|
this
bit
|
|
github.com
|
Rust
original
|
|
github.com
|
Charon
|
|
arxiv.org
|
Our
paper
|
|
doc.rust-lang.org
|
DST
|
|
en.cppreference.com
|
flexible array
members
|
|
en.wikipedia.org
|
CFG
|
|
github.com
|
KaRaMeL
|
|
github.com
|
enormous
pattern-matches
|
|
github.com
|
custom OCaml syntax
extension
|
|
github.com
|
concrete
syntax
|
|
github.com
|
relies on member pointers
|
|
github.com
|
same effect
|
|
github.com
|
violates strict
aliasing
|
|
github.com
|
some
tricks
|
|
github.com
|
real
fast
|
|
microsoft.com
|
Microsoft
|
|
boringssl-review.googlesource.com
|
Google
|
|
github.com
|
Aeneas
|
|
github.com
|
Charon
|
|
en.wikipedia.org
|
Eurydice
|
|
github.com
|
issue 99108
|
|
github.com
|
HACL*
|
|
aymericfromherz.github.io
|
Aymeric Fromherz
|
|
sonho.fr
|
Son Ho
|
|
nvd.nist.gov
|
bad
CVE
|
|
arxiv.org
|
research paper
|
|
github.com
|
what actually lives in the
repository
|
|
en.wikipedia.org
|
HMAC
|
|
github.com
|
krml
|
|
aymericfromherz.github.io
|
Aymeric
|
|
hacs-workshop.org
|
HACS workshop
|
|
github.com
|
libcrux
|
|
sites.google.com
|
Rust Verify
2024
|
|
github.com
|
here
|
|
github.com
|
Eurydice
|
|
hacs-workshop.org
|
HACS
|
|
github.com
|
Aeneas
|
|
arxiv.org
|
pure
translation
|
|
aymericfromherz.github.io
|
Aymeric
|
|
gcc.gnu.org
|
writing
assembly directly within C
code
|
|
github.com
|
Eurydice
|
|
blog.emojipedia.org
|
creative
use
|
|
messaginglayersecurity.rocks
|
MLS
|
|
eprint.iacr.org
|
our paper
|
|
twal.org
|
excellent
introduction
|
|
eprint.iacr.org
|
have been
found
|
|
eprint.iacr.org
|
our paper
|
|
ieeexplore.ieee.org
|
DY*
|
|
eprint.iacr.org
|
2019
work
|
|
twal.org
|
on his blog
|
|
project-everest.github.io
|
Project
Everest
|
|
arxiv.org
|
Low* toolchain
|
|
github.com
|
KaRaMeL
|
|
eprint.iacr.org
|
HACL*
|
|
github.com
|
this vintage example
|
|
github.com
|
now
uses
|
|
en.cppreference.com
|
C99’s
<code class="language-plaintext highlighter-rouge"><inttypes.h></code>
|
|
github.com
|
as
follows
|
|
eprint.iacr.org
|
CCS Paper
|
|
github.com
|
same high-level
structure
|
|
eprint.iacr.org
|
EverCrypt
Paper
|
|
arxiv.org
|
a
pre-print
|
|
noiseprotocol.org
|
Noise Protocol
Framework
|
|
en.wikipedia.org
|
first Futamura
projection
|
|
eprint.iacr.org
|
paper
|
|
wired.com
|
doomscrolling
|
|
project-everest.github.io
|
Everest
|
|
hacl-star.github.io
|
HACL and EverCrypt projects
|
|
github.com
|
generates matching ocaml-ctypes
bindings
|
Конкуренты в Яндексе
star
star
star
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
star
star
star
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
