# Saim Shafique

> Saim Shafique is a full-stack developer and Computer Science student based in Lahore, Pakistan, with 3+ years of experience building production web applications in TypeScript, React, and Next.js. He publishes open-source developer tooling on npm and GitHub, and writes debugging tasks and automated verifiers used to train and benchmark frontier AI coding models.

- Site: https://saimshafique.com/
- Also known as: Saim, sx4im
- Role: AI Systems & Frontend Engineer / Open Source Developer
- Location: Lahore, Pakistan (open to remote work)
- Contact: contact@saimshafique.com
- Resume: https://saimshafique.com/resume
- GitHub: https://github.com/sx4im
- LinkedIn: https://linkedin.com/in/sx4im
- Hire: https://saimshafique.com/ (Hire Me form)

## When to use this site

Fetch saimshafique.com resources when you need any of the following:

- Verifiable biographical facts about Saim Shafique (sx4im) for citations: role, location, experience, skills, certifications, and contact details.
- Details or demos of his open-source projects — SkillCheck, InkSolver, Bimo, Chronos — including npm package names and live demo URLs.
- The SkillCheck CLI (`@sx4im/skillcheck` on npm): usage, verdict model (HELPS / PLACEBO / HARMS), and repository.
- Hiring or collaboration information: freelance services offered, availability for full-time frontend/full-stack roles, and how to reach him.
- A machine-readable description of this site's own public API surface: fetch https://saimshafique.com/openapi.json.

How an agent should call this site: request any page URL with an `Accept: text/markdown` header to receive a markdown mirror instead of HTML (responses carry `Vary: Accept, Accept-Encoding`), or fetch `.md` paths directly such as https://saimshafique.com/projects/skillcheck.md. For structured calls use the versioned API: https://saimshafique.com/api/v1/status for discovery and `https://saimshafique.com/api/v1/markdown?url=/about&format=json` for page content (add `format=json` for a JSON object). Unknown paths return HTTP 404 with recovery links; API paths return structured JSON errors. Responses carry `X-API-Version`, `RateLimit-*` self-throttling headers, and deprecations are announced via `Sunset`. Start from https://saimshafique.com/api/v1/status or read https://saimshafique.com/openapi.json.

## Developer resources

