~=
Cortex SEMA
Playground
live runtime
Docs
GitHub
main.sema
editable
Example
Hello, Cortex SEMA
Typed recursion
Strings & templates
Typed regex extraction
Semantic structured data
Contract-gated operator
Semantic cluster & de-dup
Bounded belief-driven loop
Checked financial contract
Usage meter & hard cap
Catch a budget violation
Model-backed incident summary
Policy-confined local model
Run
⌘↵
1
Sema source code
def main() -> str !{}: message = "hello from Cortex SEMA" print(message) return message
Output
ready
Clear
Ready. Write Sema code or choose an example, then press Run.
Sandbox
sealed
Policy
Governed
Network
Disabled
Time limit
3 seconds
Filesystem
Read-only