1
Published Tools
0
Total Stars
0
Weekly Downloads
0
GitHub Followers
0
Public Repos
Published Tools
1 Skillacross 1 categoryontodsl
ramemx
Ontology-Contract-OCL DSL: UFO-A/B/C modeling with OCL invariants, Z3-backed LSP verification, Mermaid diagrams, React Flow data, and TypeScript code generation (interfaces, factories, runtime validators, sync+async event wrappers, commitment lifecycle re
...moreSkillAI Tool
1 dir