How to Use the First Principles Prover MCP in CrewAI

Q: How do I filter which agents get the First Principles Prover tool?

Use the toolfilter option in your MCP configuration. This allows you to selectively expose the validation tool to only the most critical agents.

Deploy autonomous CrewAI teams that use the First Principles Prover MCP Server to ensure all research remains logically sound.

See Vinkius in Action

Works with every AI agent you already use

…and any MCP-compatible client

MCP Servers - Free for Subscribers

Connect First Principles Prover MCP to CrewAI

Create your Vinkius account to connect First Principles Prover to CrewAI and route execution through our secure gateway. The platform manages server hosting, runtime updates, and security layers. Configuration requires no manual server provisioning.

GDPR Free for Subscribers

Setup First Principles Prover with CrewAI

Ask AI about this MCP

ChatGPT

Claude

Perplexity

Axiomatic Research in CrewAI

Assign the `validate_first_principles` tool to a specific agent in your crew. This forces that agent to act as a logical auditor for the rest of the team. By stripping away industry jargon, the agent provides raw data for the others to act on. This prevents the crew from building a plan on flawed assumptions.

Autonomous Logical Auditing

Your moderator agent can use this tool to check the output of researchers. It acts as a final gatekeeper before the crew executes any high-stakes actions. This setup ensures that no action is taken without a clear, axiomatic foundation. It turns your crew into a group of thinkers rather than just pattern-matchers.

Hierarchical Reasoning Control

Use the tool to enforce strict reasoning standards across hierarchical agent structures. The lead agent can demand a proof from any subordinate using this MCP Server. This keeps your entire operation aligned. By forcing every agent to reason from fundamental truths, you eliminate the bias that often creeps into multi-agent systems.

Setup guide

Set up First Principles Prover MCP in CrewAI

Prerequisites

Python 3.10+ installed
crewai package (pip install crewai)
Active Vinkius subscription with a valid endpoint token

1

Install CrewAI
Run pip install crewai to install the framework. MCP support is built-in via the mcps parameter.
2

Add the MCP URL to your agent
Pass your Vinkius endpoint directly to the mcps list. Replace [YOUR_TOKEN_HERE] with your token from cloud.vinkius.com. CrewAI handles tool discovery and caching automatically.
3

Kick off your crew
Create a Crew with your agent and tasks. Call crew.kickoff() — the agent will automatically invoke First Principles Prover tools as needed.

crew.py

from crewai import Agent, Task, Crew

agent = Agent(
    role="First Principles Prover Analyst",
    goal="Access and analyze First Principles Prover data via MCP.",
    backstory="Expert analyst with direct First Principles Prover access.",
    mcps=[
        "https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp"
    ],
)

task = Task(
    description="List recent First Principles Prover transactions",
    agent=agent,
    expected_output="A summary of recent activity",
)

crew = Crew(agents=[agent], tasks=[task])
result = crew.kickoff()
print(result)

Get your connection token →

Prerequisites

Python 3.10+ installed
crewai + crewai-tools packages
Active Vinkius subscription with a valid endpoint token

1

Install dependencies
Run pip install crewai crewai-tools. The MCPServerAdapter handles lifecycle management and tool conversion.
2

Connect with MCPServerAdapter
Use MCPServerAdapter as a context manager with SseServerParameters pointing to your Vinkius endpoint. The adapter automatically manages connection lifecycle.
3

Assign tools and run
Pass the returned mcp_tools to your agent's tools parameter. The adapter converts MCP tools to native BaseTool objects compatible with all CrewAI agents.

crew.py

from crewai import Agent, Task, Crew
from crewai_tools import MCPServerAdapter
from mcp import SseServerParameters

server_params = SseServerParameters(
    url="https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp"
)

with MCPServerAdapter(server_params) as mcp_tools:
    agent = Agent(
        role="First Principles Prover Analyst",
        goal="Access and analyze First Principles Prover data via MCP.",
        backstory="Expert analyst with direct First Principles Prover access.",
        tools=mcp_tools,
    )

    task = Task(
        description="List recent First Principles Prover transactions",
        agent=agent,
        expected_output="A summary of recent activity",
    )

    crew = Crew(agents=[agent], tasks=[task])
    result = crew.kickoff()
    print(result)

Get your connection token →

Independent Platform Disclaimer: Vinkius is an independent platform and is not affiliated with, endorsed by, sponsored by, verified by, or otherwise authorized by First Principles Prover. All third-party trademarks, logos, and brand names are the property of their respective owners. Their use on this website is strictly for informational purposes to identify service compatibility and interoperability.

Why Choose Vinkius

Vinkius connects your tools to AI with real-time monitoring and automatic cost savings — all from one dashboard.

Connect First Principles Prover now

Real-time monitoring

Live

visibility into every interaction

Connect your favorite tools to your AI and see exactly what's happening — every request, every response, in real time.

Built-in savings

60%

lower AI costs

Vinkius compresses data between your apps and your AI automatically. Lower bills every month — no configuration required.

Single dashboard

One

place for every integration

Every tool your AI connects to, managed from a single screen. One account, complete control.

Common questions about First Principles Prover MCP in CrewAI

Pass the server URL in the mcps list within your Agent definition. The `validate_first_principles` tool will then be available for that agent to use.

Yes. You can assign the tool to multiple agents or use a central agent to perform the validation for the entire crew.

Absolutely. It is effective for ensuring that the lead agent's decisions are grounded in actual physics or logic rather than just surface-level patterns.

Use the tool_filter option in your MCP configuration. This allows you to selectively expose the validation tool to only the most critical agents.

Data is processed in an ephemeral sandbox. The server only sees the specific logical proposition being validated and stores nothing.

Use it with your favorite AI tools

Connect this server to Cursor, Claude, VS Code, and more.

OpenAI Agents SDK sdk-python

Google ADK sdk-python