A collection of projects spanning AI/ML systems, low-level programming, and hardware design. Each represents a unique challenge and solution.
A Local-First AI agent that intelligently routes user tasks between a local model (Ollama/Llama 3.2:1b) and a cloud model (Groq/Llama 3.3 70B) based on privacy constraints using Model Context Protocol.
PythonLangGraphFastMCPOllamaGroqStreamlitMicrosoft PresidioSQLiteArchitected a capability-based security framework in Rust that shifts from identity-based to task-scoped credentials, enabling fine-grained policies and instant revocation for AI agents, solving the 'over-privileged agent' problem.
RustAxumTokioBiscuit AuthEd25519WasmtimeDatalogMCPDockerA protocol-agnostic hybrid verification framework combining symbolic execution (KLEE) and formal modeling (TLA+) for distributed and concurrent systems with bidirectional counterexample exchange.
PythonCTLA+KLEESystemVerilogDockerpytestA high-performance RISC-V coprocessor in SystemVerilog that extends RISC-V with custom INT8 multiply-accumulate (MAC) instructions, achieving 7.5-9× latency reduction (p99: 307→34 cycles) for batch-1 attention microkernels compared to standard CPU execution.
SystemVerilogRISC-VCVXIFCVA6VerilatorCocotbPythonCMicrokernelCreated a detailed diagnostic center for LangGraph workflows using OpenTelemetry and SQLite, helping to solve the 'Silent Failure' problem in AI systems by allowing real-time visualization and the ability to go back in time to debug issues.
PythonFastAPINext.jsReact FlowOpenTelemetrySQLiteTypeScriptArchitected a production-ready RAG chatbot with true scale-to-zero architecture using Next.js 16, Gemini, and Upstash, achieving $0/month cost when idle and sub-50ms cold starts on Vercel Edge runtime, eliminating the $50/month minimum cost floor of alternatives like Pinecone.
Next.jsTypeScriptReactGoogle GeminiUpstash VectorUpstash RedisgRPCVercel EdgeA modular framework for explainable AI in biological sequence analysis, integrating protein language models (PLMs), causal inference, and sparse autoencoders for transparent protein function insights.
PythonPyTorchTransformersHugging FaceESM2SHAPLIMEGrad-CAMAn interactive toolkit for assessing AI system predictability using the Predictability Spectrum Framework with web app, API server, and browser extension.
TypeScriptReactNode.jsExpressFastAPIGoogle GeminiMaterial UIA Python tool to read PDF and DOCX files directly in Cursor IDE, extracting text content with metadata for AI workflows.
PythonpdfplumberPyPDF2python-docxVS Code Marketplace> More projects available on GitHub
View GitHub Profile