{
  "ok": true,
  "type": "websdocs_asg_directory_public_profile",
  "product": "WebsDocs ASG Directory",
  "clientSlug": "kestrel-institute",
  "directoryOnly": true,
  "activeAgent": false,
  "agentStatus": "directory_only",
  "businessName": "Kestrel Institute",
  "legalName": "",
  "websiteUrl": "http://www.kestrel.edu/",
  "industry": "Kestrel Institute",
  "timezone": "",
  "languages": [
    "en-us"
  ],
  "businessSummary": "Kestrel Institute | Kestrel Institute Kestrel Institute Research People Careers Contact Kestrel Institute Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California. Our research spans formal methods, program synthesis and refinement, program analysis and verification, theorem proving, and planning. Kestrel can provide formal methods assistance for software projects of all types.",
  "longDescription": "",
  "publicContact": {},
  "serviceArea": "",
  "services": [],
  "offers": [],
  "products": [],
  "categories": [
    {
      "slug": "nonprofits-associations",
      "name": "Nonprofits & Associations",
      "description": "Charities, nonprofit organisations, trade associations, foundations and membership bodies."
    }
  ],
  "pricingNotes": {
    "summary": "",
    "currency": "",
    "rule": "",
    "restrictions": ""
  },
  "routes": {},
  "faq": [],
  "policy": {
    "publicPolicy": "",
    "commercePolicy": "",
    "blockedTopics": []
  },
  "handoff": {},
  "urls": {
    "base": "https://aig.websdocs.com",
    "gateway": "https://asg.websdocs.com/directory/business/kestrel-institute",
    "directoryProfile": "https://asg.websdocs.com/directory/business/kestrel-institute",
    "directoryJson": "https://asg.websdocs.com/directory/business/kestrel-institute.json",
    "profile": "https://aig.websdocs.com/ai/kestrel-institute/profile",
    "llms": "https://aig.websdocs.com/ai/kestrel-institute/llms.txt",
    "companyJson": "https://aig.websdocs.com/ai/kestrel-institute/data/aig-company-profile.json",
    "agentCard": "https://aig.websdocs.com/ai/kestrel-institute/agent-card.json",
    "agentCardWellKnown": "https://aig.websdocs.com/ai/kestrel-institute/.well-known/agent-card.json",
    "services": "https://aig.websdocs.com/ai/kestrel-institute/services",
    "offers": "https://aig.websdocs.com/ai/kestrel-institute/offers",
    "ask": "https://aig.websdocs.com/ai/kestrel-institute/ask",
    "sampleQuestions": "https://aig.websdocs.com/ai/kestrel-institute/sample-questions",
    "robots": "https://aig.websdocs.com/ai/kestrel-institute/robots.txt",
    "schema": "https://aig.websdocs.com/ai/kestrel-institute/schema.jsonld"
  },
  "liveCapabilities": {
    "ask": false,
    "a2aMessaging": false,
    "ucp": false,
    "mcp": false,
    "checkout": false
  },
  "publicKnowledgeOnly": true,
  "privateDataAccess": false,
  "updatedAt": "2026-08-26T18:05:59.765Z",
  "schema": "websdocs-asg-directory-company-profile",
  "version": "public-1.0",
  "canonicalDirectoryUrl": "https://asg.websdocs.com/directory/business/kestrel-institute"
}