sair

Inverse Galois Problem (IGP24). Degree 24 polynomial construction, Frobenius fingerprinting and LMFDB baseline analysis for the SAIR Foundation competition.

Lean Kernel Challenge. Independent Lean 4 proof checker: NDJSON export reader, type checker and arena harness for the SAIR Foundation competition.

Modular Arithmetic Challenge. Neural induction of exact (a x b) mod p through abacus embeddings, algorithmic scratchpads and grokking, for the SAIR Foundation competition.

Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.

Bilingual Lean-certified SAIR Stage 2 solver research, four frozen artifacts, paper, and interactive Proof Press site.

A replica of Mathematics Distillation Challenge's Equational Theories Playground

Independent bilingual (EN/ZH) analysis of the SAIR Math Distillation Challenge — single-prompt ceiling, cross-distribution fragility, and cognitive trust.

mcp server to communicate with the https://docs.sair.foundation/docs/ of the SAIR Challenges API

Simulator for SAIR model proposed in Piqueira, J. R. C., Navarro, B. F., & Monteiro, L. H. A. (2005). Epidemiological models applied to viruses in computer networks. Journal of Computer and System Sciences.