Neel Somani

senator-filings. Scrape public filings of the buy + sell orders of U.S. senators and calculate their returns

vericuda. A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs

symbolic-circuit-distillation. Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits

web2mcp. Generate an MCP for any web app

kv-marketplace. Cross-GPU KV Cache Marketplace

react-flask-heroku. Simple bootstrapping code for a React frontend and Flask backend ready to deploy to Heroku.

gpt-erdos. A repo to document candidate solutions for Erdős problems produced via LLM-driven proof search

grok-pentest. Simple pentesting demo using Grok

pretty-calendar. A jQuery plugin for generating pretty calendars.

epistemic-stance-mechinterp. Testing whether models distinguish declared-true from declared-false premises

literature. Literature card game implementation: https://en.wikipedia.org/wiki/Literature_(card_game)

verifiable-transformers. SMT-encodable GPT-2 variant with formal guarantees

parallel-python-twitter. A Twitter client to parallelize requests across multiple API keys

tweet-insight-daily. Summarize an X user's feed using ChatGPT

gas-model. Simple statistical gas model example - not fit for human consumption!

literature-server. React web app to run the card game Literature: https://github.com/neelsomani/literature

the-daily-auction. A Codex-built website that auctions itself out every evening.

adcock-agent. A DOM-based browser agent that can tackle anything.

python-freethreading. Example to demonstrate N-Queens with/without GIL

audience-analysis. Stream a user's Twitter followers and infer various attributes about each individual follower

grok-prediction. Trade prediction markets on Kalshi using Grok

are-you-the-one. Mathematical solver for the TV show "Are You the One?": https://en.wikipedia.org/wiki/Are_You_the_One%3F

policy-gradient. Implementation of policy gradient methods