Gooo saved tool definitions MCP server

Gooo Go Ports

Gooo is an experimental language for describing program behavior and retaining how a program was built and run. This repository provides independently checked Go ports and original Gooo compositions. Start with one source change and an observable result.

First task for a coding agent

Open this checkout in Codex, Cursor or Claude Code and ask:

Follow .agents/skills/gooo-first-program/SKILL.md. Run the Gooo example,

change its score threshold from 60 to 80, then save and replay a new execution.

Show the actual changed result and keep my existing files.

With the supplied inputs, score 75 changes from sensor: high to sensor: low; its other three returned fields stay unchanged. The first-program skill and setup guide target Go 1.27.3 on macOS or Linux with the compiler identity pinned by the checkout. Reuse tools only after identity validation; source setup may download and build them. The full main CI at b0e6715 passed with Go 1.27.3 and the pinned compiler, including native comparison and saved replay. Older immutable bundles and walkthroughs retain the toolchain identities recorded in their own release instructions. A source edit needs native execution. Saving generated Go alone is not a run. For an existing Tessl setup, use the project-local source installation to give the same first-program task to your coding agent.

Gemini CLI users can load the same instructions through the optional context extension.

To share a completed attempt or a first failure, open the feedback form, choose Coding-agent first-program skill, and include the step or public command, actual result or error, and whether the input was your own or the unchanged example. Use the output you already have and share only public details; omit secrets, private source, and personal paths.

Choose the next useful task

Shortened. The full README is on GitHub.