Back to all repositories
AG
ada-spark
by agent-sh
Skill teaching agents to write idiomatic, correct, current Ada and SPARK (Ada 2022, Alire + GNAT FSF). Part of the agent-sh ecosystem.
0stars1forks0watchers/subscribers0issues
- License
- MIT License
- Size
- 37 KB
- Created
- May 21, 2026
- Last Updated
- May 21, 2026
- Last Pushed
- May 21, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.