nasa/pvslib

SkillsMP は nasa/pvslib から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

nasa のプロフィール GitHub で見る

記録された最新のソース活動: 2026年7月23日 16:31

SkillsMP カタログ更新: 2026年9月5日 10:37

収集済み skills: 2

GitHub スター: 312
GitHub フォーク: 59

このリポジトリの skills

ソフトウェア開発者

1 件の職業カテゴリ · 100% 分類済み

skill

職業分類

説明

更新

nasalib-fixer

ソフトウェア開発者

Fix broken PVS proofs in NASALib. Use this skill when: a proof is marked as "unfinished" or "BAD", proveit reports proof failures, the user mentions broken/failing proofs, you see .trf files with "-BAD" suffix, or the user asks to repair/fix proofs. Also use…

原文の言語: 英語

2026-07-23

pvs-cli

ソフトウェア開発者

Command-line interface to PVS for typechecking, proving, and ground evaluation (PVSio). Use this skill when: the user wants to typecheck PVS files, start or manage proof sessions, send proof commands interactively, evaluate ground expressions using PVSio, or…

原文の言語: 英語

2026-07-23

収集済み skill 2 件中 2 件を表示しています。