💡 Inspiration
The Sun is 8.2 light-minutes away. Every photon hitting our solar panels traveled 149.6 million km before powering this project.
Asterisk (*) was born from a simple observation: 500 million people with disabilities need AI-powered accessibility tools — real-time sign language translation, audio description for the blind, live dubbing. But training and running these models requires enormous compute.
What if the compute was already there — idle, in every open browser tab?
"Omnia sponte fluant, absit violentia rebus." Let all things flow naturally. — Jan Amos Komenský, 1657
👑 What It Does
Asterisk () is a **sovereign WebMCP mesh platform* that:
- Donates 2–5% of idle browser compute (WebGPU/WASM) from every visitor to a distributed P2P grid
- Powers real-time accessibility: sign language translation, blind scene description, live dubbing — 100% free for disabled users
- Exposes WebMCP tools so AI agents (ChatGPT, Chrome) can directly orchestrate the mesh network
- Rewards contributors via StarsChain (Standard 700: 1 coin = 12g silver) — no charity, self-funded by the mesh itself
$$\text{500M devices} \times 5\% \times 20\text{ TFLOPS} = 500\text{ ExaFLOPS}$$
That's 400× more powerful than all supercomputers combined. Zero new hardware. Zero megawatt spikes. Powered by the Sun.
🏗️ How We Built It
WebMCP Registry —
document.modelContext.registerTool()exposes 8 tools for AI agents:mesh_get_topology,accessibility_translate_stream,mesh_dispatch_parallel_task,privacy_get_purge_countdown, and more.Ada/SPARK 2022 Core — Formally verified with
gnatprove level 4. Zero buffer overflows. Zero null pointers. Mathematical guarantees:vacuum_mincovna.adb— SB-NFT sovereign wallet & StarsChain gasash_sweeper_buffer.adb— In-memory only, 0 disk writes, daily purge at 04:23sparkdog_watchdog.adb— Self-healing zero-crash supervisorhippocratic_oath_guard.adb— Formally verified ethics (disabled users = always free)
Nebius Token Factory — NVIDIA Nemotron-3 Ultra for sign language tokenization and scene description inference at scale.
P2P WebRTC Mesh — Browser tabs connect as compute nodes, WebGPU workers process MediaPipe pose estimation for sign language.
Privacy Protocol 04:23 — Every day at 04:23 AM, all metadata is cryptographically purged. Zero persistence. Zero surveillance.
⚡ Challenges
- Bridging formal Ada/SPARK proofs with WebMCP JavaScript — making mathematically guaranteed backend contracts visible to browser agents
- WebGPU availability — graceful WASM fallback for devices without GPU
- Sub-50ms sign language sync — timing contracts formally proved in SPARK
🏆 Accomplishments
- ✅ 100% formal verification (gnatprove level 4) on all core modules
- ✅ 8 WebMCP tools registered in
document.modelContext - ✅ Real-time 3D sign language avatar (Three.js)
- ✅ Hippocratic Oath formally encoded as Ada/SPARK invariant
- ✅ Solar-powered: built entirely on photons from 8.2 light-minutes away
🔮 What's Next
- Deploy on Nebius GPU cluster for large-scale inference
- Expand to 50+ sign language dialects
- StarsChain mainnet launch (Sepolia testnet → Standard 700)
- Satellite mesh nodes via Starlink orbital backbone
Built With
- ada/spark
- nebius-token-factory
- nvidia-nemotron
- prometheus
- react
- starschain
- three.js
- typescript
- vite
- web3
- webgpu
- webmcp
- webrtc

Log in or sign up for Devpost to join the conversation.