#matita

Live, measured metrics for the hashtag #matita 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 #matita

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.

$520.70/ year · 6-character #name
Claim #matita — $520.70/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
0
Uses / 7 days
Mastodon
0
Accounts / 7 days
Mastodon
12
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 12
0.1
Avg reactions / post
Mastodon · last 12
—
Reddit posts / month
Reddit search
—
Open-web mentions
hashtag.org Firehose

Day-by-day usage

measured · mastodon.online (Mastodon public tags API) · fetched 2026-10-11 13:25 UTC
0
10-05
0
10-06
0
10-07
0
10-08
0
10-09
0
10-10
0
10-11

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-10-11 13:25 UTC
#matitalabbra
0 uses · 0 accounts / 7d
#matitan
0 uses · 0 accounts / 7d
#matitarossaeblu
0 uses · 0 accounts / 7d
#matitaelettrica
0 uses · 0 accounts / 7d
#matitạo
0 uses · 0 accounts / 7d

Live pulse

measured · mastodon.online (Mastodon tag timeline) · fetched 2026-10-11 13:25 UTC

Everything below is measured over the latest 12 public posts (spanning ~31726 hours).

Posting hours (UTC) — busiest: 12:00

00:0012:0023:00

Languages: Italian (11) · Spanish (1)

Avg boosts / post: 0.5

Top of the latest posts

  • #kah champe #lápiz #pencil # llapis #krajono #crayon #matita #lápis #creion #قلم رصاص #पेंसिल #Карандаш #铅笔

    vayukah@sabir_es@mastodon.social♥ 1↻ 02023-11-13 12:06 UTCView post →

  • Ciao Mondo. Mi ero detto che con Esopo avevo finito. Evidentemente Esopocnon aveva finito con me. Next time: 🤖 ➕️🐍 (Nessuna #matita è stata maltrattata per questi #sketch) #sketching #robot

    MaMo@ClayAdventuresontheShelf@mastodon.uno♥ 0↻ 12026-06-29 21:24 UTCView post →

  • #disegno #drawing #disegnodalvivo #reallifedrawing #matita #pencil #stilografica #fountainpen

    xtefen@xtefen@mastodon.social♥ 0↻ 42026-06-09 20:08 UTCView post →

What “matita” means

Wikipedia

Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by human–machine collaboration, providing a programming environment where formal specifications, executable algorithms and automatically verifiable correctness certificates naturally coexist.

“Matita” on Wikipedia (CC BY-SA) →

#matita across platforms

every network with a public tag surface

Follow #matita straight to each platform’s own tag page. Where a platform publishes open data we measure it above; the rest lock their numbers behind paid APIs, so we link rather than guess.

X (Twitter) ↗Instagram ↗TikTok ↗Facebook ↗LinkedIn ↗YouTube ↗Threads ↗Bluesky ↗Mastodon ↗Reddit ↗Pinterest ↗Tumblr ↗

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/matita