maxtac-core-modeling
CommunityBuild durable security models for MaxTAC research.
Authorphilo-groves
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps researchers create and manage durable security models that can be reused across various MaxTAC targets and sessions.
Core Features & Use Cases
- Security Model Creation: Develop models that capture entities, trust relationships, invariants, and more.
- Model Reuse: Reuse models for future MaxTAC sessions to avoid redundant work and ensure consistency.
- Use Case: When conducting research on a complex system, use this Skill to build a comprehensive model that includes entities, relations, and invariants, which can then be used to guide further research and analysis.
Quick Start
Initialize a new security model for a target system with python3 <skill-dir>/scripts/model.py init --root <workspace-root> --model-id <id> --target "<target>" --kind subsystem --summary "...".
Dependency Matrix
Required Modules
workspace_dbcorpus_helper
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: maxtac-core-modeling Download link: https://github.com/philo-groves/MaxTAC/archive/main.zip#maxtac-core-modeling Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.