Use Claude Code, Codex, Antigravity, VSCode, Pi, and OpenCode (and 6 other harnesses) for free (1.3B+ free tokens) from your terminal, app, IDE, or phone, and now from the browser with native browser sessions (multi-harness + multi-model) like OpenClaw (voice supported + ToS friendly)
Repository Index
86,076 visible repositories in the index
1–5 of 5 · Most stars
TranslatedChinese LLaMA-2 & Alpaca-2 LLMs with 64K long context models
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Implementation of my RAG system that won all categories in Enterprise RAG Challenge 2
YaRN: Efficient Context Window Extension of Large Language Models