LIVE
2.65M influencer listings 🏢38.2K sponsor listings 🌍57.46B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋945.5K Bluesky creators 🟣725.8K Twitch creators 🎙️559.1K podcast creators 🐘146.9K Mastodon creators 🥊75.3K Kick creators ▶️75.1K YouTube creators ✈️49.4K Telegram creators 𝕏43.6K X creators 🎵20.3K TikTok creators 🎮5.7K Discord creators 🎬3.5K Rumble creators 🧵1.3K Threads creators 2.65M influencer listings 🏢38.2K sponsor listings 🌍57.46B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋945.5K Bluesky creators 🟣725.8K Twitch creators 🎙️559.1K podcast creators 🐘146.9K Mastodon creators 🥊75.3K Kick creators ▶️75.1K YouTube creators ✈️49.4K Telegram creators 𝕏43.6K X creators 🎵20.3K TikTok creators 🎮5.7K Discord creators 🎬3.5K Rumble creators 🧵1.3K Threads creators
VojtechStep

VojtechStep

🔄 Data last refreshed 4 hours ago
🤝

Make a deal with VojtechStep

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Every booking is a normal escrow-protected deal.

Followers
110
Account age
2 yrs
🧰 Free analysis for VojtechStep
🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

Known for

📊 Post engagement

5
Avg engagement / post
4.5%
Engagement vs followers
Dec 2023
On Mastodon since

🔥 Top post: The abstract and slides for our TYPES talk "Generating morphism · 15 likes + reposts

📊 Activity & format

Posting cadence
0.93 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 10 text · 2 image · 0 video.
Follower / following
1.2×
Follows 92 back. A more reciprocal / networked account.
🔥 Top post The abstract and slides for our TYPES talk "Generating morphism types using parametricity and Trocq" are now available on my website, check them out! This is joint work with Cyril Cohen and Assia Mahboubi. https://vojtechstep.eu/ ★ 15
Is anyone I know going to be at #ESSLLI this week? So far it seems that people from my circles will come later For some reason Cloudflare blocked me from accessing the #ESSLLI website. Could a kind soul share the schedule with me? After two days the spider decided to crawl into the drain, so I put the strainer thing on the hole and it can't get out. I'm okay with that. Another attempt to take over my kitchen thwarted 💪 (other than this I'm a well adjusted individual… ★ 4 It's fine, I didn't really want to have breakfast either :) I can't make dinner because I need to do the dishes, and I can't do the dishes because there's a big-ass spider in the sink and I start panicking if I so much as look in its direction (AGAIN). How's y'all's evening going? ★ 6 *notices a "TODO: coax LaTeX into laying out the page like XYZ" in my paper draft* Nice, the page already has the layout I wanted! *removes the TODO* *the layout breaks, because the TODO happened to force one word on a new line* Every time. ★ 9 The perpetually congested rapper, Flegminem <- chat is this anything? ★ 1 Did GitHub stop showing the "user you've blocked has contributed to the repository" banner? I double checked that I have the banner enabled, but I don't see it on repos I know to have Claude commits. This is on the GH website, the Android … ★ 2 . o O (pronouncing mingw-gcc as míng zi) ★ 1 My doctoral school organizes an internal "doctorand day" where doctoral students from different domains are supposed to present their ideas to each other. As far as I know nobody really sees the value of this but participation is mandatory… ★ 4 LB: ★ 4

🐘 Community & instance

Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Dec 2023
An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2023 — 2 years ago.
👁️Averages 5 views per post.
📤Posts about 0.9× per week.

🕵️ Fake follower check

Estimated
84/100
Excellent Credibility score
95%
Real Real audience
Low Fake-follower risk
High Data confidence
  • Est. 95% real, active audience · Low fake-follower risk.
  • Strong engagement (~4.5% of followers engage each post) — an active, real audience.
  • Verified account.

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

PhD student on Inria's Gallinette team. Also working on synthetic homotopy theory in HoTT. I'm interested in (homotopy) type theory, formalization of mathematics, cats (the math kind) and cats (the fluffy kind). #noAI

✉ Message VojtechStep

Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.

See Pro $9.95/mo →

Already Pro? Log in.

🎤 Event / appearance with VojtechStep

Booking an event / appearance is a Pro feature. Upgrade to book VojtechStep for an in-person or virtual appearance — payment held safely in escrow until the event is done.

See Pro $9.95/mo →

Already Pro? Log in.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove