{"server":{"id":"archerkattri-mathlas-f3f0ea54b8c5","name":"Archerkattri/mathlas","title":"Archerkattri/mathlas","description":"Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.","category":"Search & web","transport":"Local","pricing":"Unknown","website":"https://github.com/Archerkattri/mathlas","repository":"https://github.com/Archerkattri/mathlas","version":"1.5.0","manifest":"{\"name\":\"io.github.Archerkattri/mathlas\",\"version\":\"1.5.0\",\"repository\":{\"url\":\"https://github.com/Archerkattri/mathlas\"},\"remotes\":[],\"packages\":[{\"registryType\":\"pypi\",\"identifier\":\"mathlas-mcp\",\"version\":\"1.5.0\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[{\"name\":\"MATHLAS_SEED\",\"isRequired\":false},{\"name\":\"MATHLAS_INDEX\",\"isRequired\":false}]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"Archerkattri/mathlas MCP server","seoDescription":"Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.","createdAt":"2026-11-04T07:18:56.512Z","updatedAt":"2026-11-04T07:58:36.806Z"}}