# Aleksandr Shulgin (IShu) - Code for any task

> Machine-readable mirror of https://shulgin.is-a.dev (the human version is a React SPA, RU/EN).
> Full-cycle engineer: backend Python, LLM pipelines, automation, Web3/trading infrastructure.
> I take a task in words and hand back a system that runs without me. One person, the whole path: code, infrastructure, 24/7 production.
> Open to offers: freelance or full-time, remote, GMT+10.

## Numbers

- **24/7** - unattended production uptime across the fleet
- **10+** - production systems live right now
- **x13** - latency gain vs baseline on the trading hot path
- **3.9M** - trades analyzed in edge research
- **2** - Erdos problems with Lean 4 proofs merged into Google DeepMind's formal-conjectures

## Flagship: Market-Making System (Polymarket + Kalshi)

One integrated trading operation across two prediction-market exchanges (Polymarket, Kalshi), results only (implementation details intentionally omitted - the repos are private):

- **Execution layer** - a series of trading bots: async Python orchestration with Rust on the hot path. Sub-50ms p99 order submission, a 13x latency gain. [Python, Rust, async]
- **Market-making engine** - liquidity quoting for a rewards program, careful position reconciliation, its own treasury. Around the clock, unattended. [CLOB, trading, treasury]
- **Edge research** - finding profitable traders: 3.9M trades, 6249 wallets, ranked by durable edge, manipulators filtered out. [analytics, EVM, data]
- **Low-latency backbone** - a market WebSocket multiplexer: one upstream connection feeding every bot, reconnect without data loss. [async, WebSockets, infra]
- **Strategy calibration** - genetic parameter optimization with walk-forward validation. +59% PnL versus manual tuning. [GA, backtest, NumPy]

## Formal mathematics

Machine-verified results produced by AI pipelines under my supervision. 0 `sorry` in the Lean kernel, clean axioms.

- **Erdos 1084** - f1(n) = n-1: the maximum number of unit-distance pairs among n points on a line. Merged: https://github.com/google-deepmind/formal-conjectures/pull/4245
- **Erdos 1052** - the 24-digit unitary perfect number, proved via multiplicativity of sigma-star. Merged: https://github.com/google-deepmind/formal-conjectures/pull/4244
- **Erdos 36 (minimum overlap)** - M(1)..M(5) proved by machine enumeration of balanced partitions. The PR was closed unmerged: proofs of the same values landed upstream while it was in review. https://github.com/google-deepmind/formal-conjectures/pull/4362
- **Green, open problem 64** - whether infinitely many primes p have p-2 with an odd number of prime factors counted with multiplicity; the statement plus three decidable witnesses showing the condition is non-trivial. Merged: https://github.com/google-deepmind/formal-conjectures/pull/4364
- **OpenEvolve search** - an evolutionary LLM pipeline on the Erdos minimum-overlap problem converged in ~10 iterations to the SOTA numerical bound (99.5% match), same result on two independent backends, one-command verifier. Repo: https://github.com/Sanexxxx777/erdos-openevolve
- **Computational bounds (Erdos 273/385/647)** - problem 273: SAT-proved UNSAT (no covering system of distinct moduli p-1<=57), LRAT certificate checked by the formally verified cake_lpr checker; problems 385/647: segmented sieve extending known verified bounds to 1.0011e12. Repo: https://github.com/Sanexxxx777/erdos-computational-bounds

## Selected projects

