Marketplace

acutis-plugin

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

Stars

Forks

Plugins

Installation

Add the marketplace

/plugin marketplace add Robbatron/acutis-plugin

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

GitHub Repository

Robbatron/acutis-plugin

Plugins

Skills

Agents

Owner

@Robbatron

View GitHub Profile

Last Crawled

March 29, 2026

Plugin

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