Stars
Tired of paying for frontier AI models? Break free with this guide to 100% local, private LLM code generation on Apple Silicon. Optimized for 24GB+ Macs, it uses Ollama + Cline to build a disciplin…
Read-only developer endpoint scanner for on-disk package, extension, and developer-tool metadata, built to check exposure to known software supply-chain compromises.
Specification and documentation for Agent Skills
A sample pack of GitHub Agentic Workflows!
This is the replication package associated wiht the paper "Code Change Characteristics and Description Alignment: A Comparative Study of Agentic versus Human Pull Requests", accepted for publicatio…
AI-Native Risk Intelligence Systems, OpenDeRisk——Your application system risk intelligent manager provides 7* 24-hour comprehensive and in-depth protection.
Citation Extraction & Reference Checking Assistant
Fine-tune LLMs on your Mac with Apple Silicon. SFT, DPO, GRPO, Vision, TTS, STT, Embedding, and OCR fine-tuning — natively on MLX. Unsloth-compatible API.
A list of policies by different open source projects about how to engage with AI-generated contributions.
UlamAI is an open-source Lean theorem prover and formalizer.
Lean Companion to the Category Theory in Context textbook by Emily Riehl
Queries a Google Scholar profile and produces a single static HTML page of your publications.
An agentic pipeline that turns plain text data or existing LaTeX tables into polished, publication-ready tables.
A toolkit to induce interpretable workflows from raw computer-use activities.
Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise descriptions to help readers g…
This repository contains code and samples for the GHALogs dataset.
Minimal and educational implementation of an LLM agent.
An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.
Cohere Toolkit is a collection of prebuilt components enabling users to quickly build and deploy RAG applications.
Letta is the platform for building stateful agents: AI with advanced memory that can learn and self-improve over time.