aallan

aallan has published 1 vetted tool for AI agents in the catalog: 1 skill.

All cards

1 card

The vera-language skill teaches an agent to write Vera, a language with required contracts, compiler checks, no variable names.

SkillMinimal access421

It comes with an install command and an access level with reasons.

One command, using “Vera language” as an example. The SkillFoxx CLI detects the agent and puts the files in the right folder.

npx skillfoxx add skills/vera-language

Access of the author’s cards

Did not find what you need from this author? Describe the task and Foxx AI will pick cards from the whole catalog. Match with Foxx AI