A0

io.github.Joe-Simo/a0

Write, check, run and compile A0 programs through revision-checked structured edits.

View repository →Homepage →
Category
Developer Tools
Version
0.8.16
Registry
active
Published
10/1/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.joe-watkins/magentaa11y

joe-watkins

MCP server providing accessibility criteria from MagentaA11y

Developer ToolsAdded 9 months ago

io.github.joegra2003/metamodel

metamodel-app

AI-callable calculators and engineering models with real formulas. No hallucinated math.

Developer ToolsAdded 3 months ago

Slidev MCP

joelbarmettlerUZH

Generate, render, and host Slidev presentations from markdown

Developer ToolsAdded 7 months ago

Maximum Sats

joelklabo

Bitcoin & Lightning Network AI tools with native Lightning L402 micropayments.

Developer ToolsAdded 9 months ago

referencesource.org

joelp22-maker

Verified reference data; each record carries its source URL and quote. verify_quote checks claims.

Developer ToolsAdded 1 month ago

FDA import alert red lists

joelp22-maker

Is a foreign supplier on an FDA import alert red list, detained at the US border? 14,000+ listings.

Developer ToolsAdded 1 month ago

Add the badge to your site

Show visitors that A0 is listed here — it’s also the link we check for a free listing.

A0 — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-joe-simo-a0?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="A0 — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![A0 — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-joe-simo-a0?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.