arthurpanhku/dvalin-security
v0.22.0MIT
Independently scan and verify human- or agent-written code with offline-verifiable fix records.
MCP servers declared in a file that clients do not read
This package ships a
.mcp.json. Agent Plugins reads MCP configuration from mcp.json, so a client installing this plugin finds no servers. The directory does not read the file either, and shows nothing from it.plugin.json
- name
- dvalin-security
- version
- 0.22.0
- description
- Independently scan and verify human- or agent-written code with offline-verifiable fix records.
- author
- Arthur Panhttps://github.com/arthurpanhku
- license
- MIT
- homepage
- https://dvalincode.dev
- extensions
- com.openai
plugin.json
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "dvalin-security",
"version": "0.22.0",
"description": "Independently scan and verify human- or agent-written code with offline-verifiable fix records.",
"author": {
"name": "Arthur Pan",
"url": "https://github.com/arthurpanhku"
},
"homepage": "https://dvalincode.dev",
"repository": "https://github.com/arthurpanhku/dvalincode",
"license": "MIT",
"keywords": ["security", "verification", "mcp", "coding-agent"],
"extensions": {
"com.openai": {
"requires_local_executor": true,
"interface": {
"displayName": "Dvalin Security",
"shortDescription": "Independent security proof for agent-written code.",
"longDescription": "Run deterministic local scans, inspect findings, verify repairs with project checks, and re-derive Verified Fix Records offline.",
"developerName": "Arthur Pan",
"category": "Developer Tools",
"capabilities": ["Read", "Interactive"],
"websiteURL": "https://dvalincode.dev",
"defaultPrompt": [
"Scan my latest changes and explain the coverage.",
"Verify that my security fixes resolved the findings.",
"Check this Dvalin fix record offline."
],
"brandColor": "#1A237E"
}
}
}
}
Client extensions
Data this package carries for particular clients. The directory lists the clients named and never reads what is addressed to them.
- com.openai