rocketturtle.vercel.app
RocketTurtle
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 1 · Act 4 · Transact 0 · Score: Not yet scored
Tool inspector
get_verification_context
Use this tool to discover repository verification context, test suites, test scripts, linting commands, type-checking, build commands, and CI configurations before or after modifying code. Returns detected frameworks, test files, package verification scripts, CI workflows, configuration files, targeted companion test suites, and evidence-based verification steps. This tool inspects repository manifests and tree structure; it does not execute commands, run code, or claim change correctness.
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
repoUrl |
string | no | The public GitHub repository URL (e.g., https://github.com/owner/repo). |
owner |
string | no | The GitHub repository owner (optional if repoUrl is provided). |
repo |
string | no | The GitHub repository name (optional if repoUrl is provided). |
targetFiles |
array | no | Optional list of modified or target file paths to find specific companion test suites. |
files |
array | no | Optional alias for targetFiles. |
goal |
string | no | Optional target change or verification goal description. |
Raw JSON schema
{
"type": "object",
"properties": {
"repoUrl": {
"type": "string",
"maxLength": 250,
"description": "The public GitHub repository URL (e.g., https://github.com/owner/repo)."
},
"owner": {
"type": "string",
"maxLength": 100,
"description": "The GitHub repository owner (optional if repoUrl is provided)."
},
"repo": {
"type": "string",
"maxLength": 100,
"description": "The GitHub repository name (optional if repoUrl is provided)."
},
"targetFiles": {
"type": "array",
"maxItems": 50,
"items": {
"type": "string",
"maxLength": 260
},
"description": "Optional list of modified or target file paths to find specific companion test suites."
},
"files": {
"type": "array",
"maxItems": 50,
"items": {
"type": "string",
"maxLength": 260
},
"description": "Optional alias for targetFiles."
},
"goal": {
"type": "string",
"maxLength": 500,
"description": "Optional target change or verification goal description."
}
}
}
Similar websites
morphus.myles4miles.chatgpt.site
Morphus is an AI-native workspace for designing worlds and generating playable game experiences.
damnpdfs.com
Install the DamnPDFs Codex plugin, pair a browser workspace and use PDF, image and file tools from your coding agent. Includes setup and privacy limits.
insignifi4nt.github.io
broCAD/M: local-first CAD and CAM for parametric design, wire EDM planning, simulation and controller export.
cabinet.varera.studio
The Cartographer's Cabinet