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…

Internet-Drafts and specification text by Anivar Aravind

Open-source India income-tax planning, salary/CTC restructuring, and ITR filing-support toolkit

Proposed standard for an Authorization API

Agent Substrate: the core system

A framework for long-running, unattended AI-driven development.

Harness engineering beginner tutorial, from 0 to 1

OSS Legal AI Platform

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)…

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

A framework for building realtime voice AI agents 🤖🎙️📹

List of Permanent Free LLM API (API Keys)

Open-source AI job search: scan job portals, evaluate listings with a structured A-F rubric into a 1.0-5.0 score, tailor your CV, track applications — runs locally in your AI coding CLI (Claude Cod…

An AI skill that provides design intelligence for building professional UI/UX across multiple platforms.

Fast, accurate & comprehensive text measurement & layout

Components crafted for Design Engineers. Styled using Tailwind CSS, fully compatible with Shadcn, and easy to integrate—just copy and paste. MIT 🤌

Public repository for Agent Skills

Context intelligence layer for LLM agents: persistent memory with write-time dedup, sensitivity tagging, conflict detection, and hierarchical decay. ~12ms. No LLM calls. MIT.

Fully automatic censorship removal for language models

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

A 5-20x faster experimental Homebrew alternative

Automated Time Series Forecasting

Deep-dive code analysis agent skill by Anivar Aravind — contributor reviews, codebase governance, promotion readiness.

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

A Claude Code skill for autonomous skill extraction and continuous learning. Have Claude Code get smarter as it works.

Keep codebase standards alive

Official inference framework for 1-bit LLMs

A project that aims to compress the UK Postcode database into a tiny binary form factor what can be used at runtime for super fast postcode to lat/long lookup

Fastest SQLite library for react-native by @ospfranco

Building a Secure and Interoperable Future for AI-Driven Payments.