LIVE
📈 This week: 1.2K new members & 1.4K listings claimed A podcast creator claimed their listing 4 minutes ago A new creator joined SocialDB 4 minutes ago A Twitch creator claimed their listing 9 minutes ago A podcast creator claimed their listing 13 minutes ago A Twitch creator claimed their listing 14 minutes ago A new creator joined SocialDB 14 minutes ago A Twitch creator claimed their listing 15 minutes ago A new creator joined SocialDB 15 minutes ago A new creator joined SocialDB 18 minutes ago A podcast creator claimed their listing 19 minutes ago A new creator joined SocialDB 19 minutes ago A podcast creator claimed their listing 24 minutes ago A new creator joined SocialDB 24 minutes ago A Twitch creator claimed their listing 25 minutes ago 📈 This week: 1.2K new members & 1.4K listings claimed A podcast creator claimed their listing 4 minutes ago A new creator joined SocialDB 4 minutes ago A Twitch creator claimed their listing 9 minutes ago A podcast creator claimed their listing 13 minutes ago A Twitch creator claimed their listing 14 minutes ago A new creator joined SocialDB 14 minutes ago A Twitch creator claimed their listing 15 minutes ago A new creator joined SocialDB 15 minutes ago A new creator joined SocialDB 18 minutes ago A podcast creator claimed their listing 19 minutes ago A new creator joined SocialDB 19 minutes ago A podcast creator claimed their listing 24 minutes ago A new creator joined SocialDB 24 minutes ago A Twitch creator claimed their listing 25 minutes ago
Alejandro Radisic

Alejandro Radisic

🔄 Data last refreshed 9 hours ago
🤝

Make a deal with Alejandro Radisic

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

Every booking is a normal escrow-protected deal.

Followers
3
Account age
0 yrs
🧰 Free analysis for Alejandro Radisic
🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

📊 Post engagement

3
Avg engagement / post
Engagement vs followers
Feb 2026
On Mastodon since

🔥 Top post: Formalized in Lean4: The map F : K³ → K³ has constant Jacobian − · 3 likes + reposts

📊 Activity & format

Content mix
Mostly text
Recent: 1 text · 0 image · 0 video.
Follower / following
0.4×
Follows 7 back. A more reciprocal / networked account.

🐘 Community & instance

Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Feb 2026
An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2026.
👁️Averages 3 views per post.

🛡️ Audience credibility

69/100
Good Credibility score
92%
Real Real audience
Low Fake-follower risk
Medium Data confidence
  • Est. 92% real, active audience · Low fake-follower risk.
  • Strong engagement (~ of followers engage each post) — an active, real audience.

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

About

Learnt math by re-implementing papers; now I build machine-verified mathematics in Lean 4. Creator of LeanCert (certified numerics: proof-producing interval bounds and tactics). Maintainer of the Lean formalization of Alpöge's 2026 Jacobian-Conjecture counterexample. Contributor to PNT+. Number theory above all.

✉ Message Alejandro Radisic

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 Alejandro Radisic

Booking an event / appearance is a Pro feature. Upgrade to book Alejandro Radisic 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.