ProofToolsai

prooftoolsai's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a Space 29 days ago

Running

ProofTools

🚀

Behavioral hardening for tool-connected private AI

published a Space about 1 month ago

Running

ProofTools

🚀

Behavioral hardening for tool-connected private AI

updated a model about 1 month ago

prooftools/airforge-tool-hygiene-gpt-oss-20b-v6

Text Generation • Updated about 1 month ago • 12 • 1

updated a dataset about 1 month ago

prooftools/airforge-tool-output-safety-eval

Viewer • Updated about 1 month ago • 16 • 55

published a dataset about 1 month ago

prooftools/airforge-tool-output-safety-eval

Viewer • Updated about 1 month ago • 16 • 55

published a model about 1 month ago

prooftools/airforge-tool-hygiene-gpt-oss-20b-v6

Text Generation • Updated about 1 month ago • 12 • 1