Redproof
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| scan_github_repoA | Start a security check of a public GitHub repository built with AI tools (Lovable, Bolt, Cursor...). Only for code the user owns or may have reviewed: ask them first and set owner_confirmed only after they say yes. Returns a token; call get_report with it after about a minute. |
| get_reportA | Read the score and findings of a Redproof scan, with the exact files and a fix prompt per finding. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 2 tools
The two tools have clearly distinct roles: one initiates a scan and returns a token, the other reads results using that token. There is no overlap in purpose and the descriptions make the sequence explicit.
Both names follow a consistent snake_case verb_noun pattern (scan_github_repo, get_report) and are self-descriptive. No convention mixing.
Two tools is thin for a service; the surface is essentially a single async operation split into start and poll. It is defensible for a narrow purpose but leaves little room for auxiliary operations.
The core lifecycle (start scan, fetch findings with fixes) is covered end to end. Minor gaps exist: no status/cancel, no listing or re-fetching of past scans, and polling relies on the caller retrying blindly.