Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
Behavioral Verification Infrastructure for autonomous coding agents. Veris is the verification intelligence layer that sits between AI coding agents and production reliability. It does not run your tests. It tells any MCP-compatible coding agent or CI pipeline what behaviors are at risk, what to verify, and how confident the result actually is — backed by a behavioral graph, semantic workflow…
Inferido de los transportes que declara este listado (stdio). Que un cliente no aparezca aquí no significa que se haya descartado: simplemente Forge no puede confirmarlo.
La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.
Leído del código que npm publica realmente, en el momento del análisis. El paquete nunca se ejecutó. Las herramientas registradas dinámicamente en tiempo de ejecución, o escondidas en código empaquetado o minificado, pueden pasarse por alto — así que esto es un mínimo de la superficie de herramientas, no un censo completo.
analyze_repositorySin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
export_behavioral_graphSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
analyze_pr_behaviorSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
generate_verification_planSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
identify_unverified_behaviorsSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
list_workflowsSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
analyze_workflowSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
detect_driftSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
generate_adversarial_probesSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
allocate_budgetSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
what_if_revertSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
report_executionprivilegiadaSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
confidence_historySin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
node_historySin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
export_onboardingSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
cross_repo_snapshotSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
register_repoSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
0 de 17 herramientas publicaron una descripción.
Los nombres y descripciones de las herramientas los escribe el publicador y se muestran literalmente como texto inerte. Son las cadenas que un cliente MCP pasa al modelo, así que Forge las analiza en busca de patrones de inyección de prompts — cualquier hallazgo aparece junto al análisis de seguridad de arriba. «Privilegiada» es una coincidencia de palabra clave en el nombre de la herramienta, no una auditoría de lo que hace: un nombre inofensivo puede hacer cualquier cosa.
Behavioral Verification Infrastructure for autonomous coding agents. Veris is the verification intelligence layer that sits between AI coding agents and production reliability. It does not run your tests. It tells any MCP-compatible coding agent or CI pipeline what behaviors are at risk, what to verify, and how confident the result actually is — backed by a behavioral graph, semantic workflow grouping, persistent run history, drift detection, and explainable confidence math. Works with any MCP…
Los nombres enlazados abren el índice de Forge con todas las entradas que se observó que exponen esa herramienta. Ver todas las herramientas indexadas.
Este paquete se analizó por última vez antes de que Forge empezara a guardar el árbol resuelto. El próximo análisis lo registrará.