Archerkattri/mathlas

Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.

Project and installation details

Categories: Data Science Tools.

Directory listing from awesome-mcp-servers; Frontier Now has not tested or reviewed this server.