fstarlangSkills in this pack
Build F, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification…
English
AGENT SKILLS ATLASAI Agent Workflow Collection
Includes Smtprofiling and Sourcebuild.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
Skills2CategorygeneralStars0
What’s included
Smtprofiling
Debug F queries sent to Z3, diagnosing proof instability and performance issues
Sourcebuild
Build F, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Example request
Use the Smtprofiling skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- Reported license for the skills shown: Apache-2.0. The author’s terms apply.