← all publishers

joaoh82

@joaoh82 source repo

Report this profile Claim this profile

• 3 skills
• 0 followers
• 5 hours ago last updated

1. ▌
   Marv 2 · joaoh82

   Drive the marv language toolchain — author, check, repair, run, verify, and commit .mv programs via the generate→check→repair loop. Use when working with .mv source, .core.json Core-IR snapshots, the `marv` CLI, or the marv MCP server / JSON-RPC protocol.
   0
   installs
2. ▌
   Rustunnel · joaoh82

   Expose local services via secure tunnels using rustunnel. Create public HTTPS/TCP/UDP URLs, peer-to-peer tunnels, and load-balanced pools for testing, webhooks, demos, and deployment — from any AI agent or harness.
   0
   installs
3. ▌
   Marv · joaoh82

   Drive the marv language toolchain — author, check, repair, run, verify, and commit .mv programs via the generate→check→repair loop. Use when working with .mv source, .core.json Core-IR snapshots, the `marv` CLI, or the marv MCP server / JSON-RPC protocol.
   0
   installs