soundness-proof-assistant
Agent skill for Researcher, Data Scientist, Technical Writer, published by MaTriXy. Project details and file access are provided by the publisher.
ORIGINAL REPOSITORY
matrixy/babysitter-codex ↗GitHub activity
Repository details are awaiting the next metadata refresh.
Resource information
- Availability
- Reference listing — file availability is unverified; check the project
- Fields of work
- Education & Research, Data & Analytics, Content & Media
- Roles
- Researcher, Data Scientist, Technical Writer
- Specialties
- Specialty not specified
- Tools & integrations
- Bash, Coq, Agda, Lean, Twelf
- Country applicability
- Country not specified
- Credit basis
- Repository publisher; individual authorship is not asserted
- Publisher
- MaTriXy
- Official website
- https://github.com/MaTriXy/babysitter-codex
- Last checked
- Nov 2, 2026
- License
- Not specified
- Last record update
- Nov 2, 2026