{"full_name":"lean-llm/lean-agents","owner":"lean-llm","name":"lean-agents","url":"https://github.com/Lean-LLM/lean-agents","description":"~66% Faster, ~44% Less Tokens, The only AI coding workflow you need, Supports small models","description_zh":null,"homepage":null,"topics":["models","workflow"],"tag_pages":["models","workflow"],"language":"skill","license":null,"avatar":"https://github.com/Lean-LLM.png","created_at":"2026-10-16T16:19:38Z","pushed_at":"2026-11-12T03:33:54Z","metrics":{"stars":37,"downloads30d":null,"downloads_month":null},"source_repo":"Lean-LLM/lean-agents","npm_id":"Lean-LLM/lean-agents","verification":{"status":"unverified","level":"structure","run_url":"https://github.com/terry2010/awesome-opencode-market/actions/runs/43076231948"},"approval":"legacy","capabilities":{"findings":["child-process:extensions/lean-subagents.ts","sec:evidence-regressed@0fd8fa85816e","sec-delta:sec","sec-delta:sec-delta","sec:evidence-regressed@878598de3a2c","sec:evidence-regressed@a9595d768786","sec:evidence-regressed@2d10a72ff21a"],"red_flags":[]},"type":"skill","contains":["skill"],"deprecated":false,"deprecated_message":null,"maintainers":[],"growth":{"day":{"stars":0,"downloads30d":0,"base_day":"2026-11-12"}},"history":{"dates":["2026-11-12","2026-11-13"],"stars":[37,37],"downloads30d":[0,0],"downloads_month":[null,null]},"boards":{"new":90},"same_owner":[],"latest_release":null,"readme":false,"readme_zh":false,"news":[],"stale":false,"snapshot_at":"2026-11-12T16:49:14Z","history_start":"2026-09-13"}