claudeindex
Robbatron's avatar
Author

Robert Delfs

@Robbatron
1
Marketplaces
1
Plugins
0
Skills
0
Agents
0
Commands

Marketplaces

Marketplace

acutis-plugin

Acutis — Formal verification for AI-generated code. Catches 10 of the CWE Top 25 with mathematical proof.

Plugins:1
Skills:0
0
0

Plugins

Plugin

acutis

Formal verification for AI-generated code — catches 10 of the CWE Top 25 with mathematical proof.