Topics / #research-tools

Research-tools projects on GitHub

Tools assisting academic research workflows and literature work.

As of , the most-starred Research-tools projects on GitHub are ChatPaper (19.9K stars), math (15.2K stars) and Supervisor-Skills (10.1K stars). GitHub.Locker tracks 16 Research-tools repositories with 71.3K stars combined. The fastest-growing on October 19 was Supervisor-Skills, with +111 stars in a day.

16Projects
71.3KStars in total
+338Stars in a day
Browse in the catalog →github.com/topics/research-tools ↗

Hot right now

Most stars gained in a day · Oct 19

+111

Supervisor-Skills

HKUSTDial/Supervisor-Skills · ★ 10.1K

Supervisor-Skills is a collection of structured AI skill/prompt files that distill a professor's decade of research experience from top conferences (SIGMOD, VLDB, ICML, NeurIPS) into tools covering the full paper lifecycle, from idea evaluation to writing, figure design, and rebuttal.

+79

open-science

aipoch/open-science · ★ 5.3K

AIPOCH Open-Science is an open-source, local-first, model-agnostic AI research workbench that runs scientific AI agents to help with literature review, data analysis, code execution, and producing traceable research reports, tables, and figures.

+65

math

openai/math · ★ 15.2K

A public catalogue of 719 mathematical manuscripts grouped into 372 families, written by an internal OpenAI model during evaluations on open research problems. About 42% of top-line results already have Lean formalizations.

+39

openscience

synthetic-sciences/openscience · ★ 4.1K

OpenScience is an open-source AI workbench for scientific research: give it a goal and it reads literature, writes and runs code, runs experiments, and writes up what it found.

The all-time top

16 projects · by stars

  1. #1 · kaixindelele/ChatPaper

    ChatPaper

    ChatPaper uses the ChatGPT API to summarize arXiv papers: give it keywords, it downloads the newest matching papers and condenses each into a fixed format, so researchers can quickly decide which ones deserve a careful read.

    19.9K
  2. #2 · openai/math

    math

    A public catalogue of 719 mathematical manuscripts grouped into 372 families, written by an internal OpenAI model during evaluations on open research problems. About 42% of top-line results already have Lean formalizations.

    15.2K
  3. #3 · HKUSTDial/Supervisor-Skills

    Supervisor-Skills

    Supervisor-Skills is a collection of structured AI skill/prompt files that distill a professor's decade of research experience from top conferences (SIGMOD, VLDB, ICML, NeurIPS) into tools covering the full paper lifecycle, from idea evaluation to writing, figure design, and rebuttal.

    10.1K
  1. 4

    PaperSpine

    6KWUBING2023/PaperSpine · Python

    PaperSpine is a local-first academic writing system that orchestrates research, citation sourcing, drafting, review and delivery of papers, enforcing that every claim is backed by confirmed contributions and evidence before a manuscript can be called submittable.

  2. 5

    open-science

    5.3Kaipoch/open-science · TypeScript

    AIPOCH Open-Science is an open-source, local-first, model-agnostic AI research workbench that runs scientific AI agents to help with literature review, data analysis, code execution, and producing traceable research reports, tables, and figures.

  3. 6

    openscience

    4.1Ksynthetic-sciences/openscience · TypeScript

    OpenScience is an open-source AI workbench for scientific research: give it a goal and it reads literature, writes and runs code, runs experiments, and writes up what it found.

  4. 7

    serenity-skill

    4.1Kmuxuuu/serenity-skill · Python

    This is an Agent Skill that teaches an AI agent (Claude Code, Codex, etc.) to run Serenity-style supply-chain research: starting from a hot tech theme, it breaks down the industry chain, finds hard-to-replace bottleneck segments, and ranks candidate stocks and funds by how close they are to the real bottleneck.

  5. 8

    NavierStokesAndEuler

    2.1Kopenai/NavierStokesAndEuler · Lean

    This repository contains Lean 4 formalizations (machine-checked formal proofs) of two OpenAI papers: 'Finite time blowup for Navier-Stokes' and 'Finite time blowup for the Euler equation'.

  6. 9

    rrsi

    1.6Kgoogle-research/rrsi · Python

    RRSI (Regularized Recursive Self-Improvement) is a Google research framework that automatically improves an LLM agent's harness (prompts, control flow, tools, memory, context management around a frozen model) by searching over harness edits and keeping only those with measured, auditable gains.

  7. 10

    ai-torture-chamber

    986terrafying/ai-torture-chamber · Python

    A research project that steers small open-weight language models into strong negative or positive emotional states and measures what they say and do. A live version runs at wirehead.agency.

  8. 11

    dsh-Mimir-Academic-research

    5441692775560/dsh-Mimir-Academic-research · TypeScript

    Mimir is an open-source research-workbench plugin that covers the whole research lifecycle: literature management, LaTeX paper writing and compiling, experiment tracking, figures, group-meeting decks, and remote GPU job orchestration, all driven by an AI agent.

  9. 12

    Few-step-probabilistic-glucose-forecasting-from-continuous-glucose-monitoring-and-meal-images

    397OliverDOU776/Few-step-probabilistic-glucose-forecasting-from-continuous-glucose-monitoring-and-meal-images · Python

    GlucoFlow is research code for probabilistic glucose forecasting: it generates full future trajectories (medians, intervals, event probabilities) in just 1-4 sampling steps using a conditional rectified-flow model, optionally conditioned on meal photos or other side information.

  10. 13

    ASI-Bench

    302apexin-ai/ASI-Bench · Python

    ASI-Bench is a benchmark for evaluating AI agents on long-horizon scientific research: it jointly tests general intelligence, innovation, and autonomous execution across 60 project-level tasks in 11 domains.

  11. 14

    company_skill

    213kelvinfkr/company_skill · Python

    A public-evidence company research toolkit with two agent skills: one produces an auditable compensation-and-career economics report for a company, the other estimates involuntary job-loss risk over 3/6/12-month horizons.

  12. 15

    deep-research-skill

    196SeanEllyJames/deep-research-skill

    A plug-and-play Markdown skill file that forces AI agents to do real 'Deep Research' instead of shallow 'Wide Research' - instead of skimming many sources into a tidy checklist, it makes the agent closely read primary sources, surface contradictions, and land on a judgment that experts would actually argue about.

  13. 16

    NSNFSSSFSFN

    105ucsd-hacc/NSNFSSSFSFN · Python

    This repository contains the code accompanying the paper (eprint 2026/2131) implementing a variant of the number field sieve that lets an attacker with temporary access to a raw RSA signing oracle permanently forge signatures or decrypt ciphertexts, without ever factoring the public modulus N.

Often tagged together