A0 MCP
An MCP server for the A0 typed programming language that allows agents to open function views, apply revision-checked patches, run checks, execute code, emit targets, and save changes.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
Install brew install a0 curl -fsSL https://raw.githubusercontent.com/Joe-Simo/a0/main/install.sh | sh
Vendor documentation What you can do with it
- Open function views for editing
- Apply revision-checked patches
- Run and check A0 programs
- Emit code to different targets
Source and maintenance
Community listingRegistry 0.8.16
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpb
mcpbSHA-256 supplied
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpb package definition
{
"transport": "stdio",
"fileSha256": "fb770d4518210b5068ed685c616c491631ffd4d18ec2f7bb04ecbc0d7600027e",
"identifier": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpb",
"registryType": "mcpb"
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Let your agent find its tools
Find servers like A0 MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.