Sharvil Saxena

@sharziki · User

GitHub profile ↗ · Compare

founder @ SXNA Labs · usaco platinum · quantum + agents + ai/ml · math olympiad · i use arch btw

23 followers56 repositories

Repositories

sharziki/semdecide

Typed semantic decisions for Unix pipelines and CI, powered by TypeSafe AI Jev.

★ 75PythonForks 10

sharziki/purdue-mcp

MCP server for all public, real-time Purdue University data: dining menus, course catalog, campus events, student orgs, weather.

★ 4TypeScriptForks 1

sharziki/crewAI

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

★ 0Forks 0

sharziki/study-play

A gamified active-recall TUI that turns notes into grounded, adaptive study quests.

★ 2PythonForks 0

sharziki/promptguard

Detect prompt injections and jailbreaks in ~170ms for ~$20/million. AUC 0.988 on two public benchmarks, tuned for near-zero false alarms.

★ 0PythonForks 0

sharziki/groundcheck

Catch RAG hallucinations in ~200ms for ~$23 per million checks. Benchmark-backed: AUC 0.952, beats Claude Haiku on identical examples.

★ 0PythonForks 0

sharziki/opencite

A public, tamper-evident memory of books for humans and AI.

★ 1TypeScriptForks 0

sharziki/gbrain

Garry's Opinionated OpenClaw/Hermes Agent Brain

★ 0TypeScriptForks 0

sharziki/keyper

A local, encrypted secrets vault served to your AI over MCP — stop pasting API keys into chats.

★ 2PythonForks 0

sharziki/haplo

Haplo — the genomic safety layer for every prescription. Lab-agnostic CPIC-based pharmacogenomic decision support.

★ 0HTMLForks 0

sharziki/RuView

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

★ 0Forks 0

sharziki/journey

A programming language for backend workflows. Write specs in structured English, get tested FastAPI apps.

★ 3PythonForks 0

sharziki/smolagents

🤗 smolagents: a barebones library for agents that think in code.

★ 0Forks 0

sharziki/litellm

Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, VLLM, NVIDIA NIM]

★ 0Forks 0

sharziki/VoxCPM

VoxCPM2: Tokenizer-Free TTS for Multilingual Speech Generation, Creative Voice Design, and True-to-Life Cloning

★ 0Forks 0

sharziki/transformers

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

★ 0Forks 0