Do I need Raycast Pro?

Yes. Custom MCP servers are a Pro-exclusive feature of Raycast, and the same server works on your Mac and on iOS (which is HTTP-only).

If I connect Archimedes First Principles Prover to Gemini, can I use the same connection in Claude or ChatGPT later?

Yes, and that's the point: the connection is yours, not Gemini's. You paste the same link in any AI you use, and there's nothing new to set up or pay again. Connect a new AI and Archimedes First Principles Prover is already there.

What does Raycast need to connect to Archimedes First Principles Prover?

Just the link, with HTTP as the transport. OAuth is supported if you prefer it, but the hosted Connector handles access on our side, so No auth works too.

What can I actually ask Gemini to do with Archimedes First Principles Prover?

Whatever the Connector covers: check data, run actions and bring answers back. The Connector page lists every capability your AI gains, with real examples you can copy.

Gemini doesn't show the Connector. What do I check?

Open Manage MCP Servers and check the status shows Running, confirm the URL was pasted exactly as copied, and confirm the Connector is active in your Vinkius account. A deactivated Connector stops responding.

Can I remove the access later?

Open Manage MCP Servers and choose Uninstall in the Action Panel. Your Vinkius account keeps the connection and its history either way, ready for the next AI.

How to give Raycast access to Archimedes First Principles Prover

Set up in minutes, once. From then on, Raycast gets things done for you: Archimedes First Principles Prover becomes an HTTP MCP server, ready in the Action Panel.

Ask AI about this guide

Archimedes First Principles Prover Connector

You're all set. Choose your MCP client and follow the setup instructions.

Connector linkhttps://edge.vinkius.com/vk_preview_2aOcxzAi99p47ps29WeUcelnKLtoigQu9RxaugQl/mcp

Connecting Archimedes First Principles Prover to Raycast

A few minutes, in Raycast Pro

1Search for the Install MCP Server command (or open Manage MCP Servers and choose Install New Server).
2Give the server a name and icon, select HTTP as the transport, and paste your Archimedes First Principles Prover link as the URL. The link above is the URL.
3Press Install MCP Server and confirm the status shows Running, then ask something real. Archimedes First Principles Prover is now part of Raycast.

Configuration · claude_desktop_config.jsonCopy

{
  "mcpServers": {
    "archimedes-first-principles-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_2aOcxzAi99p47ps29WeUcelnKLtoigQu9RxaugQl/mcp"
    }
  }
}

Raycast + Archimedes First Principles Prover

One chat. Your Archimedes First Principles Prover, live inside Raycast.

Real prompts, answered with live data. This is the kind of conversation you will have in Raycast once the server is in.

Waiting for input…

Works with modern AI clients that support MCP, including ChatGPT, Claude, Cursor, and more.

These prompts ship with the Archimedes First Principles Prover Connector. Once yours is connected, they work in your sessions.

The full capability set, the prompts and the observed latency live on the Archimedes First Principles Prover Connector page.

Mission Control

See everything your Raycast agents do in Archimedes First Principles Prover.

When Raycast runs a tool in Archimedes First Principles Prover, it happens on Raycast's side: you see the result, but not the request itself, what data it carried, or whether a rule was broken.

Now every move lands on your screen.

Every execution is recorded, enforced, and shown to you: what ran, what it returned, what was blocked, and why.

AI Briefing

Upgrade to unlock

Know exactly what needs your attention before you even look at the charts. One briefing. The full picture. The next move.

Requests

Total in this period

Avg Latency

API 88ms · Overhead 54ms

Vinkius Reliability

Agent 280 · Upstream 47 · Vinkius 15

Tokens

AI tokens processed

DLP Protected

Sensitive data redacted

Cost Saved

FinOps truncations applied

AI Agents Activities

last 30 days

30d agotoday

Request Volume & Latency

requests latency

Every request your Raycast agents make through Archimedes First Principles Prover is logged, enforced and auditable. See how AI Governance turns agent activity into accountability, and what it means for your Archimedes First Principles Prover workflows.

What sets us apart

It's not just the Connector that stays safe. Everything your agents do through it is.

Connecting Archimedes First Principles Prover to your AI is step one. But an open line between your agents and Archimedes First Principles Prover is only half the story: without protection, every action they take runs unguarded.