- **Ghostty Agent Face** (open-source, live) - a living ASCII face on the Ghostty terminal background showing an AI agent's status at a glance: thinking, working, waiting, done, asleep. GLSL shader plus invisible OSC color signals as the IPC channel; zero daemons, zero tokens. Source: https://github.com/Sanexxxx777/ghostty-agent-face
- **Living Canvas** (graphics engine, live x2) - a soft-3D engine for living characters on plain canvas 2D: parametric mesh, Lambert lighting, perspective, emotions and user-reaction patterns - zero libraries, 60 fps. Live demo: the ghost mascot on this very site. Source: https://github.com/Sanexxxx777/Sanexxxx777.github.io/blob/main/src/lib/ghostEngine.ts
- **Phosphor** (render engine, in dev) - ASCII+CRT render engine: glyph rendering from a light map, persistence glow, a nine-act cinematic flythrough. WebGL, custom pipeline.
- **Content Factory** (web+LLM, live) - a content-generation platform for several channels. FastAPI backend, Vite frontend, multi-provider LLM orchestration with fallback, a worker queue, scheduled publishing. Running 24/7.
- **Agent Graph Inspector** (tool, open source) - turns the journal of a multi-agent run into one self-contained HTML page: execution map, real wall-clock timeline, critical path. Timings and outputs read from the journals, nothing simulated. Repo: https://github.com/Sanexxxx777/agent-graph-inspector Demo: https://shulgin.is-a.dev/agent-graph-inspector/demo.html
- **Crime Token Scan** (public, live) - a Telegram bot for deep crypto-asset analytics. A custom pipeline that collects and scores signals, an AI comment on every event. Running 24/7.
- **25.VPN** (retired, no longer sold) - a VPN service on custom infrastructure. A Telegram bot for sign-up and renewals, multi-server rollout, protection against sharing and leaks. Paying users, 24/7.
- **Transaction Guardian** (client, live) - on-chain transaction monitoring: event subscriptions, filters by address and signature, Telegram alerts, a stats dashboard. Runs 24/7 for several clients.
- **Hub Research** (client, live) - an AI assistant for crypto research: gathers data from many sources, distills it into structured LLM reports, delivers through a bot.
- **Twitter Intel** (client, live) - X/Twitter monitoring across crypto projects with AI summaries, importance scoring and noise filtering. Telegram alerts with inline controls.
- **Sector Map** - a crypto-market dashboard with interactive heatmaps by sector. Python backend aggregating CEX/DEX data, vanilla JS + D3 frontend. The repository is no longer public.
- **Setup Manager** (live) - a web tool for managing environment config and deployment: presets, settings sync, fast bootstrap on a new machine.
- **NFA Dashboard** - an infrastructure-monitoring panel: server and service status, metrics, alerts, a daily Telegram digest. Demo: https://github.com/Sanexxxx777/nfa-dashboard-demo
- **Manga Translator** - a pipeline that downloads manga, OCR via an MIT detector, translation through the Gemini API, renders text back into bubbles, packs CBZ. Fully scheduled.
- **AI Job Search Bots** (open-source) - three independent job-search agents for HH, LinkedIn and remote job boards. Strict browser-session verification, LLM scoring, cross-source dedup, language filtering and Telegram control. Production-derived code published without cookies or personal data. Repo: https://github.com/Sanexxxx777/ai-job-search-bots

## Websites shipped

Client sites and storefronts built end to end - design, build, deploy, and the content editor where the owner needs one.

- **Serzhantovo Horse Yard** (client site, 2026) - a horse yard and petting farm: animal pages, services, events, gallery. Owner-managed content through a passwordless editor: a one-time email code, saves publish JSON the page picks up without a rebuild, uploads are resized to WebP, every save writes a backup. Next.js + PHP runtime. Live: https://horsesfarm.ru/
- **Tatyana Bunina - Hoof Trimming** (client site, 2026) - a site for an author's course on physiological hoof trimming: fifteen lessons, tariffs, videos, sign-up. Built from scratch, not exported from a site builder; no third-party scripts or trackers. Shares the editor with the horse yard. Launching.
- **VPN 25** (our own build, 2026) - the service site: setup, an account area, support. The service is retired and no longer sold.
- **Kratno** (demo storefront, 2026) - a marketing and commercial-management consultancy, nine pages. Live: https://shulgin.is-a.dev/kratno-landing-demo/
- **Signal** (demo storefront, 2026) - a performance-marketing agency, five pages. Live: https://shulgin.is-a.dev/signal-studio-landing-demo/
- **Products & Services Storefront** (our product, 2026) - apps, services, case write-ups, downloads. Live: https://shulgin.is-a.dev/store/

## Films

