Excel is my database, Python is my brain.

Agent searches GitHub → reads 10 SKILL.md files → compares them → picks one = ~50,000 tokens burned per skill lookup No registration required for reading. No API key needed for search or fetching ...

Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett: Pono: A Flexible and Extensible SMT-Based Model Checker. CAV 2021. Evaluated ...

Abstract: To investigate the formation history of large-scale structure through the dynamics of galaxy clusters, we are developing a multi-color millimeter and submillimeter-wave continuum camera ...