FreePeak/
LeanKG
FreePeak/LeanKGConnectors
LeanKG: Stop Burning Tokens. Start Coding Lean.
217
LeanKG: Stop Burning Tokens. Start Coding Lean.
The fastest path to AI-powered full stack observability, even for lean teams.
Composable mathematics tools for agents
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.
Remote MCP Server that securely connects Enterprise context with your LLM, IDE, or agent platform of choice.