Pinned Loading

1. lean-agent-protocol lean-agent-protocol Public

   Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably compliant actions execute.

   TypeScript 11 1

2. event-loop event-loop Public

   A full-stack ride-sharing application built with Next.js, Node.js, Express, Socket.io, and PostgreSQL. Designed for event transportation with smart driver dispatch and real-time tracking.

   JavaScript

3. csv2api-router csv2api-router Public

   Modular Python pipeline using heuristics and local LLMs (Ollama/LlamaIndex) to parse CSVs/unstructured text, understand natural language instructions, generate targeted API calls, and dynamically e…

   Python 1

4. Crypto-Accountant-Core Crypto-Accountant-Core Public

   Modular Streamlit chatbot for crypto accounting that uploads CSVs, uses a local LLM to extract insights, and dynamically routes to csv2api subprocesses with full persona control, logging, and vecto…

   Python 1 1

5. janestreetpuzzles janestreetpuzzles Public

   My solutions to janestreet puzzles

   Python

6. semiconductor-geopolitics-ops semiconductor-geopolitics-ops Public

   A data science project analyzing semiconductor geopolitics using NLP, sentiment analysis, and network graphs to map media narratives.

   Python