Dunstan MCP
Dunstan is a deterministic verification tool that checks a coding agent's handback claims against the repository's own record. It validates head commits, file changes, references, test counts, and timing without using a model. The MCP server allows agents to verify their own reports before completion, ensuring accuracy and providing an in-toto statement record for offline recomputation.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Verify coding agent handback claims against repository records
- Check head commit, files changed, and references in pull requests
- Validate test and check counts against CI records
- Generate deterministic in-toto verification records
Source and maintenance
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
dunstan 0.1.13
{
"version": "0.1.13",
"transport": "stdio",
"identifier": "dunstan",
"registryType": "npm",
"packageArguments": [
{
"type": "positional",
"value": "mcp"
}
],
"environmentVariables": [
{
"name": "GITHUB_TOKEN",
"description": "Optional fine-grained, read-only GitHub token; without it, public repositories are read anonymously."
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"dunstan-mcp": {
"command": "npx",
"args": [
"-y",
"dunstan@0.1.13",
"mcp"
],
"env": {
"GITHUB_TOKEN": "<YOUR_GITHUB_TOKEN>"
}
}
}
}Cline
{
"mcpServers": {
"dunstan-mcp": {
"command": "npx",
"args": [
"-y",
"dunstan@0.1.13",
"mcp"
],
"env": {
"GITHUB_TOKEN": "<YOUR_GITHUB_TOKEN>"
}
}
}
}VS Code
{
"servers": {
"dunstan-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"dunstan@0.1.13",
"mcp"
],
"env": {
"GITHUB_TOKEN": "<YOUR_GITHUB_TOKEN>"
}
}
}
}Claude Desktop
{
"mcpServers": {
"dunstan-mcp": {
"command": "npx",
"args": [
"-y",
"dunstan@0.1.13",
"mcp"
],
"env": {
"GITHUB_TOKEN": "<YOUR_GITHUB_TOKEN>"
}
}
}
}Let your agent find its tools
Find servers like Dunstan MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.