An automated market maker for Kalshi prediction markets using the Avellaneda-Stoikov optimal quoting model. The bot continuously posts two-sided quotes on configured markets, adjusts prices based on ...