GeezerVison is showing github.com — VeryMath
Popular repositories
Loading
The website page for introducing VeryMath
Python
33
个人部署的课程学习工作台：左侧读教材，右侧与 Coding Agent 对话，生成讲解、习题、思维导图、知识图谱与 LaTeX 课件
TypeScript
21
2
AI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
Python
14
2
Teach LLM-agents to use SageMath.
Python
12
1
Co-mathematician project for collaborative AI-assisted mathematical research.
Python
12
3
AI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.
Python
11
1
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Python
TeX
TypeScript
Sort
Showing 10 of 12 repositories
VeryMath/VeryMath-textbook-copilot's past year of commit activity
TypeScript
21
Apache-2.0
2
0
0
Updated Nov 8, 2026
AI4Math-Writing
Public
AI4Math skills for source-grounded mathematical paper writing, proof-obligation review, and submission-ready LaTeX workflows.
VeryMath/AI4Math-Writing's past year of commit activity
TeX
11
MIT
0
0
0
Updated Nov 3, 2026
VeryMath/verymath.github.io's past year of commit activity
Python
33
MIT
0
0
0
Updated Nov 3, 2026
AI4Math-Lean-Agents
Public
AI4Math skills and workflows for Lean 4 formalization, proof repair, and machine-checked mathematics.
VeryMath/AI4Math-Lean-Agents's past year of commit activity
Python
9
MIT
0
0
0
Updated Nov 3, 2026
AI4Math-Auto-Research
Public
AI4Math skills for automatic research workflows, problem discovery, and proof-blueprint review.
VeryMath/AI4Math-Auto-Research's past year of commit activity
Python
14
MIT
2
0
0
Updated Nov 3, 2026
AI4Math-Paper-Reading
Public
AI4Math skills for structured math-paper reading, theorem dependency analysis, and paper-to-skill extraction.
VeryMath/AI4Math-Paper-Reading's past year of commit activity
TeX
6
MIT
0
0
0
Updated Nov 3, 2026
AI4Math-MathTool
Public
Standalone mathematical tools and coding-agent adapters for VeryMath.
VeryMath/AI4Math-MathTool's past year of commit activity
Python
3
MIT
0
0
0
Updated Nov 3, 2026
VeryMath/AI4Math-Computational-Mathematics's past year of commit activity
Python
1
MIT
0
0
0
Updated Nov 3, 2026
AI4Math-Optimization
Public
AI4Math skills for optimization modeling, solver routing, convex quadratic programming with OSQP, and manifold-constrained optimization with CDOpt.
VeryMath/AI4Math-Optimization's past year of commit activity
Python
11
MIT
1
0
1
Updated Nov 3, 2026
AI4Math-Evolving
Public
AI4Math skills for search-based experiments, OpenEvolve workflows, and iterative program improvement.
VeryMath/AI4Math-Evolving's past year of commit activity
Python
4
MIT
0
0
0
Updated Nov 1, 2026
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.