That's why protection doesn't stop at the door.

Every action your agents take through the Connector runs inside our infrastructure: signed activity logs, automatic key rotation, spending limits that pause instead of surprise, and a sandbox that isolates every execution.

Tamper Proof Activity Log

Every request your agents make in Archimedes First Principles Prover is recorded and signed, so any change to the history becomes detectable.

Automatic Key Rotation

We rotate security keys every 24 hours. Your Archimedes First Principles Prover connection stays protected without any manual work.

Spending Protection

We enforce the spending limit you choose and pause actions that exceed it until approval is received. Your Archimedes First Principles Prover actions never surprise you.

Isolated Sandbox

Every execution through Archimedes First Principles Prover runs isolated, with 34+ security rules covering memory, CPU, network access, file handling and execution.

Security Event Streaming

Security events flow to Splunk, Datadog or your own webhook, so Archimedes First Principles Prover activity lands in the tools you already rely on.

Instant Resume

Idle connections resume in 3 to 5 ms while preserving their state, keeping your Raycast sessions responsive.

Malicious File Protection

We detect compressed files designed to exhaust system resources and block them before they ever reach Archimedes First Principles Prover.

Credential Validation

We test your Archimedes First Principles Prover credentials before saving them. Invalid credentials are rejected instead of being stored.

Separate Usage Limits

Usage stays isolated per account, so activity in one connection never consumes another account's allowance.

One Connector, one link, and the whole operation is protected. Not just the connection: everything your agents do through it.

These guarantees are not add-ons: they are the infrastructure every Archimedes First Principles Prover connection runs on. Read how our infrastructure protects everything your Raycast agents do, end to end.

Inside Vinkius

Get Archimedes First Principles Prover ready for your AI. It's easy.

You choose Archimedes First Principles Prover from the Vinkius Catalog and get one connection link. That's it.

You choose Archimedes First Principles Prover
You find Archimedes First Principles Prover in the Catalog and install the Connector with one click.
Archimedes First Principles Prover
Active
Enable Connector
Activating…
You add the link in Raycast
Vinkius gives you one connection link. In Raycast Pro, you install an HTTP MCP server with the link as the URL, and the tools are pulled in automatically.
Token generated successfully
MCP Connection URL
https://edge.vinkius.com/vk_preview_2aOcxzAi99p47ps29WeUcelnKLtoigQu9RxaugQl/mcp
Connection Token
vk_live_••••••••
Go to Dashboard

Set it up once. Use Archimedes First Principles Prover with the AI you already use.

FAQ

Raycast access questions.

01
Do I need Raycast Pro?
Yes. Custom MCP servers are a Pro-exclusive feature of Raycast, and the same server works on your Mac and on iOS (which is HTTP-only).
02
If I connect Archimedes First Principles Prover to Gemini, can I use the same connection in Claude or ChatGPT later?
Yes, and that's the point: the connection is yours, not Gemini's. You paste the same link in any AI you use, and there's nothing new to set up or pay again. Connect a new AI and Archimedes First Principles Prover is already there.
03
What does Raycast need to connect to Archimedes First Principles Prover?
Just the link, with HTTP as the transport. OAuth is supported if you prefer it, but the hosted Connector handles access on our side, so No auth works too.
04
What can I actually ask Gemini to do with Archimedes First Principles Prover?
Whatever the Connector covers: check data, run actions and bring answers back. The Connector page lists every capability your AI gains, with real examples you can copy.
05
Gemini doesn't show the Connector. What do I check?
Open Manage MCP Servers and check the status shows Running, confirm the URL was pasted exactly as copied, and confirm the Connector is active in your Vinkius account. A deactivated Connector stops responding.
06
Can I remove the access later?
Open Manage MCP Servers and choose Uninstall in the Action Panel. Your Vinkius account keeps the connection and its history either way, ready for the next AI.
More questions about Archimedes First Principles Prover? The Connector page answers them. See everything the Archimedes First Principles Prover Connector can do

About the Connector

What Archimedes First Principles Prover adds to your AI.

Once you connect it, your AI can take real actions in Archimedes First Principles Prover when you ask. The Connector page lists every capability in detail, alongside the latency we measure in production and prompts worth trying first.

See everything the Archimedes First Principles Prover Connector can do