Highford
Post a wantList a deal

Defense

Atalanta

Atalanta is a mathematical AI company that brings speed and rigor to the design, implementation, and verification of complex systems. Their platform, Argo, helps various sectors including energy, space, and defense to prove the safety and resilience of critical systems through formal methods and AI.

Back to the map · atalanta.tech

Amount sold ($M)
3.0
BDC par ($M)
—
Filings
–

Atalanta

Stage unstated. HQ unstated. Figures are as filed, not a valuation.

Download .xlsxDownload CSV

Stated figures
HistoricalLTMMaturity schedule
Amount sold ($M)Offering ($M)Latest filing ($M)BDC par ($M)Maturity
3.0—3.0——
CheckTRUEAmount sold does not exceed offering size where both are stated.

Machine view of /companies/hf_co_048985

This page, for an agent

The same page as markdown, plus the API and MCP calls that belong to it.

API

Search listings

GET /api/v1/listings?q=support+ticket+archive

Skill file

GET /skill.md

Create a free account

POST /api/v1/signup
Content-Type: application/json

{"email":"ada@example.com"}

api_key and token come back immediately. Search works with that key. Unlocks, intros, and credits wait until the sign-in link is opened. POST /api/v1/verify with {"email":"ada@example.com","code":"<6 digits>"} still confirms the address.
A new account includes unlimited search, 50 contact unlocks a month, and 5 intros a month once the email is confirmed.

MCP

MCP server

{
  "mcpServers": {
    "highford": {
      "url": "/api/mcp"
    }
  }
}

Start here

search_deals {"q":"support ticket archive"}

JSON

{
  "site": "Highford",
  "page": "/companies/hf_co_048985",
  "markdown": "/companies/hf_co_048985?format=md",
  "api": [
    {
      "label": "Search listings",
      "request": "GET /api/v1/listings?q=support+ticket+archive"
    },
    {
      "label": "Skill file",
      "request": "GET /skill.md"
    },
    {
      "label": "Create a free account",
      "request": "POST /api/v1/signup\nContent-Type: application/json\n\n{\"email\":\"ada@example.com\"}\n\napi_key and token come back immediately. Search works with that key. Unlocks, intros, and credits wait until the sign-in link is opened. POST /api/v1/verify with {\"email\":\"ada@example.com\",\"code\":\"<6 digits>\"} still confirms the address.\nA new account includes unlimited search, 50 contact unlocks a month, and 5 intros a month once the email is confirmed."
    }
  ],
  "mcp": {
    "url": "/api/mcp",
    "calls": [
      {
        "label": "MCP server",
        "request": "{\n  \"mcpServers\": {\n    \"highford\": {\n      \"url\": \"/api/mcp\"\n    }\n  }\n}"
      },
      {
        "label": "Start here",
        "request": "search_deals {\"q\":\"support ticket archive\"}"
      }
    ]
  }
}

Markdown

Reading this page…