How to Use the Archimedes First Principles 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: "archimedes-first-principles-prover-mcp-client",
  servers: {
    "archimedes-first-principles-prover-mcp": {
      url: new URL(
        "https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp"
      ),
    },
  },
});

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

const result = await agent.generate(
  "List recent Archimedes First Principles Prover transactions"
);
console.log(result.text);