"author:MikeyBeez" matching MCP servers:

• mcp-kaggle-tool

  MikeyBeez

  F

  license

  B

  quality

  D

  maintenance

  MCP server for Kaggle API integration that allows creating, running, and managing Kaggle notebooks programmatically.

  Updated 7 months ago (2026-01-14 19:30 UTC)

  8

  1

• mcp-frontiermath

  MikeyBeez

  F

  license

  B

  quality

  D

  maintenance

  Enables solving FrontierMath problems and performing advanced mathematical computations such as representation theory, algebraic geometry, number theory, and finite field analysis through natural language.

  Updated a year ago (2025-08-21 14:36 UTC)

  7

• mcp-geometry-prover

  MikeyBeez

  F

  license

  A

  quality

  C

  maintenance

  Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.

  Updated 2 months ago (2026-06-10 21:06 UTC)

  3

• mcp-math

  MikeyBeez

  F

  license

  -

  quality

  D

  maintenance

  Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.

  Updated 7 months ago (2026-01-17 05:20 UTC)