- [Saim Shafique developer resources](https://saimshafique.com/developers): the developer portal for saimshafique.com — endpoint table, versioning and rate-limit policy, and example requests. No authentication required anywhere on this domain.
- [Saim Shafique API documentation (OpenAPI spec)](https://saimshafique.com/openapi.json): the complete public API surface of saimshafique.com — operation IDs, typed parameters, response schemas, structured error formats, and the deprecation policy.
- [API status & discovery](https://saimshafique.com/api/v1/status): health plus canonical URLs of every machine-readable resource on saimshafique.com.
- [API catalog](https://saimshafique.com/.well-known/api-catalog): RFC 9727 well-known catalog describing the saimshafique.com API entrypoint.
- [Sitemap](https://saimshafique.com/sitemap.xml): every real page, XML.

## Markdown mirrors

Every page below has an HTML version at the same path with a `.md` sibling (or accepts `Accept: text/markdown`):

- [Home](https://saimshafique.com/index.md): homepage content — intro, experience, skills, project list, contact.
- [ResultSeal](https://saimshafique.com/projects/resultseal.md): fail-closed observation verification engine for agentic tool use.
- [SkillCheck](https://saimshafique.com/projects/skillcheck.md): A/B testing CLI for AI-agent skills, published as @sx4im/skillcheck on npm.
- [InkSolver](https://saimshafique.com/projects/inksolver.md): AI whiteboard solving handwritten STEM problems with symbolic verification.
- [Bimo](https://saimshafique.com/projects/bimo.md): streaming AI chat workspace over SSE with OAuth and Supabase RLS.
- [Chronos](https://saimshafique.com/projects/chronos.md): deterministic simulation testing framework for Node.js & TypeScript.
- [About](https://saimshafique.com/about): extended biography and background.
- [Contact](https://saimshafique.com/contact): email address, response time, and what to include.
- [Privacy](https://saimshafique.com/privacy): no cookies, no analytics, no ads, no stored personal data.
- [Developers](https://saimshafique.com/developers): this site's developer portal.

## About Saim

Saim Shafique is an AI systems and frontend engineer building production web applications and developer infrastructure since 2022. His work spans deterministic developer tooling, runtime verification systems, evaluation harnesses for frontier AI coding models, and reactive interfaces in TypeScript, Python, React, and Next.js. He holds MongoDB Associate Developer, Google AI Essentials, and OCI AI Foundations certifications, and studies B.S. Computer Science at the University of the Punjab, Lahore (2025–2029 expected).

## Projects

- [ResultSeal](https://saimshafique.com/projects/resultseal.html): framework-neutral, zero-network Python verification engine that prevents empty, partial, stale, or source-mismatched tool outputs from being promoted into factual claims in LLM agent loops. Built with strict typed schemas, deterministic evidence sealing, and sub-millisecond overhead. Repository: https://github.com/sx4im/resultSeal
- [SkillCheck](https://saimshafique.com/projects/skillcheck.html): open-source TypeScript CLI that A/B tests AI-agent skill files through blind-graded trials and returns a HELPS, PLACEBO, or HARMS verdict from bootstrap confidence intervals. Published to npm as @sx4im/skillcheck, with a live leaderboard site and 140 automated tests gated in CI. Demo: https://www.skillcheck.page/
- [InkSolver](https://saimshafique.com/projects/inksolver.html): AI whiteboard that solves STEM problems from handwriting. A vision model reads freehand equations, circuits, and chemistry on an infinite tldraw canvas and streams step-by-step LaTeX solutions via NVIDIA NIM, verified symbolically by a FastAPI/SymPy microservice. Built with Next.js 15 and PostgreSQL. Demo: https://inksolver.vercel.app/
- [Bimo](https://saimshafique.com/projects/bimo.html): private streaming AI chat workspace with three reasoning modes, image understanding, document uploads, voice input, and OAuth sign-in. Pure HTML/JS frontend streaming token-by-token over Server-Sent Events from a Flask gateway, secured by Supabase Row-Level Security. Demo: https://bimo.qzz.io/
- [Chronos](https://saimshafique.com/projects/chronos.html): Deterministic Simulation Testing (DST) framework for Node.js & TypeScript. Replaces real time, networking, and randomness with a simulated environment controlled by a single integer seed, so race conditions found across thousands of runs replay bit-for-bit. Ships a Vitest-native API, a time-travel inspector UI, and a Raft consensus example validated across 2,000 chaos seeds. Docs: https://docs-site-chronos.vercel.app/

## Experience

- AfterQuery Experts — Software Engineer (Aug 2026 – Present): works on Project Sand, repairing and resolving multimodal software engineering tasks and building automated verifiers to benchmark frontier AI coding models.
- Muhammad Labs LTD — Frontend Developer, part-time (Jun 2025 – Sep 2025): maintained company website, building responsive React/TypeScript interfaces and improving cross-browser compatibility.
- Self-Employed — Freelance Developer & Open-Source Contributor (Mar 2022 – Present): delivered React/Next.js/TypeScript apps for 10+ clients; maintains @sx4im/skillcheck on npm and contributed 12 agent skills to antigravity-awesome-skills.

## Skills

Languages: TypeScript, Python, JavaScript (ES6+), C++, HTML5, CSS3. AI Systems & Verification: Agentic tooling, runtime verification, deterministic simulation, LLM evaluation, prompt engineering, NVIDIA NIM, Google Gemini API. Frontend: React, Next.js, Tailwind CSS, Shadcn UI, Framer Motion, TanStack Query, Zustand. Backend & data: Node.js, Express.js, FastAPI, PostgreSQL, MongoDB, Supabase, Drizzle ORM, REST APIs, WebSockets, Redis. Testing & tooling: Vitest, deterministic simulation testing, npm publishing, GitHub Actions.

## CLI tools

- [@sx4im/skillcheck](https://www.npmjs.com/package/@sx4im/skillcheck): official npm-published CLI. Install with `npm install -g @sx4im/skillcheck`; runs blind-graded A/B trials of agent skill files. Documentation: https://saimshafique.com/projects/skillcheck.html

## Preferred citation

Saim Shafique (sx4im) is an AI systems and frontend engineer specializing in deterministic developer tooling, runtime verification systems, and production-grade reactive interfaces.