Stars
better agentic engineering
RefChecker provides automatic checking pipeline and benchmark dataset for detecting fine-grained hallucinations generated by Large Language Models.
A collection of formalized statements of conjectures in Lean.
Semantic search and document parsing tools for the command line
AI agents running research on single-GPU nanochat training automatically
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
Cleaner and Formatter for BibTeX files
Agent skills for Obsidian. Teach your agent to use Obsidian CLI and open formats including Markdown, Bases, JSON Canvas.
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 160,000+ scientists worldwide. 140 ready-to-use skills plus 100+ scientific databases covering biology, chem…
LLM Council works together to answer your hardest questions
nlspec of StrongDM's Attractor, a non-interactive Coding Agent sufficient for use in a Software Factory
Persistent Context Across Sessions for Every Agent – Captures everything your agent does during sessions, compresses it with AI, and injects relevant context back into future sessions. Works with C…
Teams-first Multi-agent orchestration for Claude Code
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Model Context Protocol (MCP) server for connecting Claude and ChatGPT with the Intervals.icu API.
Research-OS is an orchestration system built on top of Claude Code that combines rigorous research planning with spec- and test-driven engineering.
🪄 Interpreto is an interpretability toolbox for LLMs
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
An agentic skills framework & software development methodology that works.
Official frugal and native macOS Syncthing application bundle
Zotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, and more.