Sounio-lang

Sounio-lang/sounio

Hook Claude Code

Runs when a session starts on startup, resume and clear, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.

Sounio-lang/sounio

Hook Claude Code

Runs when you submit a prompt, before the agent sees it, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.

Sounio-lang/sounio

Hook Claude Code

Runs before the agent uses a tool for Write, Edit, MultiEdit and NotebookEdit tool calls, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.

Sounio-lang/sounio

Hook Claude Code

Runs after a tool call finishes, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.

Sounio-lang/sounio

Hook Claude Code

Runs when the agent finishes a response, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.

Sounio-lang/sounio

Hook Claude Code

Runs when a session ends, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.

Sounio-lang/sounio

Settings file Claude Code

Agent settings declaring 6 hook events (SessionStart, UserPromptSubmit, PreToolUse, PostToolUse).

Sounio-lang/sounio

Skill Claude CodeCodex

Bootstrap context for running GPU or HPC jobs on the AI/HPC cluster control plane at /home/devsounio/beagle/k8s/hpc-sota. Use before submitting cluster jobs, launching GPU work, or reaching for sbatch/kubectl in this repo.

Sounio-lang/sounio

Cursor rule Cursor

Binding attention governance — 5=1+2; P0 queue and agent bus before writes.

Sounio-lang/sounio

Cursor rule Cursor

Sounio effects system — functions must declare side effects.

Sounio-lang/sounio

Cursor rule Cursor

Mandatory LLM-offload review checkpoints for math, clinical, and paper artifacts.

Sounio-lang/sounio

Cursor rule Cursor

Copy-paste Sounio patterns from verified tests.

Sounio-lang/sounio

Cursor rule Cursor

Sounio language rules — epistemic types, effects, algebra, GPU programming.

Sounio-lang/sounio

Cursor rule Cursor

Core Sounio syntax rules — prevents Rust-isms in .sio files.

Sounio-lang/sounio

Cursor rule Cursor

Sounio type system — epistemic, units, refinement, linear types.

Sounio-lang/sounio

Cursor rule Cursor

Sounio (.sio) is a systems + scientific programming language. It is NOT Rust. Full syntax reference: docs/LLMPROGRAMMINGGUIDE.md.

Sounio-lang/sounio

Instructions file GitHub Copilot

Instructions for Sounio-lang/sounio, covering sounio language instructions for github copilot, compiler, critical syntax differences from rust, effects system (required) and variables and types.

Sounio-lang/sounio

MCP server Claude CodeCodexCursor +2

MCP server "sounio" as configured in Sounio-lang/sounio. Runs sounio_mcp.server with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.

Sounio-lang/sounio

MCP server Claude CodeCodexCursor +2

MCP server "sounio-coord" as configured in Sounio-lang/sounio. Runs /workspace/sounio/scripts/mcp/sounio_coord_mcp.py with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.

Sounio-lang/sounio

MCP server Claude CodeCodexCursor +2

Gives the agent up-to-date documentation and code examples for libraries and frameworks, fetched on demand so answers are not stuck at the model's training cutoff. Runs locally from the @upstash/context7-mcp npm package. Needs 1 environment variable to run.

Sounio-lang/sounio

MCP server Claude CodeCodexCursor +2

MCP server "scite", hosted remotely at api.scite.ai, as configured in Sounio-lang/sounio.

Sounio-lang/sounio

Skill Claude CodeCodex

Extend Sounio's automatic differentiation capabilities to higher‑order derivatives, Hessians, differentiation through control flow, and GPU‑accelerated gradient computation, enabling state‑of‑the‑art scientific machine learning.

Sounio-lang/sounio

Skill Claude CodeCodex

Extend Sounio's epistemic types with advanced uncertainty quantification methods, such as confidence intervals, non‑Gaussian distributions, and Dempster‑Shafer evidence combination, positioning the language at the state‑of‑the‑art in measurement science.

Sounio-lang/sounio

Skill Claude CodeCodex

Integrate formal verification tools (SMT solvers, Lean) to prove properties of epistemic programs, such as uncertainty bounds, confidence guarantees, and provenance integrity, establishing Sounio as a language with mathematically verified scientific claims.