{"name":"io.github.vighriday/veris","slug":"vighriday-veris","title":null,"description":"Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.","url":"https://mcp.market/server/vighriday-veris","rating":null,"grade":"A","score":92,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":28,"stars":1,"forks":0,"downloads_week":108,"last_push_at":"2026-09-07T19:50:29.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"npm","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/vighriday/Veris","website":null,"version":"2.1.8","remotes":[],"packages":[{"registryType":"npm","identifier":"veris-core","version":"2.1.8","transport":{"type":"stdio"},"runtimeArguments":[{"isRequired":true,"value":"mcp","type":"positional"}],"environmentVariables":[{"description":"Set to 1 for zero-retention mode (skip all SQLite writes).","format":"string","name":"VERIS_STATE_DISABLED"},{"description":"Set to 1 to skip loading .veris/plugins/*.js.","format":"string","name":"VERIS_PLUGINS_DISABLED"},{"description":"Veris exits with code 2 when overall confidence falls below this number.","format":"string","name":"VERIS_CONFIDENCE_THRESHOLD"}]}],"tools":[{"name":"allocate_budget","description":"Given a budget in minutes, greedy-allocates the highest-leverage subset of verification targets. Leverage = (tier × workflow criticality × risk) / estimated cost.","write_action":false,"price_micros":0,"input_schema":null},{"name":"analyze_pr_behavior","description":"Computes real git-worktree diff vs base ref (defaults: origin/main, main, HEAD~1), returns impacted workflows and risk scores. Synthetic 70% slice fallback when no git base available.","write_action":false,"price_micros":0,"input_schema":null},{"name":"analyze_repository","description":"Analyzes the repository AST and returns file/entity counts. First step in the chain.","write_action":false,"price_micros":0,"input_schema":null},{"name":"analyze_workflow","description":"Deep-dive on a single workflow: members, inference signals, top risks, runtime risk hypotheses.","write_action":false,"price_micros":0,"input_schema":null},{"name":"confidence_history","description":"Returns confidence + execution depth trend over the last N runs from local state.","write_action":false,"price_micros":0,"input_schema":null},{"name":"cross_repo_snapshot","description":"Returns the latest confidence + drift snapshot across all repos registered in ~/.veris/registry.json. Useful when a workflow spans services.","write_action":false,"price_micros":0,"input_schema":null},{"name":"detect_drift","description":"Compares current workflow fingerprints against prior runs in state.db. Surfaces silent rewrites (same members, different topology), surface expansion/contraction, and oscillating refactors.","write_action":false,"price_micros":0,"input_schema":null},{"name":"export_behavioral_graph","description":"Returns behavioral graph (nodes + edges, both DependsOn and Invokes). Workflows colored by domain.","write_action":false,"price_micros":0,"input_schema":null},{"name":"export_onboarding","description":"Writes a workflow-first onboarding map to veris-reports/onboarding/ — one markdown file per workflow, plus an index.","write_action":true,"price_micros":0,"input_schema":null},{"name":"generate_adversarial_probes","description":"Generates concrete Tier 3 adversarial test hypotheses per high-risk node (concurrency, idempotency, retry storms, replay, partial failure, cache stampede, ordering). Each probe has a scenario + expected invariant.","write_action":false,"price_micros":0,"input_schema":null},{"name":"generate_verification_plan","description":"Generates Tier 1/2/3 validation directives keyed to impacted nodes. Tier 3 = adversarial.","write_action":false,"price_micros":0,"input_schema":null},{"name":"identify_unverified_behaviors","description":"Returns confidence score using real execution history (decayed by half-life) + remaining unverified assumptions. Pass executedTargetsCount to override state-derived value.","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_workflows","description":"Auto-clusters the graph into semantic workflow domains (Authentication, Billing, Checkout, Caching, Queue, etc.) and returns per-workflow narrative impact + max/avg risk + runtime risk hypotheses. This is the workflow-first view of the repo.","write_action":false,"price_micros":0,"input_schema":null},{"name":"node_history","description":"Returns execution + risk history for a specific node across all recorded runs.","write_action":false,"price_micros":0,"input_schema":null},{"name":"register_repo","description":"Adds a repo to the user-level cross-repo registry. Subsequent cross_repo_snapshot calls will include it.","write_action":false,"price_micros":0,"input_schema":null},{"name":"report_execution","description":"Closes the feedback loop. External agents (any MCP-compatible coding agent, CI runner) post back verification results — pass/fail/flaky/skipped per nodeId+tier+directive. Confidence math now uses real data instead of a counter.","write_action":false,"price_micros":0,"input_schema":null},{"name":"what_if_revert","description":"Counterfactual: simulates removing the named nodes from the head graph, then recomputes diff + risk vs the actual base. Answers 'what behaviors recover if I revert this?'.","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":92,"grade":"A","scanned_at":"2026-09-27T21:27:57.515Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-27T21:27:57.496Z","components":{"code":{"score":25,"max":25,"notes":["39 source files scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":15,"max":15,"notes":["last push 20 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[{"registryType":"npm","identifier":"veris-core","version":"2.1.8","found":true,"license":"MIT","hasInstallScripts":false,"dependencyCount":3,"publishedAt":"2026-05-18T18:42:48.854Z","repositoryUrl":"git+https://github.com/vighriday/Veris.git","weeklyDownloads":108}],"repo":{"found":true,"owner":"vighriday","repo":"Veris","archived":false,"pushedAt":"2026-09-07T19:50:29Z","stars":1,"forks":0,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/173241301?v=4","ownerCreatedAt":"2024-06-19T07:24:36Z","license":"MIT"},"icon":{"url":"https://avatars.githubusercontent.com/u/173241301?v=4&s=128","source":"github"},"presence":{"stars":1,"forks":0,"downloadsWeek":108,"license":"MIT","lastPushAt":"2026-09-07T19:50:29.000Z","score":28}}}},"grade_history":[],"reviews":[]}