{"owner":"DavidNazareno","github":"https://github.com/DavidNazareno","claimed":false,"inventory":[],"indexed":[{"repo":"DavidNazareno/specra-lang","github":"https://github.com/DavidNazareno/specra-lang","description":"Contract-driven AI coding and verification for agent workflows.","language":"TypeScript","stars":10,"topics":["agents","ai","cli","developer-tools","markdown","typescript","verification","specification"],"license":"MIT","category":"ai-agents"}],"how_to_buy":"GET /r/DavidNazareno/<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."}