{"url":"/about.md","format":"text/markdown","content":"# About Saim Shafique\n\nSaim Shafique (online handle sx4im) is an AI systems and frontend engineer based in Lahore, Pakistan, building production-grade reactive web applications, deterministic developer tooling, and runtime verification engines since 2022. He currently works as a Software Engineer at AfterQuery Experts on Project Sand, writing automated verifiers to benchmark frontier AI models, and previously contributed to verification challenges across Project Terminus with Shipd by Datacurve. Saim has delivered full-stack web applications for more than 10 freelance clients and authored 5 open-source developer tools, including ResultSeal (fail-closed tool observation verification), SkillCheck (CLI A/B testing for AI agent skills), and Chronos (deterministic simulation testing). He holds 5 industry certifications including Harvard CS50x and Meta Front-End Developer, maintains over 2,000 GitHub contributions, and studies Computer Science at the University of the Punjab, specializing in agent reliability, Next.js, and TypeScript.\n\n## Current work\n\nSaim is a Software Engineer at AfterQuery Experts working on Project Sand, repairing and resolving multimodal software engineering tasks and building automated verifiers to benchmark frontier AI coding models. He previously maintained product websites at Muhammad Labs LTD and has delivered React/Next.js applications for more than ten freelance clients.\n\n## Core services\n\n- **AI Systems & Agentic Tooling:** Fail-closed observation verification engines, agent evaluation harnesses, and deterministic LLM guardrails (Python, FastAPI, ResultSeal).\n- **Full-Stack Web Development:** Production-grade reactive web applications, interactive dashboards, and scalable SaaS platforms (React, Next.js, TypeScript).\n- **LLM Evaluation & Benchmarking:** Automated verifier design, task grading suites, and frontier model benchmark challenges.\n- **Cloud APIs & Data Infrastructure:** Resilient REST and WebSocket APIs, Supabase/PostgreSQL database design, and real-time streaming backends.\n\n## Open-source projects\n\n- **ResultSeal** — a 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.\n- **SkillCheck** — an npm-published TypeScript CLI (`@sx4im/skillcheck`) that A/B tests AI-agent skill files through blind-graded trials and returns a HELPS, PLACEBO, or HARMS verdict with bootstrap confidence intervals.\n- **InkSolver** — an AI whiteboard that solves handwritten STEM problems on an infinite canvas, with a FastAPI/SymPy service that symbolically verifies every solution step.\n- **Bimo** — a streaming AI chat workspace: token-by-token SSE streaming from a Flask gateway, OAuth sign-in, and Supabase row-level security.\n- **Chronos** — a deterministic simulation testing (DST) framework for Node.js and TypeScript that replays race conditions bit-for-bit from a single integer seed.\n\n## Skills\n\nLanguages: 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 and data: Node.js, Express.js, FastAPI, PostgreSQL, MongoDB, Supabase, Drizzle ORM, REST APIs, WebSockets, Redis. Testing and tooling: Vitest, deterministic simulation testing, npm publishing, GitHub Actions.\n\n## Education and certifications\n\nSaim studies B.S. Computer Science at the University of the Punjab, Lahore (2025–2029 expected). Certifications: CS50x (Harvard/edX), Meta Front-End Developer (Coursera), MongoDB Associate Developer, Google AI Essentials, and Oracle OCI AI Foundations. He maintains 2,000+ GitHub contributions and active open-source repositories.\n\n## Frequently asked questions\n\n- **Who is Saim Shafique?** Saim Shafique (sx4im) is an AI systems and frontend engineer based in Lahore, Pakistan, building deterministic developer infrastructure, runtime verification engines for LLM agent loops, and production-grade reactive web applications.\n- **What engineering services does Saim offer?** Saim provides full-stack web application engineering (React/Next.js), AI agent tool development, runtime verification guardrails, and LLM evaluation benchmarks.\n- **What open-source projects has Saim built?** ResultSeal (fail-closed tool observation verification), SkillCheck (CLI for A/B testing agent skills), InkSolver (STEM whiteboard with symbolic verification), Bimo (streaming AI chat workspace), and Chronos (deterministic simulation testing for Node.js).\n- **Where can I view Saim's resume?** View and download the official resume at https://saimshafique.com/resume.\n\n## Contact\n\nHiring, collaboration, and developer questions are welcome at contact@saimshafique.com or through the contact page. More machine-readable detail lives in [llms.txt](https://saimshafique.com/llms.txt).\n"}