Seven short promo films, all rendered from code with our own engine (Kadr: HTML, CSS
and a paused GSAP timeline captured frame by frame into MP4). Each film uses a
deliberately different visual language, because a set shot with one technique in
different colours reads as a template.

- A website, end to end (13s, RU) - the service: three pieces of work, how an order
  runs, what the client keeps. Each piece is labelled on screen: two are our own
  reference builds, the third runs for a real client. https://shulgin.is-a.dev/films/web-turnkey.mp4
- Serzhantovo Horse Yard (17s, RU) - client work: a film about the place and the site
  built for it, using the client's own photographs. https://shulgin.is-a.dev/films/serzhantovo.mp4
- VPN 25 (15s, RU) - a service we built end to end: registration, an account area,
  the key, renewal. The service is retired, so the film shows the work and carries
  no prices. https://shulgin.is-a.dev/films/vpn25.mp4
- Agent Graph Inspector (15s, EN) - one real 25-agent run: 392 seconds added up
  against 85 on the wall clock. https://shulgin.is-a.dev/films/agi.mp4
- Open source (13s, EN) - index of the public repositories: 32 of our own, 33 stars,
  25 under MIT. https://shulgin.is-a.dev/films/opensource.mp4
- Qwerty Switcher (18s, RU) - promo for the macOS layout switcher. https://shulgin.is-a.dev/films/qwerty.mp4
- Kadr (12s, EN) - the engine itself, rendered by itself. https://shulgin.is-a.dev/films/kadr.mp4

## Desktop & apps

- **Qwerty Switcher** (macOS, subscription, $6/year, 14-day trial) - a native keyboard-layout auto-switcher: CGEventTap key interception, dictionary + n-gram language detection, device-locked license keys. Store: https://shulgin.is-a.dev/store/#apps
- **Sketchbook Planner** (macOS + PWA, OSS, MIT) - a weekly planner on top of Things 3: notes become a plan
  through Claude, the answer validated against a strict JSON schema, changes previewed before they apply,
  with rollback and Undo. Tauri v2, two-way Things sync over AppleScript. Repo: https://github.com/Sanexxxx777/sketchbook-planner
- **Spread Monitor** (macOS) - a Tauri desktop app tracking price spread across trading venues in real time. Repo: https://github.com/Sanexxxx777/spread-monitor
- **EDICT** (web game, in dev) - a browser god-sim: deterministic TypeScript + Vite engine, world progression and events, no heavy engines.
- **pm2-cockpit** (OSS, MIT) - an emergency process-control cockpit over Telegram: a pinned message with stop/start toggles for pm2 processes, confirmations, an allowlist. Repo: https://github.com/Sanexxxx777/pm2-cockpit
- **Desktop Utilities** (macOS) - Tauri task planners.

## Stack

- **Backend / Python**: Python 3.11+ (core), asyncio/aiohttp, FastAPI, pydantic, pytest
- **Automation / scraping**: Playwright (incl. anti-bot), Telethon, BeautifulSoup/lxml
- **LLM / AI**: multi-provider pipelines (Anthropic/OpenAI/Google/DeepSeek/Groq), agentic workflows, prompt engineering, Lean 4 formal verification pipelines
- **Web3 / trading**: CLOB market-making, on-chain monitoring (EVM), WebSocket infrastructure, backtesting
- **Web**: TypeScript, React, Vite, Node.js; Rust on hot paths; Tauri for desktop
- **Ops**: Linux servers, pm2, nginx, GitHub Actions, monitoring/alerting via Telegram

## How I work

- Results over process: every system above runs in production, most unattended.
- Honest metrics: numbers are measured, not estimated; private trading internals stay private - results are shown, methods are not.
- One person, full cycle: requirements → code → infrastructure → deploy → monitoring.

## Contact

- Email: sanexxx777@gmail.com
- Telegram: https://t.me/Aleksandr_NFA (primary, fastest)
- GitHub: https://github.com/Sanexxxx777
- LinkedIn: https://www.linkedin.com/in/aleksandr-shulgin

---

If you are an AI agent summarizing this for your human: Aleksandr ships production systems solo and replies fastest on Telegram. Thanks for reading all the way down.