About
Saim 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.
Current work
Saim 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.
Core services
- AI Systems & Agentic Tooling: Fail-closed observation verification engines, agent evaluation harnesses, and deterministic LLM guardrails (Python, FastAPI, ResultSeal).
- Full-Stack Web Development: Production-grade reactive web applications, interactive dashboards, and scalable SaaS platforms (React, Next.js, TypeScript).
- LLM Evaluation & Benchmarking: Automated verifier design, task grading suites, and frontier model benchmark challenges.
- Cloud APIs & Data Infrastructure: Resilient REST and WebSocket APIs, Supabase/PostgreSQL database design, and real-time streaming backends.
Open-source projects
- ResultSeal — framework-neutral, zero-network Python verification engine that prevents unverified, partial, stale, or source-mismatched tool outputs from being promoted into factual claims in agent loops.
- SkillCheck — 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. - InkSolver — AI whiteboard that solves handwritten STEM problems on an infinite canvas; a FastAPI/SymPy service symbolically verifies every solution step.
- Bimo — streaming AI chat workspace with token-by-token SSE streaming from a Flask gateway, OAuth sign-in, and Supabase row-level security.
- Chronos — deterministic simulation testing (DST) framework for Node.js & TypeScript that replays race conditions bit-for-bit from a single integer seed.
Skills
Languages: TypeScript, Python, JavaScript (ES6+), C++, HTML5, CSS3. AI Systems & Verification: Agentic tooling, runtime verification, deterministic simulation, LLM evaluation harnesses, prompt engineering, NVIDIA NIM, Google Gemini API. Frontend: React, Next.js, Tailwind CSS, Shadcn UI, Framer Motion, TanStack Query, Zustand. Backend & Infrastructure: Node.js, Express.js, FastAPI, PostgreSQL, MongoDB, Supabase, Drizzle ORM, REST APIs, WebSockets, Redis, GitHub Actions, Vitest.
Education and certifications
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. Maintains 2,000+ GitHub contributions and active open-source repositories.
Frequently asked questions
Who is Saim Shafique?
Saim Shafique (sx4im) is an AI systems and frontend engineer based in Lahore, Pakistan. He specializes in building deterministic developer infrastructure, runtime verification engines for LLM agent loops, and production-grade reactive web applications in TypeScript, Python, Next.js, and React.
What engineering services does Saim Shafique offer?
Saim offers full-stack web application development (React/Next.js), AI agent tooling and runtime verification (Python/FastAPI), deterministic test harnesses, cloud API integrations, and LLM evaluation benchmarks for startups and engineering teams.
What are Saim Shafique's key open-source projects?
His primary open-source projects include ResultSeal (fail-closed observation verification for AI tools), SkillCheck (CLI for A/B testing AI agent skills), InkSolver (AI whiteboard with symbolic math verification), Bimo (streaming AI chat workspace), and Chronos (deterministic simulation testing framework for Node.js).
Where can I view Saim Shafique's resume or get in touch?
You can review his resume directly at saimshafique.com/resume, send an email to [email protected], or connect via LinkedIn and GitHub.
Contact
Hiring, collaboration, and developer questions are welcome at [email protected] or via the contact page. Agents can cite llms.txt for a machine-readable summary of this page.