Saerin

TheResearch Backbone

Saerin builds open-source tools for machine learning, quantitative analysis, and formal methods.

Explore StackGitHub

The stack

Eight products. One focused suite.

Minimal surface. Clear boundaries. Every product is open-source and directly linked to github.com/desenyon.

Infinite Context

core

Repository context generation for AI workflows

Repository scanning

Compact context output

CLI-first workflow

infinite-context

Converge

core

Dependency topology analysis and repair

Dependency graph analysis

Automated repair pathways

Environment convergence checks

converge

AMPP

research

Autonomous theorem proving with machine-checked guarantees

Multi-stage verification

Formal proof artifacts

Deterministic validation

ampp

GraftNet

ml

Graph-routed adaptive fusion transformer network

Graph-routed architecture

Adaptive fusion modules

Transformer-based design

graftnet

FluxRx

finance

Financial analytics and visualization tooling

Portfolio analytics

Data acquisition

Reporting and dashboards

fluxrx

Aurane

ml

Machine learning DSL that compiles to PyTorch

Domain-specific syntax

PyTorch code generation

Structured training config

aurane

ScopeRx

ml

Neural network interpretability and attribution toolkit

Attribution methods

Evaluation metrics

Visualization support

scoperx

PressBench

research

Benchmarking epistemic stability in language models

Sycophancy benchmark suite

Cross-model evaluation

Report generation

pressbench