Teaching AI agents how you work.

Browse

Library Skills Agents Collections MCP servers Hooks

Learn

What are Claude Skills Skills vs Agents vs MCPs How Claude Plugins Work Glossary

Product

Skill Builder Teams

Resources

Documentation CLI Reference Agent Skills Spec

© 2026 Shared Context. All rights reserved.

Skills for proverif

Discover resources for proverif. Install directly to your library.

All Skills Agents MCPs Hooks Collections

Ready to build your own skills?

Create custom AI skills for your workflow, share them with your team, or publish to the community.

AI resources for proverif | Shared Context | Shared Context