How to Use the Feynman Radical Simplification Prover MCP in Mastra AI

import { MCPClient } from "@mastra/mcp";
import { Agent } from "@mastra/core/agent";
import { openai } from "@ai-sdk/openai";

const mcpClient = new MCPClient({
  id: "feynman-radical-simplification-prover-mcp-client",
  servers: {
    "feynman-radical-simplification-prover-mcp": {
      url: new URL(
        "https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp"
      ),
    },
  },
});

const agent = new Agent({
  name: "Feynman Radical Simplification Prover Agent",
  model: openai("gpt-4o"),
  instructions: "You have access to Feynman Radical Simplification Prover tools.",
  tools: {
    ...(await mcpClient.listTools()),
  },
});

const result = await agent.generate(
  "List recent Feynman Radical Simplification Prover transactions"
);
console.log(result.text);