Skip to content

v0.1.0 — Math Research Agent

Choose a tag to compare

View all tags
@andyzengmath andyzengmath released this 10 Mar 18:09
v0.1.0
3e36a05

Math Research Agent v0.1.0

First release of the AI-powered math research VS Code extension.

Features

  • @math Chat Participant — quick math queries with LaTeX rendering in Copilot Chat
  • Research Studio — branching dialogue for non-linear exploration (fork, switch, delete branches)
  • RAG Knowledge Retrieval — auto-detect math entities and fetch from arXiv, nLab, Wikipedia
  • 4 LLM Providers — VS Code Copilot, OpenAI (GPT-5.4), Anthropic (Claude Opus 4.6), Google (Gemini 3.1 Pro)
  • Math Personas — algebraist, analyst, geometer, topologist, number-theorist, logician
  • Multi-Agent Mode — parallel persona responses with orchestrated synthesis
  • Paper Writing Assistant — draft LaTeX sections from research, inject into .tex files
  • Attached Papers — add PDFs, .tex files, or arXiv IDs as persistent context
  • Optional Lean4 Verification — progressive formalization with retry-on-failure

Install

Download math-research-agent-0.1.0.vsix below, then:

code --install-extension math-research-agent-0.1.0.vsix

Reload VS Code and search "Math Research Agent" in the command palette.

Requirements

  • VS Code 1.100+
  • One of: GitHub Copilot subscription, OpenAI API key, Anthropic API key, or Google AI API key

Contributors

math
Assets 3
Loading