# Eiffel Community — WebsDocs ASG Directory Profile This is a public business listing published by the WebsDocs ASG Directory. It provides machine-readable public information and static answers. It is not a live seller AI. Canonical Directory profile: https://directory.websdocs.com/business/eiffel-community Canonical Directory JSON: https://directory.websdocs.com/business/eiffel-community.json Machine-readable public profile: https://aig.websdocs.com/ai/eiffel-community/profile Company profile JSON: https://aig.websdocs.com/ai/eiffel-community/data/aig-company-profile.json Static Agent Card: https://aig.websdocs.com/ai/eiffel-community/.well-known/agent-card.json Public discovery endpoints: - Profile: https://aig.websdocs.com/ai/eiffel-community/profile - Company JSON: https://aig.websdocs.com/ai/eiffel-community/data/aig-company-profile.json - Services: https://aig.websdocs.com/ai/eiffel-community/services - Offers: https://aig.websdocs.com/ai/eiffel-community/offers - Schema: https://aig.websdocs.com/ai/eiffel-community/schema.jsonld - Agent Card: https://aig.websdocs.com/ai/eiffel-community/.well-known/agent-card.json Business summary: Eiffel Community welcome documentation resources contribute blogs download Sign in Try Eiffel online io.put_string_32 ("[ Hello! ]") Unicode output in console feature -- Access ... invariant all_items_valid: ∀ x: items ¦ x.is_valid at_least_one_marked: ∃ x: items ¦ x.is_marked end Assertions: class invariants with symbolic notation values := > -- Sum of (index * values [index]). Status and boundaries: - Directory public profile - Customer-owned domain required: not applicable - 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 a live AI Sales Gateway is active.