Skip to content
You must be logged in to sponsor anivar

Become a sponsor to Anivar Aravind

@anivar

Anivar Aravind

anivar
Bangalore

Technologist and researcher. Independent work on how AI, digital infrastructure
and internet standards stay accountable to the people they affect — code,
writing and drafts.

Unpaid, alongside a day job. Sponsorship supports me, not a project. It buys
time.

github.com/anivar ·
code ·
writing ·
research ·
about

@anivar

🎯 one week a month on research and verification work. First thing to go when paid work arrives.

Featured work

  1. anivar/decern

    Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently…

    Rust 12
  2. anivar/ietf-contributions

    Internet-Drafts and specification text by Anivar Aravind

    Makefile 1
  3. anivar/corrigibility-framework

    Corrigibility Framework: Structural tests (EXIT, CODE, AUDIT, GOVERN, FORK) for Digital Public Infrastructure (DPI) and Epistemic Public Infrastructure (EPI/AI). Two papers: DPI (47p) and EPI (22p)…

    TeX 1
  4. anivar/corrigibility-schema

    Corrigibility Schema Protocol for Digital and Epistemic Public Infrastructure

    Python
  5. openslm-ai/website

    Source for openslm.ai — the Open Small Models Accord and related work on open, accessible, and correctable AI.

    Astro

Learn more about sponsoring developers and organizations.

Report abuse

0% towards $250 per month goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

Coffee Supporter ☕

Says the work is worth continuing. No expectations.

$3 a month

Select

Sustaining ☕☕

Covers what working in the open costs: domains, and the archiving that keeps a record citable.

$25 a month

Select

Research 🌐

Buys time for the writing, research and drafting that nothing else pays for.