io.github.gowrishankar-infra/velaris
not probeable (local package)
Unclaimed · Unverified
Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.
Publisher-provided title
Velaris
Publisher-provided description
Write Velaris, audit what it can touch, and run it under an effect budget.
Summary by lookupd
Lets an agent write and run Velaris code, audit the side effects it can reach, and execute it within a set effect budget.
Install
Claude Code, pypi package (stdio)
claude mcp add velaris -- uvx velaris-lang
Claude Code, npm package (stdio)
claude mcp add velaris -- npx -y velaris-lang
Codex, pypi package (stdio)
codex mcp add velaris -- uvx velaris-lang
Codex, npm package (stdio)
codex mcp add velaris -- npx -y velaris-lang
Cursor, pypi package (stdio) → .cursor/mcp.json
{
"mcpServers": {
"velaris": {
"command": "uvx",
"args": [
"velaris-lang"
]
}
}
}Cursor, npm package (stdio) → .cursor/mcp.json
{
"mcpServers": {
"velaris": {
"command": "npx",
"args": [
"-y",
"velaris-lang"
]
}
}
}Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.
Details
- Version: 8.5.0
- Transports: stdio
- First indexed:
- Last seen in registry:
- Repository: https://github.com/gowrishankar-infra/velaris-lang
- Website: https://velaris-lang.dev/
Badge for your README
Shows this live status and links here; updates hourly.
[](https://lookupd.com/servers/io.github.gowrishankar-infra/velaris)
- 62092 servers
- Last crawl: 2026-11-11T17:38:11.606Z
- API base:
https://api.lookupd.com - MCP URL:
https://api.lookupd.com/mcp