Commit 8306c99

authored

Merge pull request #4234 from FStarLang/_fstar_dev_agent

Update agent files to only have an FStarDev agent

2 parents b4bc2ad + 7ce9d96 commit 8306c99Copy full SHA for 8306c99

8 files changed

.github
- agents
- skills
  - fstarmcp
    - SKILL.md
  - fstarverifier
    - SKILL.md
  - pulseverifier
    - SKILL.md
  - smtprofiling
    - SKILL.md

`‎.github/agents/FStarCoder.md‎`

This file was deleted.

Comments

(0)