- Beijing
-
06:06
(UTC +08:00)
Highlights
- Pro
Lists (6)
Sort Name ascending (A-Z)
Stars
A multi-platform proxy client based on ClashMeta,simple and easy to use, open-source and ad-free.
A Python port of Pi’s minimalist coding agent.
🧃 Token weight loss. Lean output compaction for terminal-heavy agent workflows. Works as a native CLI tool or as an extension to popular coding and agent frameworks.
Production-grade engineering skills for AI coding agents.
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
An open-source AI agent that brings the power of Gemini directly into your terminal.
📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程
An Obsidian theme inspired by the beautifully-designed app, Things.
[TOSEM'26] Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"
Build a website from the documentation JSON file generated by typst-docs.
MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset
[ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
A toolbox book for math, algorithms and codes in robotics
A collection of (mostly) technical things every software developer should know about
A workshop that teaches you how to build your own coding agent. Similar to Roo code, Cline, Amp, Cursor, Windsurf or OpenCode.
Python disk-backed cache (Django-compatible). Faster than Redis and Memcached. Pure-Python.
Browser extension that simplifies the GitHub interface and adds useful features
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
SWE-bench: Can Language Models Resolve Real-world Github Issues?
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent