Skip to content

krokoko/software-verification

v0.5.0Apache-2.0

Design verification strategies that unlock higher levels of autonomous software development.

GitHubOpen Website

What this package declares

The file a client reads when it loads this plugin, exactly as this revision carries it.

plugin.json
{
  "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
  "name": "software-verification",
  "version": "0.5.0",
  "description": "Design verification strategies that unlock higher levels of autonomous software development.",
  "author": {
    "name": "Alain Krok"
  },
  "homepage": "https://github.com/krokoko/cairn",
  "repository": "https://github.com/krokoko/cairn",
  "license": "Apache-2.0",
  "keywords": [
    "verification",
    "testing",
    "formal-methods",
    "oracles",
    "strategy"
  ]
}