{"owner":"ise-uiuc","github":"https://github.com/ise-uiuc","claimed":false,"inventory":[],"indexed":[{"repo":"ise-uiuc/KNighter","github":"https://github.com/ise-uiuc/KNighter","description":"[SOSP'25] Automatic checker synthesis for system-level static analysis","language":"C++","stars":186,"topics":["linux","llm-agent","static-analysis"],"license":"Apache-2.0","category":"dev-tools"}],"how_to_buy":"GET /r/ise-uiuc/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}