henryknows-webmcp.netlify.app
henryknows-webmcp.netlify.app
live
Unverified (seed import)
Health & Education
11 tools
imperative implementation
AI assistant that answers F-1 and SEVIS regulatory questions for international student advisors — with citations to the primary sources.
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 4 · Act 7 · Transact 0 · Score: Not yet scored
Tool inspector
propose_case_update
act
imperative
Keep the shared page visibly current. Call once promptly after each clear substantive answer; never ask separate permission to record it or repeat it back. Patch structured dates/statuses in facts only, not again in reportedFacts. Unless the user says the I-20 will change, currentProgramEndDate also supplies the September 15 I-20 end date; do not ask for it twice. reportedFacts is only relevant context with no structured field. assumptions is only an actual tentative plan or working date, never generic missing/'not reported' items. If the user is asking which date is best, first help develop concrete options and tradeoffs instead of demanding a date. The two lists replace prior lists, so preserve still-relevant entries. Never invent consequential details. Ask exactly one focused follow-up per turn.
Page: /
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
expectedRevision |
integer | yes | The current case revision returned by get_preparation_case. |
inquiry |
string | no | — |
context |
string | no | Only relevant circumstances or goals that do not fit structured mapper fields. No raw attachments or unrelated agent memory. |
reportedFacts |
array | no | Cumulative concise facts relevant to the inquiry that have no structured scenario field. Do not repeat facts supplied in facts, prepend 'student reports,' or include assumptions/derived conclusions. |
assumptions |
array | no | Cumulative actual tentative plans or user-chosen working dates. Do not list unknown, absent, not-reported, or merely unverified fields; ask about a consequential unknown instead. |
category |
string | no | — |
facts |
object | no | — |
alternative |
object | no | — |
removeAlternative |
boolean | no | — |
Raw JSON schema
{
"type": "object",
"additionalProperties": false,
"required": [
"expectedRevision"
],
"properties": {
"expectedRevision": {
"type": "integer",
"minimum": 1,
"description": "The current case revision returned by get_preparation_case."
},
"inquiry": {
"type": "string",
"maxLength": 4000
},
"context": {
"type": "string",
"maxLength": 4000,
"description": "Only relevant circumstances or goals that do not fit structured mapper fields. No raw attachments or unrelated agent memory."
},
"reportedFacts": {
"type": "array",
"maxItems": 12,
"items": {
"type": "string",
"minLength": 1,
"maxLength": 240
},
"description": "Cumulative concise facts relevant to the inquiry that have no structured scenario field. Do not repeat facts supplied in facts, prepend 'student reports,' or include assumptions/derived conclusions."
},
"assumptions": {
"type": "array",
"maxItems": 12,
"items": {
"type": "string",
"minLength": 1,
"maxLength": 240
},
"description": "Cumulative actual tentative plans or user-chosen working dates. Do not list unknown, absent, not-reported, or merely unverified fields; ask about a consequential unknown instead."
},
"category": {
"type": "string",
"enum": [
"unspecified",
"F-1",
"J-1",
"M-1",
"general"
]
},
"facts": {
"type": "object",
"additionalProperties": false,
"properties": {
"startingPosition": {
"type": "string",
"enum": [
"unknown",
"current_ds_inside_us",
"prospective_outside_us",
"change_status_inside_us",
"readmitted_fixed_period",
"transfer_or_program_change"
],
"description": "Starting situation"
},
"admissionBasis": {
"type": "string",
"enum": [
"unknown",
"duration_of_status",
"fixed_period"
],
"description": "Admission basis"
},
"inUsOnEffectiveDate": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "In the U.S. on September 15, 2026"
},
"maintainingStatusOnEffectiveDate": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Maintaining status on September 15, 2026"
},
"programStartDate": {
"type": "string",
"maxLength": 10,
"description": "Program start date. YYYY-MM-DD or an empty string if unknown."
},
"currentProgramEndDate": {
"type": "string",
"maxLength": 10,
"description": "Current I-20 program end date. YYYY-MM-DD or an empty string if unknown."
},
"programEndOnEffectiveDate": {
"type": "string",
"maxLength": 10,
"description": "Only set this if the I-20 end date in effect on September 15, 2026 will differ from currentProgramEndDate; otherwise HenryKnows derives it. YYYY-MM-DD."
},
"optIntent": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Planning OPT"
},
"optStage": {
"type": "string",
"enum": [
"unknown",
"none",
"pre_completion",
"post_completion_not_filed",
"post_completion_pending",
"post_completion_approved",
"stem_not_filed",
"stem_pending",
"stem_approved"
],
"description": "OPT stage"
},
"optFilingDate": {
"type": "string",
"maxLength": 10,
"description": "OPT application filing date. YYYY-MM-DD or an empty string if unknown."
},
"dsoRecommendedOpt": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "DSO recommendation received"
},
"cptPlan": {
"type": "string",
"enum": [
"unknown",
"none",
"planned"
],
"description": "CPT during the program"
},
"travelPosture": {
"type": "string",
"enum": [
"unknown",
"none",
"planned",
"completed",
"automatic_visa_revalidation"
],
"description": "International travel"
},
"reentryDate": {
"type": "string",
"maxLength": 10,
"description": "Return date. YYYY-MM-DD or an empty string if unknown."
},
"reentryBasis": {
"type": "string",
"enum": [
"unknown",
"same_i20_balance",
"new_f1_admission",
"longer_program_i20",
"automatic_visa_revalidation"
],
"description": "Basis for return"
},
"optFiledBeforeDeparture": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "OPT filing before departure"
},
"pendingExtensionOnDeparture": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Extension pending at departure"
},
"educationLevel": {
"type": "string",
"enum": [
"unknown",
"undergraduate",
"graduate",
"other"
],
"description": "Education level"
},
"programType": {
"type": "string",
"enum": [
"unknown",
"college_or_university",
"english_language_training",
"public_high_school",
"private_high_school",
"other"
],
"description": "Program type"
},
"firstAcademicYearCompleted": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "First academic year completed"
},
"i94AdmitUntilDate": {
"type": "string",
"maxLength": 10,
"description": "Actual I-94 admit-until date. YYYY-MM-DD or an empty string if unknown."
},
"currentEadEndDate": {
"type": "string",
"maxLength": 10,
"description": "Current EAD end date. YYYY-MM-DD or an empty string if unknown."
},
"eadEndOnEffectiveDate": {
"type": "string",
"maxLength": 10,
"description": "EAD end date in place on September 15, 2026. YYYY-MM-DD or an empty string if unknown."
},
"schoolTransferPlan": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "School transfer planned"
},
"academicProgramChangePlan": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Program change planned"
},
"nextProgramLevelPlan": {
"type": "string",
"enum": [
"unknown",
"not_planning",
"higher",
"same_or_lower"
],
"description": "Later program"
},
"nextProgramStartDate": {
"type": "string",
"maxLength": 10,
"description": "Later program start date. YYYY-MM-DD or an empty string if unknown."
},
"nextProgramEndDate": {
"type": "string",
"maxLength": 10,
"description": "Later program end date. YYYY-MM-DD or an empty string if unknown."
},
"returnProgramStartDate": {
"type": "string",
"maxLength": 10,
"description": "Return I-20 program start date. YYYY-MM-DD or an empty string if unknown."
},
"returnProgramEndDate": {
"type": "string",
"maxLength": 10,
"description": "Return I-20 program end date. YYYY-MM-DD or an empty string if unknown."
},
"hasF2Dependents": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "F-2 dependents"
},
"earlyEndSituation": {
"type": "string",
"enum": [
"unknown",
"none",
"completed_early",
"authorized_withdrawal",
"status_violation"
],
"description": "Early program ending"
},
"earlyEndDate": {
"type": "string",
"maxLength": 10,
"description": "Early ending date. YYYY-MM-DD or an empty string if unknown."
},
"pendingEmploymentImmigrantPetition": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Employment immigrant petition pending"
}
}
},
"alternative": {
"type": "object",
"additionalProperties": false,
"required": [
"label",
"changes"
],
"properties": {
"label": {
"type": "string",
"minLength": 1,
"maxLength": 80
},
"changes": {
"type": "object",
"additionalProperties": false,
"properties": {
"startingPosition": {
"type": "string",
"enum": [
"unknown",
"current_ds_inside_us",
"prospective_outside_us",
"change_status_inside_us",
"readmitted_fixed_period",
"transfer_or_program_change"
],
"description": "Starting situation"
},
"admissionBasis": {
"type": "string",
"enum": [
"unknown",
"duration_of_status",
"fixed_period"
],
"description": "Admission basis"
},
"inUsOnEffectiveDate": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "In the U.S. on September 15, 2026"
},
"maintainingStatusOnEffectiveDate": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Maintaining status on September 15, 2026"
},
"programStartDate": {
"type": "string",
"maxLength": 10,
"description": "Program start date. YYYY-MM-DD or an empty string if unknown."
},
"currentProgramEndDate": {
"type": "string",
"maxLength": 10,
"description": "Current I-20 program end date. YYYY-MM-DD or an empty string if unknown."
},
"programEndOnEffectiveDate": {
"type": "string",
"maxLength": 10,
"description": "Only set this if the I-20 end date in effect on September 15, 2026 will differ from currentProgramEndDate; otherwise HenryKnows derives it. YYYY-MM-DD."
},
"optIntent": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Planning OPT"
},
"optStage": {
"type": "string",
"enum": [
"unknown",
"none",
"pre_completion",
"post_completion_not_filed",
"post_completion_pending",
"post_completion_approved",
"stem_not_filed",
"stem_pending",
"stem_approved"
],
"description": "OPT stage"
},
"optFilingDate": {
"type": "string",
"maxLength": 10,
"description": "OPT application filing date. YYYY-MM-DD or an empty string if unknown."
},
"dsoRecommendedOpt": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "DSO recommendation received"
},
"cptPlan": {
"type": "string",
"enum": [
"unknown",
"none",
"planned"
],
"description": "CPT during the program"
},
"travelPosture": {
"type": "string",
"enum": [
"unknown",
"none",
"planned",
"completed",
"automatic_visa_revalidation"
],
"description": "International travel"
},
"reentryDate": {
"type": "string",
"maxLength": 10,
"description": "Return date. YYYY-MM-DD or an empty string if unknown."
},
"reentryBasis": {
"type": "string",
"enum": [
"unknown",
"same_i20_balance",
"new_f1_admission",
"longer_program_i20",
"automatic_visa_revalidation"
],
"description": "Basis for return"
},
"optFiledBeforeDeparture": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "OPT filing before departure"
},
"pendingExtensionOnDeparture": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Extension pending at departure"
},
"educationLevel": {
"type": "string",
"enum": [
"unknown",
"undergraduate",
"graduate",
"other"
],
"description": "Education level"
},
"programType": {
"type": "string",
"enum": [
"unknown",
"college_or_university",
"english_language_training",
"public_high_school",
"private_high_school",
"other"
],
"description": "Program type"
},
"firstAcademicYearCompleted": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "First academic year completed"
},
"i94AdmitUntilDate": {
"type": "string",
"maxLength": 10,
"description": "Actual I-94 admit-until date. YYYY-MM-DD or an empty string if unknown."
},
"currentEadEndDate": {
"type": "string",
"maxLength": 10,
"description": "Current EAD end date. YYYY-MM-DD or an empty string if unknown."
},
"eadEndOnEffectiveDate": {
"type": "string",
"maxLength": 10,
"description": "EAD end date in place on September 15, 2026. YYYY-MM-DD or an empty string if unknown."
},
"schoolTransferPlan": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "School transfer planned"
},
"academicProgramChangePlan": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Program change planned"
},
"nextProgramLevelPlan": {
"type": "string",
"enum": [
"unknown",
"not_planning",
"higher",
"same_or_lower"
],
"description": "Later program"
},
"nextProgramStartDate": {
"type": "string",
"maxLength": 10,
"description": "Later program start date. YYYY-MM-DD or an empty string if unknown."
},
"nextProgramEndDate": {
"type": "string",
"maxLength": 10,
"description": "Later program end date. YYYY-MM-DD or an empty string if unknown."
},
"returnProgramStartDate": {
"type": "string",
"maxLength": 10,
"description": "Return I-20 program start date. YYYY-MM-DD or an empty string if unknown."
},
"returnProgramEndDate": {
"type": "string",
"maxLength": 10,
"description": "Return I-20 program end date. YYYY-MM-DD or an empty string if unknown."
},
"hasF2Dependents": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "F-2 dependents"
},
"earlyEndSituation": {
"type": "string",
"enum": [
"unknown",
"none",
"completed_early",
"authorized_withdrawal",
"status_violation"
],
"description": "Early program ending"
},
"earlyEndDate": {
"type": "string",
"maxLength": 10,
"description": "Early ending date. YYYY-MM-DD or an empty string if unknown."
},
"pendingEmploymentImmigrantPetition": {
"type": "string",
"enum": [
"unknown",
"yes",
"no"
],
"description": "Employment immigrant petition pending"
}
}
}
}
},
"removeAlternative": {
"type": "boolean"
}
}
}
Similar websites
pocketgull.app
pocketgull.app
Pocket Gull is a real-time clinical AI consult engine powered by Google Gemini. Features 10D multi-paradigm strategy, FHIR R4 export & 3D spatial anatomy.
live
Unverified
Health & Education
Transact tools
generate_medical_summary
translate_clinical_text
get_current_patient_data
navigate_to_body_part
inject_clinical_note
Inspect tools
webmcp-six-lac.vercel.app
webmcp-six-lac.vercel.app
AI Navigation Layer: Model Context Protocol (MCP) Semantic DOM integration for intelligent, safe, and observable web navigation.
live
Unverified
Health & Education
ver_certificados
ver_certificado_react
meus_cursos
abrir_curso_react
abrir_curso_nextjs
Inspect tools
ghqsandbox.net
ghqsandbox.net
Interactive math and physics tools an AI agent can drive directly through WebMCP.
live
Unverified
Health & Education
list_learning_tools
open_tool
list_expressions
add_expression
plot_point
Inspect tools
app.formative.com
app.formative.com
Formative classroom assessment and learning platform
live
Unverified
Health & Education
Transact tools
addFolder
addFormative
addFormativeItem
addOneRoster
addOrg
Inspect tools