# Kestrel Institute — WebsDocs ASG Directory Profile

This is a static public business listing published by the WebsDocs ASG Directory.
It is AI-readable discovery data, not a live seller AI.

Canonical Directory profile:
https://asg.websdocs.com/directory/business/kestrel-institute

Canonical Directory JSON:
https://asg.websdocs.com/directory/business/kestrel-institute.json

Machine-readable public profile:
https://aig.websdocs.com/ai/kestrel-institute/profile

Company profile JSON:
https://aig.websdocs.com/ai/kestrel-institute/data/aig-company-profile.json

Static Agent Card:
https://aig.websdocs.com/ai/kestrel-institute/.well-known/agent-card.json

Public discovery endpoints:
- Profile: https://aig.websdocs.com/ai/kestrel-institute/profile
- Company JSON: https://aig.websdocs.com/ai/kestrel-institute/data/aig-company-profile.json
- Services: https://aig.websdocs.com/ai/kestrel-institute/services
- Offers: https://aig.websdocs.com/ai/kestrel-institute/offers
- Schema: https://aig.websdocs.com/ai/kestrel-institute/schema.jsonld
- Agent Card: https://aig.websdocs.com/ai/kestrel-institute/.well-known/agent-card.json

Business summary:
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.

Status and boundaries:
- Directory-only public profile
- Active seller agent: false
- A2A messaging: unavailable
- Live reasoning or RAG: unavailable
- UCP and MCP: unavailable
- Checkout and payment execution: unavailable
- Private data access: unavailable

Use the canonical Directory profile for current public evidence. Do not infer that this business has subscribed to or activated a live AIG seller gateway.