mcp server
Sounio Compiler
Check, compile, run, and test Sounio programs locally.
Description as published by the maintainer. Source
- version 0.1.0
- active
active — Most recent push to the repository was 2026-08-06.
Signals
These are separate measurements of different things. They are deliberately not combined into one score, because a popularity number that mixes website traffic with saves and stars cannot be checked or acted on.
| Signal | Value | What it measures | Window | Observed | Source |
|---|---|---|---|---|---|
| GitHub stars | 4 | Number of GitHub accounts that bookmarked this repository since it was created. It is a bookmark count, not installs, not active users and not quality. | cumulative, all time | GitHub | |
| Last commit | 2026-08-06 | Date of the most recent push to any branch. This is the strongest cheap indicator of whether the project is still maintained. | point in time | GitHub | |
| Open issues | 155 | Open issues plus open pull requests, as GitHub counts them together. A high number can mean an active project or an abandoned one. | as of fetch | GitHub | |
| Latest published version | 0.1.0 | Latest version string the maintainer published to the registry. | as of fetch | Model Context Protocol | |
| Registry record last updated | 2026-05-17 | When the registry record was last updated by its maintainer. | point in time | Model Context Protocol | |
| License | Apache-2.0 | Licence GitHub detected in the repository. Detection can be wrong; the LICENSE file is authoritative. | as of fetch | GitHub | |
| First listed in the MCP Registry | 2026-05-17 | Date this server was first published to the official MCP Registry. Not a usage or quality measure. | point in time | Model Context Protocol | |
| repository status | active | The repository exists on GitHub and is not archived. This says nothing about how recently it was worked on. | as of fetch | GitHub |
Where to get it
Related, by what their authors tagged them
-
app.anakior/atlas-mind
— last commit 2026-06-30, shares self-hosting
Self-hosted git-native knowledge base with an MCP endpoint your AI reads, writes and rewinds
-
Sema
— last commit 2026-08-04, shares programming-language
MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.
-
io.github.Archerkattri/mathlas
— last commit 2026-07-25, shares formal-verification
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
-
io.github.cyanheads/pubchem-mcp-server
— last commit 2026-07-30, shares scientific-computing
Search PubChem compounds, properties, safety data, bioactivity, and cross-references.
-
Emilia Protocol
— last commit 2026-08-08, shares formal-verification
Trust & human sign-off for AI agents: approval required before irreversible agent actions
-
JCGE Agent Interface
— last commit 2026-05-27, shares scientific-computing
MCP server for JCGE discovery, modeling guidance, solving, validation, and equation rendering.
-
Axint
— last commit 2026-08-04, shares compiler
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.
-
io.github.ChanMeng666/archlang-mcp
— last commit 2026-08-06, shares compiler
Compile, describe, lint, validate, score and repair multi-storey and curved ArchLang floor plans.
-
io.github.DennisPrediger/slac-mcp
— last commit 2026-07-18, shares compiler
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents
These share tags the maintainers applied themselves, such as self-hosting, programming-language, formal-verification, scientific-computing. Common tags like "mcp" or "ai" are ignored for this: agreeing with six hundred other projects is not a similarity.
This is not a recommendation and not a test result. It is a map of what the authors said their work is about.
How the author describes it
Topics the maintainer set on GitHub: algebraic-effects, compiler, egraph, epistemic-computing, formal-verification, non-associative-algebra, octonions, programming-language, scientific-computing, self-hosting, systems-programming, uncertainty-propagation.
This record as data
Every field on this page, with its source and observation date, is in the catalog JSON. Fetch the whole kind at once instead of parsing this HTML.
GET /api/v1/entries/mcp_server.json