26 packages found
Agentic Theorem Prover for Rocq for Program Verification
obra/superpowers extended — 14→24 skills, 6 GadaaLabs engineering improvements, override infrastructure, one-command ins
List of Permanent Free LLM API (API Keys)
everything-claude-code 中文翻译项目：完整的 Claude Code 配置集合（agents, skills, hooks, commands, rules, MCPs）。源自 Anthropic 黑客松获胜者的实战配
A repo lists papers related to LLM based agent
Solana meme-coin auto-trading bot with MiniMax M2.7 LLM exit advisor, Jupiter Ultra swaps, Telegram control, and a Pepe-
[ICLR2026] The official repository for the CodeGym project: "Generalizable End-to-End Tool-Use RL with Synthetic CodeGym
A general purpose scientific writer
🔴 VERY LARGE AI TOOL LIST! 🔴 Curated list of AI Tools - Updated 2026
A collection of my favorite custom Claude Code resources to make life easier.
Agent Interface Discovery
YantrikDB memory provider for NousResearch/hermes-agent — self-maintaining memory with canonicalization, contradiction t
Declarative agent config for Claude Code, Codex, and Cursor: an agent.json manifest for skills, MCP servers, and stack p
A Systematic Survey of Deep Research
QodeAssist is an AI-powered coding assistant plugin for Qt Creator
Yunjue Agent: A Fully Reproducible, Zero-Start In-Situ Self-Evolving Agent System for Open-Ended Tasks
2026最新Claude Pro 订阅充值教程：Claude账号怎么注册？如何订购Claude Pro会员？怎样购买独立的Claude Pro账号？现有Claude账户如何充值 Pro？（附Claude Code国内使用指南）
Open Source ClaudeCode Leaked. Same functionalities as Claude Code by Anthropic. Written in Rust, Ready to use immediate
A simple yet versatile context engineered for scalable online data collection
A custom TypeScript MCP Server intended to be used with Claude Code
Elixir implementation of a LangChain style framework that lets Elixir projects integrate with and leverage LLMs.
Examples of integrating the OpenRouter API
Intelligent skill router and creator for Claude Code and Codex. Analyzes any input to recommend existing skills, improve
"DeepCode: Open Agentic Coding (Paper2Code & Text2Web & Text2Backend)"