INDIVIDUAL MCP TOOL

create_thesis

Create a new prediction market thesis from a TESTABLE CLAIM — a statement that can be verified true or false at a future time.

simplefunctions.devnone authenticationAvailability not checked

Input schema

{}

Potential side effects detected · medium confidence · heuristic, not a guarantee.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.simplefunctions-dev]
url = "https://simplefunctions.dev/api/mcp/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "simplefunctions-dev": {
      "type": "http",
      "url": "https://simplefunctions.dev/api/mcp/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: simplefunctions-dev
Remote MCP URL: https://simplefunctions.dev/api/mcp/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "simplefunctions-dev": {
      "url": "https://simplefunctions.dev/api/mcp/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "simplefunctions-dev": {
      "type": "http",
      "url": "https://simplefunctions.dev/api/mcp/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "simplefunctions-dev",
  "transport": "streamable-http",
  "url": "https://simplefunctions.dev/api/mcp/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

get_context — START HERE.
list_theses — List all theses for the authenticated user.
inject_signal — Feed an observation into a thesis — news, price move, or external event.
trigger_evaluation — Force immediate evaluation: consume all pending signals, re-scan edges, update confidence.
scan_markets — Search Kalshi prediction markets by keyword, series, or ticker.
explore_public — Browse public theses from other users.
get_markets — Get traditional market prices via Databento.
query_databento — Free-form historical market data query via Databento.