SpecProof
ai.specproof/specproof-mcp
Dettagli e modalità di installazione del connettore MCP SpecProof.
Modalità di installazione
Come viene eseguito SpecProof, secondo la voce ufficiale del registro MCP.
- streamable-http
https://mcp.specproof.ai/
Esecuzione governata
Come KLA applica i controlli alle chiamate a SpecProof dopo la connessione.
Una policy pubblicata definisce quali azioni di SpecProof un agente può eseguire e a quali condizioni. Ogni chiamata passa attraverso un checkpoint di policy al confine della chiamata allo strumento. Le azioni consentite vengono eseguite e la base della policy viene registrata. Le azioni segnalate vengono eseguite e campionate per la revisione umana programmata. Le azioni ad alto impatto vengono sospese e instradate a un revisore designato nel Decision Desk. La chiamata, la decisione di policy e qualsiasi approvazione vengono sigillate come record di evidenza.
KLA governa anche gli agenti e i provider di modelli che già utilizzi. Vedi le integrazioni.