Logo
Agent Skills Guide
All SkillsCategoryTags>Publishers
Logo
Agent Skills Guide
Logo
Agent Skills Guide

Discover and download skills for Claude Code and other AI agents

Skills
  • All Skills
  • Category
  • Tags
  • Publishers
Legal
  • Privacy Policy
  • Terms of Service
Copyright © 2026 Agent Skills Guide. Open Source.
  1. Home
  3. Publishers
  5. Arthur742Ramos/Metatheory
Arthur742Ramos/Metatheory logo

Arthur742Ramos/Metatheory

1 skill published1 starsGitHub

sorry-checker

@arthur742ramos/metatheory

1

Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.

Software Development