mathlas
Archerkattri/mathlas
Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.
- Local integrations
Installation, supported tools and required credentials are maintained by the project.
Project details
- GitHub stars
- 13
- Language
- Python
- License
- Apache-2.0
- Forks
- 1
- Latest release
- v1.5.03mo ago
- Activity
- updated 9d ago
- ai-tools
- claude
- formal-verification
- lean4
- math
- mcp-server
- retrieval
- theorem-search
First MCP server?Start with the basics
Create validated, maintainable data charts and dashboards with Vizro tools and templates.
updated today
Convert almost any file or web content into Markdown.
updated 27d ago
Interact with Jupyter.
updated 4d ago
Data quality evaluation with Dingo: run rule-based and LLM-based evaluations and list its rules and prompts.
updated 2d ago
Autonomous data exploration of CSV datasets with generated insights.
updated 1y ago
Interact with and control Jupyter Notebooks.
updated 1y ago
Forecasting and prediction with Chronulus AI agents.
updated 1y ago
Orchestrate hyperparameter search and other optimization tasks with Optuna.
updated 2mo ago