#leanstral

Live, measured metrics for the hashtag #leanstral from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.

hashtag.org network · sponsored

Own #leanstral

This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.

$51.02/ year · 9-character #name
Claim #leanstral — $51.02/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
0
Uses / 7 days
Mastodon
0
Accounts / 7 days
Mastodon
16
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 16
0.1
Avg reactions / post
Mastodon · last 16

Day-by-day usage

measured · mastodon.online (Mastodon public tags API) · fetched 2026-07-28 03:10 UTC
0
07-22
0
07-23
0
07-24
0
07-25
0
07-26
0
07-27
0
07-28

0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.

Related hashtags

measured · mastodon.online (Mastodon public search API) · fetched 2026-07-28 03:10 UTC
#leanstral15
0 uses · 0 accounts / 7d

Live pulse

measured · mastodon.online (Mastodon tag timeline) · fetched 2026-07-28 03:10 UTC

Everything below is measured over the latest 16 public posts (spanning ~2777 hours).

Posting hours (UTC) — busiest: 14:00

00:0012:0023:00

Languages: English (10) · German (4) · Arabic (1) · French (1)

Avg boosts / post: 0.3

Top of the latest posts

  • While I really don't have much love for the Mistral products due to being way behind even cheap open weights Chinese models such as the Qwens, DeepSeeks etc of this world, this is an interesting (possibly new) approach: https://www.heise.de

    JTI@[email protected]♥ 1↻ 22026-07-07 08:00 UTCView post →

  • #Mistral Releases Apache 2.0 Open Source #Leanstral 1.5 https://www.opensourceforu.com/2026/07/mistral-releases-apache-2-0-open-source-leanstral-1-5/

    ricardo :mastodon:@[email protected]♥ 0↻ 12026-07-10 14:39 UTCView post →

  • أصدرت Mistral تحديثاً رئيسياً لوكيلها البرمجي مفتوح المصدر Leanstral 1.5، المصمم لمستخدمي Lean 4 لتحسين أدوات التحقق الرسمي. يتميز الإصدار الجديد بـ 119 مليار معلمة ويقدم دفعة ملحوظة في أداء التحقق من الكود، محققاً نتائج متطورة في معايير إث

    بجاد الأثري@[email protected]♥ 0↻ 02026-07-07 14:43 UTCView post →

Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/leanstral