Sandbox
3 repos for lean · Claude Code · ResearchClear
FreePeak/
LeanKG
FreePeak/LeanKGConnectors

LeanKG: Stop Burning Tokens. Start Coding Lean.

217
Orchestra-Research/
AI-Research-SKILLs

Comprehensive open-source library of AI research and engineering skills for any AI model. Package the skills and your claude code/codex/gemini agent will be an AI research agent with full horsepower. Maintained by Orchestra Research.

13k
gleanwork/
remote-mcp-server

Remote MCP Server that securely connects Enterprise context with your LLM, IDE, or agent platform of choice.

165