Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

io.github.gabrielmahia/bima-mcp

PYPI · BIMA-MCP

Kenya insurance MCP: sample products, NHIF-era coverage figures, illustrative crop risk. Demo data.

Available components

−4 this week 90 Trust /100

Last scanned (9 hours ago)

Scores higher than 93% of PyPI servers

Category Finance and Payments

Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security100
  • No malware found by supply-chain analysis.Pass
  • No known CVEs affecting this package version or its production dependencies.Pass
  • Runs setuptools.build_meta at install time, a recognised build step with no custom scripting around it. View diagnostics → Pass
  • 1 of 15 dependencies flagged as unhealthy. View diagnostics → Partial
Provenance & Transparency100
  • Source repository is publicly reachable at the declared URL. View diagnostics → Pass
  • Cryptographically verified build provenance (signed, bound to gabrielmahia/bima-mcp). View diagnostics → Pass
  • Clear OSI-approved license (MIT).Pass
  • Actively maintained (last published 2 days ago).Pass
  • Publishes a security disclosure policy (SECURITY.md).Pass
Schema Quality & AI Usability67
  • AI-judged instruction clarity (good).Pass
  • Context-footprint check failed: tool/resource definitions use about 1075 tokens (~179/item across 6 items; 6 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management73
  • Stability observed for 22 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage100
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 100% of tool parameters carry a description.Pass
  • Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 6 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 7 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a current MCP spec version (2026-07-28).Pass
Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 5 Nov 26 +15
    • Malware scan: unverified → pass ▲ security
  • 4 Nov 26 −19
    • Malware scan: pass → unverified ▼ security
    • Stability: pass → 0.70 functional
  • 3 Nov 26 +15
    • Malware scan: unverified → pass ▲ security
  • 2 Nov 26 0
    • Malware scan: unverified → pass ▲ security
    • Package version: 0.1.9 → 0.1.10 functional
  • 1 Nov 26 −14
    • Malware scan: pass → unverified ▼ security
    • Security disclosure: unverified → pass ▲ functional
  • 31 Oct 26 −1
    • Security disclosure: pass → unverified ▼ functional
  • 29 Oct 26 0
    • Stability: 0.97 → pass security
  • 28 Oct 26 0
    • Stability: pass → 0.97 functional
Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 5 Nov 2026 · Analysed pypi/bima-mcp@0.1.10

Provenance Verified

A signed build attestation was found and verified, binding this exact artifact to the source repository it claims to come from.

Result Verified
Ecosystem pypi
Reason Verified
Discovered via Registry attestation endpoint
Source repo gabrielmahia/bima-mcp
Certificate issuer https://token.actions.githubusercontent.com
Certificate SAN https://github.com/gabrielmahia/bima-mcp/.github/workflows/publish.yml@refs/tags/v0.1.10
Rekor log index 3641739175
Predicate type PyPI publish attestation https://docs.pypi.org/attestations/publish/v1
Subject digest sha256:ba45673d4d71c5883775829a694099799a77dd5b16bfdae265748cd23d14a5b2

Background: How many MCP packages publish verified provenance →

Install scripts 1 script
Hook Tier Command
build_backend allowlisted setuptools.build_meta

Background: Why install scripts are a supply-chain risk →

Dependencies 15 packages
Packages resolved 15
Stale 1
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 6 exposed · ~984 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
community_pool_calculator ~155

Model a community insurance pool: monthly and annual pool size, and how many claims a coverage goal could support, from group size and monthly contribution. Use when a chama or group wants to self-insure. coverage_goal is only echoed back for context. A simple DEMO calculation with no claims-risk modelling and no regulatory approval: pooling risk is regulated insurance business in Kenya, so speak to the Insurance Regulatory Authority. Returns the pool economics and notes. Read-only.

NameTypeReqDescription
coverage_goalstring–Coverage goal: hospitalization, funeral, crop_loss, education
group_sizeintegeryesNumber of chama members (5–200)
monthly_contribution_kesintegeryesMonthly contribution per member in KES

Structured output declared, but exposes no named fields.

No examples provided.

compare_microinsurance ~142

List sample microinsurance products affordable within a monthly budget for a target group (farmers, boda riders, traders and others). Use when someone asks which cover fits their budget. target_group filters by matching text and max_monthly_budget_kes by price; no match returns an empty list with the priority risks. Returns the target group, budget, the affordable products and priority risks. SYNTHETIC products for illustration: verify at ira.go.ke. Read-only.

NameTypeReqDescription
max_monthly_budget_kesinteger–Maximum monthly premium budget in KES
target_groupstring–Target group: informal_worker, farmer, student, elderly, refugee

Structured output declared, but exposes no named fields.

No examples provided.

kenya_insurance_products ~108

Browse sample insurance products in Kenya by product type, with provider, cover and indicative price. Use when someone asks what kinds of insurance exist. product_type filters by matching text; no match returns an empty list. Returns status, the products, the count and a note. SYNTHETIC data labelled DEMO: verify at ira.go.ke before advising anyone. Read-only.

NameTypeReqDescription
product_typestring–Filter by type: health, life, crop, device, or 'all'

Structured output declared, but exposes no named fields.

No examples provided.

nhif_coverage_query ~197

DEPRECATED NAME and OUTDATED FIGURES: NHIF was replaced by SHA and SHIF in October 2024. Use when a client still asks about hospital rebates by facility level; it returns illustrative per-day NHIF-era benefit amounts by level (level_2 to level_6) and procedure type, which do NOT describe SHA's current benefit packages. An unrecognised level is treated as level_4 and tier_applied says so. Returns the tier, procedure, the illustrative benefit or 'Not covered at this tier', coverage notes and a source label saying the figures are synthetic and NHIF-era. Check sha.go.ke for real coverage. Read-only.

NameTypeReqDescription
procedure_typestring–Procedure type: inpatient, outpatient, maternity, renal, cancer, mental_health
tierstring–Hospital tier: level_2, level_3, level_4, level_5, level_6

Structured output declared, but exposes no named fields.

No examples provided.

parametric_crop_risk ~213

Estimate drought risk and an illustrative parametric insurance premium and payout for a crop in a county, from a small county drought-frequency table and a crop multiplier. Use when exploring index insurance for farmers. A county or crop not in the table gets a default (30% drought frequency, multiplier 1.0) and county_in_table and crop_in_table say so. The table is hand-written and not verified against NDMA data. Returns a risk score and category, the drought frequency, a premium, a payout trigger and expected payout. DEMO only. Read-only.

NameTypeReqDescription
acreagenumberyesFarm size in acres
countystringyesKenya county name (e.g., Nakuru, Turkana, Machakos)
cropstringyesCrop type: maize, beans, potatoes, wheat, sorghum, millet, cassava, tea, coffee
seasonstring–Farming season: long_rains (Mar-May) or short_rains (Oct-Dec)

Structured output declared, but exposes no named fields.

No examples provided.

premium_estimate ~169

Estimate a monthly and annual insurance premium for a type of cover from age, monthly income, county, acreage and crop, with an affordability ratio against income. Use when someone asks what cover might cost. A simple DEMO formula on SYNTHETIC rates: real premiums come from insurers' quotes. Returns the estimated monthly and annual premium, the affordability ratio and notes. Read-only.

NameTypeReqDescription
acreagenumber–Farm acreage (crop insurance only)
ageintegeryesAge in years (18–65)
countystring–Kenya county of residence
cropstring–Crop type (crop insurance only)
insurance_typestringyesType: health, life, crop, device
monthly_income_kesintegeryesMonthly income in KES

Structured output declared, but exposes no named fields.

No examples provided.

Install

How do I install the io.github.gabrielmahia/bima-mcp server?

io.github.gabrielmahia/bima-mcp runs locally as a PyPI package, launched with uvx bima-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

pypi · bima-mcp

# add to Claude Code
claude mcp add gabrielmahia-bima-mcp -- uvx bima-mcp
Common questions

What is the io.github.gabrielmahia/bima-mcp server?

io.github.gabrielmahia/bima-mcp is listed in the public MCP registry as io.github.gabrielmahia/bima-mcp. Kenya insurance MCP: sample products, NHIF-era coverage figures, illustrative crop risk. Demo data. This page covers its PyPI package (bima-mcp).

Is the io.github.gabrielmahia/bima-mcp server safe to use?

io.github.gabrielmahia/bima-mcp scores 90 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 5 November 2026. Its build provenance is signed and verified. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the io.github.gabrielmahia/bima-mcp server expose?

io.github.gabrielmahia/bima-mcp exposes 6 tools: kenya_insurance_products, nhif_coverage_query, premium_estimate, parametric_crop_risk, compare_microinsurance, community_pool_calculator. Their descriptions and schemas cost roughly 984 tokens of context every time the server is loaded.

Is the io.github.gabrielmahia/bima-mcp server still maintained?

io.github.gabrielmahia/bima-mcp is still listed as active in the MCP registry. We last reached this channel on 5 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

What licence is the io.github.gabrielmahia/bima-mcp server under?

io.github.gabrielmahia/bima-mcp declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.