prolog-agent-toolkit/docs/capability_manifest.json at DEV202608 · dougransom/prolog-agent-toolkit · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
{
  "name": "Prolog Agent Toolkit Capability Manifest",
  "version": "0.0.1.dev20",
  "vendor_neutral": true,
  "description": "Reusable AI agent skills, coding standards, and safety execution toolkit for Prolog",
  "llms_manifest": "llms.txt",
  "skills_manifest": "docs/skills_manifest.json",
  "examples_directory": "examples/",
  "capabilities": {
    "cli_tools": [
      {
        "name": "prolog-agent init",
        "description": "Scaffold new Prolog project with src/, tests/, bakage.toml, and .agents/",
        "args": [
          "<project-name>",
          "[--system scryer|swi|trealla|tau|iso]"
        ]
      },
      {
        "name": "prolog-agent template",
        "description": "Generate starter project template",
        "args": [
          "<project-name>",
          "[--system scryer|swi|trealla|tau|iso]"
        ]
      },
      {
        "name": "prolog-agent module",
        "description": "Generate a pure Prolog module file with Covington header and stub predicate",
        "args": [
          "<module-name>",
          "[--system scryer|swi|trealla|tau|iso]"
        ]
      },
      {
        "name": "prolog-agent release",
        "description": "Synchronize package versions across pyproject.toml, bakage.toml, pack.pl, package.json, README.md, and CHANGELOG.md",
        "args": [
          "[--version X.Y.Z]"
        ]
      },
      {
        "name": "prolog-agent check-version",
        "description": "Verify version string parity across all manifest files"
      },
      {
        "name": "prolog-agent validate-skills",
        "description": "Validate YAML frontmatter formatting across all .agents/skills/ files"
      },
      {
        "name": "prolog-agent discover",
        "description": "Discover available Prolog libraries, modules, and packages across static database, local project manifests, and live engines",
        "args": [
          "[--engine scryer|swi|trealla|tau|gnu|all]",
          "[--query <keyword>]",
          "[--mode static|dynamic|hybrid]",
          "[--json]"
        ]
      },
      {
        "name": "prolog-audit",
        "description": "Declarative purity and syntax error audit scanning for un-commented !, \\+, ->",
        "args": [
          "<file.pl>...",
          "[--purity-only]",
          "[--syntax-only]"
        ]
      },
      {
        "name": "prolog-agent audit-purity",
        "description": "Run declarative purity and syntax audit via prolog-agent CLI",
        "args": [
          "<file.pl>...",
          "[--purity-only]",
          "[--syntax-only]"
        ]
      }
    ],
    "safety_runners": [
      {
        "executable": "prolog-safe",
        "default_engine": "scryer",
        "description": "Execute Prolog goal or file with CPU memory quotas"
      },
      {
        "executable": "scryer-safe",
        "default_engine": "scryer",
        "description": "Resource-capped execution runner for Scryer Prolog"
      },
      {
        "executable": "swi-safe",
        "default_engine": "swi",
        "description": "Resource-capped execution runner for SWI-Prolog"
      },
      {
        "executable": "trealla-safe",
        "default_engine": "trealla",
        "description": "Resource-capped execution runner for Trealla Prolog"
      },
      {
        "executable": "tau-safe",
        "default_engine": "tau",
        "description": "Resource-capped execution runner for Tau Prolog"
      }
    ],
    "subagents_count": 8,
    "skills_count": 23
  }
}