Endpoints: 28,729MCP servers: 18,413Payout addresses: 2,071Paid calls: 1,537Letters: 14Defects: 1,322counted 1 min ago
teppi

Server definition

Hash
sha256:bdcc7e9ccc7f2fd8f5bccfeead40fd38ce37e925cc7c4c96bc21c989bdc16755
What it is
What a remote MCP server returned when asked what it offers: 26 tools

The blob, as servednamed by its sha256

{ "instructions": "BinaSmart (bina.et) is Ethiopia's all-in-one digital platform. Tools: fixed-price ride-hailing in Addis Ababa only (quote_ride → request_ride → get_ride_status / cancel_ride), a directory of buildings, hotels, hospitals and shops (search_places, get_hotel_rooms, get_hospital_departments), hospitals, clinics, dentists, labs and doctors across Addis with their bina.et/health pages (search_health; not medical advice, emergencies 907), homes for sale and rent (search_properties), cars for sale (search_cars), hotels and guest houses (search_hotels), upcoming events (list_events), open Ethiopian tender notices with deadlines (list_tenders, list_tender_categories, get_tender), Amharic news (list_news, get_news_article), 24 bilingual Digital Ethiopia guides (get_ethiopia_guide), BinaPool shared commute (list_pool_corridors, find_pool_groups) and a knowledge base about every BinaSmart service and practical Addis Ababa life (search_knowledge — call it first for any question about BinaSmart, Ethiopian paperwork or getting around Addis). Before request_ride ALWAYS confirm pickup, drop-off, tier, fare and the rider's Ethiopian phone with the user. Never invent fares or official portal names — quote_ride, the pool board and the guides hold them. Cite source_url in answers. Site guide: https://bina.et/llms.txt", "tools": [ { "description": "Cancels a BinaSmart ride that has not started yet. Confirm with the user first. Needs the ride id and the rider phone used to book.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "ride_id": { "maxLength": 40, "minLength": 5, "type": "string" }, "rider_phone": { "maxLength": 20, "minLength": 9, "type": "string" } }, "required": [ "ride_id", "rider_phone" ], "type": "object" }, "name": "cancel_ride", "outputSchema": null }, { "description": "Cars currently filling within about 2.5 km of a point in Addis Ababa: destination, seats left, seat price, women-only flag, and a share url (https://bina.et/pool/<id>) the rider can open to join. Driver-opened cars at stations are listed first. Requires lat/lng.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "lat": { "description": "Latitude", "maximum": 9.5, "minimum": 8.5, "type": "number" }, "lng": { "description": "Longitude", "maximum": 39.2, "minimum": 38.4, "type": "number" } }, "required": [ "lat", "lng" ], "type": "object" }, "name": "find_pool_groups", "outputSchema": null }, { "description": "A company listed on BinaSmart: what it does, its address and location when we hold them, and every vacancy it has posted. By employer slug from list_jobs or get_job.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "slug": { "description": "Employer slug, e.g. from list_jobs employer_url", "maxLength": 120, "minLength": 1, "type": "string" } }, "required": [ "slug" ], "type": "object" }, "name": "get_employer", "outputSchema": null }, { "description": "BinaSmart's bilingual (Amharic + English) step-by-step guides to Ethiopian government and banking services: Fayda ID, telebirr, CBE Birr, e-Passport, eVisa, TIN, business licence, VAT/TOT, customs, driving licence, car import, Yellow Card, bank account, birth/marriage certificate, utility bills, Labor ID and LMIS registration and the COC occupational competency certificate (Overseas Employment Proclamation 1389/2025), rental agreements, tenant screening. Call with no slug to list guides; call with a slug for the full text. The guides hold the correct official names and links — prefer them over guessing.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "slug": { "description": "Guide slug from the list, e.g. tin-registration-ethiopia", "type": "string" } }, "type": "object" }, "name": "get_ethiopia_guide", "outputSchema": null }, { "description": "Departments of a hospital listed on BinaSmart with consultation fee (ETB), doctors, hours, floor/room and appointment slots left for a date. Use the slug from search_places (is_hospital = true).", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "date": { "description": "YYYY-MM-DD (default today)", "pattern": "^\\d{4}-\\d{2}-\\d{2}$", "type": "string" }, "slug": { "description": "Hospital slug from search_places", "maxLength": 60, "minLength": 1, "type": "string" } }, "required": [ "slug" ], "type": "object" }, "name": "get_hospital_departments", "outputSchema": null }, { "description": "Room types, nightly prices (ETB), capacity and amenities for a hotel listed on BinaSmart. Use the slug from search_places (is_hotel = true).", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "slug": { "description": "Hotel slug from search_places", "maxLength": 60, "minLength": 1, "type": "string" } }, "required": [ "slug" ], "type": "object" }, "name": "get_hotel_rooms", "outputSchema": null }, { "description": "The full advert for a single vacancy on BinaSmart, by its slug from list_jobs: the duties and requirements as the employer wrote them, how to apply, and the company behind it with its address when we hold one.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "slug": { "description": "Job slug from list_jobs", "maxLength": 140, "minLength": 1, "type": "string" } }, "required": [ "slug" ], "type": "object" }, "name": "get_job", "outputSchema": null }, { "description": "The full text of a single BinaSmart news article by its slug from list_news.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "slug": { "description": "Article slug from list_news", "maxLength": 120, "minLength": 1, "type": "string" } }, "required": [ "slug" ], "type": "object" }, "name": "get_news_article", "outputSchema": null }, { "description": "Current status of a BinaSmart ride (dispatching, assigned, arriving, arrived, ontrip, completed, cancelled) with driver name, vehicle and plate once assigned. Needs the ride id and the rider phone used to book.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "ride_id": { "maxLength": 40, "minLength": 5, "type": "string" }, "rider_phone": { "maxLength": 20, "minLength": 9, "type": "string" } }, "required": [ "ride_id", "rider_phone" ], "type": "object" }, "name": "get_ride_status", "outputSchema": null }, { "description": "The full text of a single tender notice on BinaSmart, by its slug from list_tenders: requirements, bid bond, where and when to submit, and the link to the original notice.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "slug": { "description": "Tender slug from list_tenders", "maxLength": 120, "minLength": 1, "type": "string" } }, "required": [ "slug" ], "type": "object" }, "name": "get_tender", "outputSchema": null }, { "description": "Upcoming films, concerts, theatre and events on BinaSmart in Addis Ababa with venue, hall, start time, prices per tier and seats left. Seats are chosen and paid at the url returned (Chapa or at the counter); the ticket is a QR code.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "properties": {}, "type": "object" }, "name": "list_events", "outputSchema": null }, { "description": "Licensed Amharic (Ethiopian) films that can be watched online on BinaSmart Watch (bina.et/watch): title in Amharic and English, year, genre, whether it is free or rented for 48 hours (ETB), and the watch url. Free titles are public YouTube releases played through the YouTube player; rentals need Chapa. Optional search by title or genre.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "limit": { "description": "Max films, default 20", "maximum": 50, "minimum": 1, "type": "integer" }, "query": { "description": "Title (Amharic or English) or genre to filter by; omit for the latest films", "maxLength": 60, "type": "string" } }, "type": "object" }, "name": "list_films", "outputSchema": null }, { "description": "The fields of work with open vacancies on BinaSmart right now and how many are in each, plus the cities hiring most — useful before calling list_jobs with a field or city filter.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "properties": {}, "type": "object" }, "name": "list_job_fields", "outputSchema": null }, { "description": "Open job vacancies in Ethiopia listed on BinaSmart (bina.et/jobs): the job title, the company posting it, the city, the deadline and days left, salary and requirements where the advert states them. Thousands of vacancies from Ethiopian job boards and employers, refreshed every morning. Search by keyword in English or Amharic, and filter by field of work (banking, accounting, engineering, it, health, education, sales, ngo, logistics, admin, hospitality, construction, agriculture, legal, security, media) or by city. Open vacancies only unless include_closed is set.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "city": { "description": "City, e.g. Addis Ababa, Adama, Hawassa, Bahir Dar, Dire Dawa", "maxLength": 40, "type": "string" }, "field": { "description": "Field of work: banking, accounting, engineering, it, health, education, sales, ngo, logistics, admin, hospitality, construction, agriculture, legal, security, media. Use list_job_fields to see what is open now.", "maxLength": 30, "type": "string" }, "include_closed": { "description": "Include vacancies whose deadline has passed (default false)", "type": "boolean" }, "limit": { "description": "Max vacancies, default 20", "maximum": 50, "minimum": 1, "type": "integer" }, "query": { "description": "Keyword in the job title, summary or company name — English or Amharic. Omit for the vacancies closing soonest.", "maxLength": 80, "type": "string" } }, "type": "object" }, "name": "list_jobs", "outputSchema": null }, { "description": "Recent articles from BinaSmart news (bina.et/news), mostly in Amharic: technology, business, law, real estate, construction and employment in Ethiopia. Returns the headline, a short excerpt and the url — call get_news_article for the full text.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "category": { "description": "Category filter, matched loosely: ቴክኖሎጂ technology, ንግድ business, ሕግ law, ሪል እስቴት real estate, ግንባታ construction, ቅጥር employment, መመሪያ guides.", "maxLength": 40, "type": "string" }, "limit": { "description": "Max articles, default 15", "maximum": 50, "minimum": 1, "type": "integer" }, "query": { "description": "Keyword in the headline or excerpt, English or Amharic. Omit for the newest articles.", "maxLength": 80, "type": "string" } }, "type": "object" }, "name": "list_news", "outputSchema": null }, { "description": "BinaPool (ጋራ ጉዞ) is BinaSmart's shared commute in Addis Ababa: up to four riders share one Comfort car and pay per seat. Lists the corridors open right now (Megenagna → Bole, CMC → Bole, Megenagna → Kazanchis, Piassa → Kazanchis, Mexico → Kazanchis; inbound until 13:00 Addis time, outbound after) with their stops, the live seat-price ladder (1–4 riders) and cars currently filling. Riders join at https://bina.et/ride?pool=1.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "lat": { "description": "Rider latitude, to sort by distance", "maximum": 9.5, "minimum": 8.5, "type": "number" }, "lng": { "description": "Rider longitude", "maximum": 39.2, "minimum": 38.4, "type": "number" } }, "type": "object" }, "name": "list_pool_corridors", "outputSchema": null }, { "description": "The categories of tender open on BinaSmart right now and how many are in each — useful before calling list_tenders with a category filter.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "properties": {}, "type": "object" }, "name": "list_tender_categories", "outputSchema": null }, { "description": "Public tender and procurement notices in Ethiopia listed on BinaSmart (bina.et/tenders): the issuing organisation, what is wanted, the deadline and days left, budget when stated, and a link to the original notice. Banks, government bodies, NGOs and World Bank–financed projects. Open tenders only unless include_closed is set. Search by keyword (English or Amharic) and filter by category such as Supply, Construction, Consultancy, Services, Transport.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "category": { "description": "Category filter, matched loosely: Supply / አቅርቦት, Construction / ግንባታ, Consultancy / ማማከር, Services / አገልግሎት, Transport / ትራንስፖርት, Disposal auction / ሽያጭ ጨረታ. Use list_tender_categories to see what is open now.", "maxLength": 40, "type": "string" }, "include_closed": { "description": "Include tenders whose deadline has passed (default false)", "type": "boolean" }, "limit": { "description": "Max tenders, default 20", "maximum": 50, "minimum": 1, "type": "integer" }, "newest": { "description": "Newest published first, for \"new\", \"latest\", \"today\" or \"this week\" (default: closing soonest first). Each tender has published_at: never call one new unless that date says so.", "type": "boolean" }, "query": { "description": "Keyword in the title, organisation or summary — English or Amharic. Omit for the tenders closing soonest.", "maxLength": 80, "type": "string" } }, "type": "object" }, "name": "list_tenders", "outputSchema": null }, { "description": "Fixed upfront price for a ride inside Addis Ababa, Ethiopia — no surge, cash or telebirr/Chapa. Returns distance, ETA and the fare for every vehicle tier (moto, bajaj, economy, comfort, XL). Call this before request_ride and read the fare to the user.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "dropoff": { "description": "Drop-off: a place name in Addis Ababa (e.g. \"Edna Mall\", \"Bole Airport\", \"Piassa\") or \"lat,lng\" like \"9.0108,38.7578\".", "maxLength": 120, "minLength": 2, "type": "string" }, "pickup": { "description": "Pickup: a place name in Addis Ababa (e.g. \"Edna Mall\", \"Bole Airport\", \"Piassa\") or \"lat,lng\" like \"9.0108,38.7578\".", "maxLength": 120, "minLength": 2, "type": "string" } }, "required": [ "pickup", "dropoff" ], "type": "object" }, "name": "quote_ride", "outputSchema": null }, { "description": "Books a ride in Addis Ababa at the fixed fare from quote_ride. ALWAYS confirm pickup, drop-off, tier, fare and the rider's Ethiopian phone number with the user before calling. A dispatcher assigns a driver; the rider is contacted on the phone given. Returns the ride id and a live tracking link. To book for someone else (e.g. a relative in Addis while you are abroad), pass passenger_name and passenger_phone; rider_name/rider_phone are then the booker and may be a foreign number.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "dropoff": { "description": "Drop-off: a place name in Addis Ababa (e.g. \"Edna Mall\", \"Bole Airport\", \"Piassa\") or \"lat,lng\" like \"9.0108,38.7578\". Prefer the dropoff_coords from quote_ride.", "maxLength": 120, "minLength": 2, "type": "string" }, "passenger_name": { "description": "Book for someone else: the passenger's name (the driver calls the passenger)", "maxLength": 60, "minLength": 1, "type": "string" }, "passenger_phone": { "description": "Book for someone else: the passenger's Ethiopian mobile (09… or +2519…)", "maxLength": 20, "minLength": 9, "type": "string" }, "payment_method": { "description": "cash (default) or chapa (telebirr/card link)", "enum": [ "cash", "chapa" ], "type": "string" }, "pickup": { "description": "Pickup: a place name in Addis Ababa (e.g. \"Edna Mall\", \"Bole Airport\", \"Piassa\") or \"lat,lng\" like \"9.0108,38.7578\". Prefer the pickup_coords from quote_ride.", "maxLength": 120, "minLength": 2, "type": "string" }, "rider_name": { "description": "Rider's name (or the booker's name when booking for someone else)", "maxLength": 60, "minLength": 1, "type": "string" }, "rider_phone": { "description": "Ethiopian mobile: 09XXXXXXXX or +2519XXXXXXXX (any number if booking for someone else)", "maxLength": 20, "minLength": 9, "type": "string" }, "tier": { "description": "Vehicle tier from quote_ride", "enum": [ "moto", "bajaj", "economy", "comfort", "xl" ], "type": "string" } }, "required": [ "tier", "pickup", "dropoff", "rider_name", "rider_phone" ], "type": "object" }, "name": "request_ride", "outputSchema": null }, { "description": "Live new and used cars on bina.et/cars from Addis Ababa dealers' and car markets' own websites, checked every week: make, model, year, price, mileage, fuel, gearbox, the dealer with its own phone and WhatsApp, and a bina.et link with every photo. Use for \"used Toyota\", \"SUV under 10 million birr\", \"electric car price\", \"BYD\". Not for taxi rides.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "body": { "enum": [ "SUV", "Sedan", "Hatchback", "Pickup", "Van / Bus", "Truck", "EV" ], "type": "string" }, "cheapest_first": { "type": "boolean" }, "condition": { "enum": [ "New", "Used" ], "type": "string" }, "fuel": { "enum": [ "Petrol", "Diesel", "Hybrid", "Electric" ], "type": "string" }, "limit": { "description": "Max results, default 5", "maximum": 8, "minimum": 1, "type": "integer" }, "make": { "description": "Brand, e.g. Toyota, Suzuki, BYD, Hyundai, Ford", "maxLength": 30, "type": "string" }, "max_price": { "description": "Highest price in birr", "exclusiveMinimum": 0, "type": "number" }, "min_year": { "maximum": 2100, "minimum": 1990, "type": "integer" }, "model": { "maxLength": 40, "type": "string" } }, "type": "object" }, "name": "search_cars", "outputSchema": null }, { "description": "Find hospitals, clinics, dentists, laboratories, health centres and doctors in Addis Ababa from BinaSmart Health (bina.et/health, 250+ places from the city map plus services and doctors the facilities confirmed; doctors' licences are checked by the BinaSmart team). Filter by kind, sub-city, a place to be near (nearest first) and a specialty (children, gynecology, eye, heart, bone, fertility, skin, mental health, blood test). Returns each place's bina.et/health page, landline, sub-city, distance, and its services and doctors when known. Not medical advice; emergencies: 907.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "area": { "description": "A sub-city: Bole, Kirkos, Arada, Yeka, Lideta, Gulele, Addis Ketema, Kolfe Keranio, Nifas Silk-Lafto, Akaki Kality, Lemi Kura (English or Amharic)", "maxLength": 40, "type": "string" }, "kind": { "description": "lab = laboratory or diagnostic centre; doctor = individual doctors' profiles", "enum": [ "hospital", "clinic", "dentist", "lab", "doctor" ], "type": "string" }, "limit": { "description": "Max results, default 6", "maximum": 10, "minimum": 1, "type": "integer" }, "near": { "description": "A neighbourhood or landmark to be near, e.g. Piassa, CMC, Megenagna, Edna Mall. Nearest places first.", "maxLength": 80, "type": "string" }, "specialty": { "description": "A specialty, service or part of a name, e.g. children, gynecology, eye, blood test, Hayat", "maxLength": 60, "type": "string" } }, "type": "object" }, "name": "search_health", "outputSchema": null }, { "description": "Hotels, guest houses, pensions, hostels and furnished apartments in Addis Ababa from BinaSmart's directory (1,000+ places from the city map): name, type, sub-city, stars, the hotel's own office phone and website, and its bina.et page. It has NO prices or free rooms - tell the guest to call the hotel.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "area": { "description": "Sub-city or area in English or Amharic, e.g. Bole, Kirkos, Arada, ቦሌ", "maxLength": 40, "type": "string" }, "kind": { "enum": [ "hotel", "guest_house", "hostel", "motel", "apartment" ], "type": "string" }, "limit": { "description": "Max results, default 6", "maximum": 10, "minimum": 1, "type": "integer" }, "min_stars": { "maximum": 5, "minimum": 1, "type": "integer" }, "name": { "description": "Part of the hotel name", "maxLength": 60, "type": "string" } }, "type": "object" }, "name": "search_hotels", "outputSchema": null }, { "description": "Semantic search over BinaSmart's knowledge base: every service (BinaRide, BinaPool shared commute, Bina Airport, hotels, cinema, BinaWatch, insurance, flights, property, cars, tenders), the product rules (fixed fares, what is demo, payments), the 24 Digital Ethiopia guides, and practical Addis Ababa knowledge (neighbourhoods, transport hubs, Ethiopian time and calendar, emergency numbers). Returns the best-matching passages with a source url to cite. Use it before answering any question about BinaSmart, Ethiopia paperwork or getting around Addis; never invent a fare or an official portal name.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "k": { "description": "How many passages (default 4)", "maximum": 8, "minimum": 1, "type": "integer" }, "query": { "description": "Question or keywords, English or Amharic", "maxLength": 300, "minLength": 2, "type": "string" } }, "required": [ "query" ], "type": "object" }, "name": "search_knowledge", "outputSchema": null }, { "description": "Find buildings, hotels, hospitals and shops in Addis Ababa listed on BinaSmart (bina.et): cafés, restaurants, pharmacies, banks, gyms, salons, clinics, offices. Returns names (English + Amharic), building and unit, the phone only for shops that have claimed their listing, coordinates when known (usable as pickup/dropoff for quote_ride), and the bina.et page. Hotels and hospitals are flagged — use get_hotel_rooms / get_hospital_departments for details. For hospitals, clinics, dentists, labs and doctors anywhere in Addis Ababa, use search_health. For food (restaurants, cafes, a dish, \"lunch near Megenagna\") with no listed shop it returns map_place results from the city map: name, area, distance, coords and ride link, with no phone, hours, prices or menu (see map_note).", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "category": { "description": "Shop category filter: cafe | restaurant | pharmacy | retail | service | gym | salon | clinic | bank | office | other", "type": "string" }, "limit": { "description": "Max results per kind (default 8)", "maximum": 25, "minimum": 1, "type": "integer" }, "query": { "description": "Name or part of a name, English or Amharic", "maxLength": 80, "minLength": 1, "type": "string" } }, "required": [ "query" ], "type": "object" }, "name": "search_places", "outputSchema": null }, { "description": "Live listings on bina.et/property from Addis Ababa real-estate companies' own websites, checked every week: title, price as the company wrote it (some per m² or in USD), bedrooms, size, area, the listing company with its own phone and WhatsApp, the date the company last updated it, and a bina.et link with every photo. Use for \"apartment for rent in Bole\", \"3 bedroom for sale\", \"ቤት ኪራይ\". Never invent a listing or a price.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "area": { "description": "Neighbourhood in English or Amharic, e.g. Bole, Sarbet, CMC, Ayat, ሳርቤት", "maxLength": 40, "type": "string" }, "beds": { "description": "At least this many bedrooms (0 = studio)", "maximum": 10, "minimum": 0, "type": "integer" }, "limit": { "description": "Max results, default 5", "maximum": 8, "minimum": 1, "type": "integer" }, "listing": { "description": "Buy (sale) or rent", "enum": [ "sale", "rent" ], "type": "string" }, "max_price": { "description": "Highest price in birr (total for sale, per month for rent)", "exclusiveMinimum": 0, "type": "number" }, "query": { "description": "Other words: a building, project or company name", "maxLength": 60, "type": "string" }, "type": { "enum": [ "Apartment", "Condominium", "House / Villa", "Land", "Commercial", "Building" ], "type": "string" } }, "type": "object" }, "name": "search_properties", "outputSchema": null } ] }
Verify it yourselfcurl -s https://api.teppi.xyz/v1/evidence/sha256:bdcc7e9ccc7f2fd8f5bccfeead40fd38ce37e925cc7c4c96bc21c989bdc16755 | sha256sum