# Matinta

开发中.

Matinta 是一门小巧的强类型编程语言，AI 智能体直接内置在语言中。我把它设计成人和任何语言模型都能编写。智能体可以使用本地模型（内置 llama.cpp）、Claude 或 Ollama，每个回答都会按类型校验。我在 2026 年 10 月用 Rust 开发了 Matinta，用来编写 Setealém 引擎的场景，代码尚未公开。

## 基本信息

- 系统: macOS
- 创建于: 2026-10-30
- 技术栈: Rust, llama.cpp, whisper.cpp, Claude, Ollama
- 作者: Antonio Leandro (https://linkedin.com/in/tonho)

## Matinta 能做什么？

### 智能体是语言的一部分

agent、tool 和 ask 都是语法的一部分。每次提问都要声明回答类型和必填的备用值，还可以设置时限。每个智能体有自己的 token 预算，只能使用分配给它的工具。

### 会教人的编译器

每个错误都附带错误码、行号和修正方法，也可以输出 JSON。写了其他语言的 def、null、try 或 elif，会得到正确写法。仅凭指南，Claude Haiku 5.5 第一次就完成了全部 10 道测试题。

### 可重复的测试

测试写在同一个文件里，使用虚拟时钟和测试用大脑运行，无需等待，也不调用模型。law 会运行 100 个用例，先跑边界值，失败时给出反例。--record 和 --replay 可在无网络时重放使用真实模型的运行。

### 小模型也能给出正确格式

使用本地模型时，Matinta 会把回答类型转换成语法，模型只能写出符合类型的内容。在 12 个测试问题中，内置的 Qwen3 0.6B 全部 12 个都给出了正确格式；同一个模型通过 Ollama、不用语法时，只答对 9 个。

### 在 Mac 本机处理语音

listen 录下麦克风的声音，transcribe 用 whisper.cpp 转成文字，speak 用 macOS 的声音回答。在一次测试中，一段录音先变成文字，再由 Qwen3 8B 给出带类型的决定，全部在本地完成，用时 12 秒。ask 也可以附带图片。

### 每个 tool 都能变成 MCP 工具

matinta mcp 文件.mt 会启动一个 MCP 服务器，文件里的每个 tool 都会成为 Claude Code 可用的工具。/// 注释会成为工具描述，参数会成为输入结构，不用手写 JSON。

## 数据

- 10/10 Claude Haiku 5.5 只读指南、第一次尝试就完成的测试任务 (2026-10-30)
- 10/10 本地 Qwen3 8B 在有一次修正机会时完成的任务 (2026-10-30)
- 12/12 内置 Qwen3 0.6B 给出正确格式的回答（不用语法时为 12 个中 9 个） (2026-10-30)
- 2,100 模型阅读的指南大约有这么多 token (2026-10-30)

聊聊吧: tonhowtf@gmail.com