MCP Find
Browse Servers
Blog
Docs
Submit Server
Back to Directory
/
Developer Tools
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Developer Tools
v1.4.0
View on GitHub
Learn More
Linear MCP Server: Project Management for AI-Native Teams
Linear is the project management tool of choice for AI-native engineering teams. The Linear MCP server gives Claude and Cursor direct access to issues, cycles, and project data - no tab switching required. MCPFind's devtools category has 4,043 servers.
Read article
Best Devtools MCP Servers for Code Review: A 2026 Comparison
Read article
Best Devtools MCP Servers for Repo Intelligence: A 2026 Comparison
Read article