AI 工具AI TOOLS· MODEL-INFRA
aallan/vera
Vera: a programming language designed for LLMs to write
根据公开文档整理，未运行实测；费用以项目官网为准。Based on public documentation, without runtime testing. Check the project site for pricing.
能力CAPABILITIES
上手GET STARTED
git clone https://github.com/aallan/vera.git选择与你的环境对应的方式。命令来自项目文档，未运行实测。Choose the option for your environment. Commands come from project documentation and have not been run-tested.
使用限制LIMITATIONS
以下要求与风险来自文档静态检查，未执行项目代码；扫描没有命中，不代表使用安全。Risk here is evidence, not an alarm. These findings come from static scanning of the docs; we never execute a project’s code.
限制LIMITS
未知Unknown
静态扫描STATIC SCAN
在 README、SKILL.md 和依赖清单中没有匹配到已知风险模式。No known risk patterns matched in the README, SKILL.md or dependency list.
项目动态PROJECT ACTIVITY
首次发现FIRST SEEN
27 OCT 202627 OCT 2026
增长GROWTH
+0.0%+0.0%
420 → 420 stars · 7 个快照420 → 420 stars · 7 snapshots
讨论DISCUSSION
1 SOURCES1 SOURCES
2 条外部提及2 external mentions
状态STATUS
持续活跃Active
HN_STORY · 111 points · 95 comments
HN_STORY · 14 points · 3 comments
{
"agents": [
{
"agent": "claude-code",
"evidence": "readme: …md) — Project orientation for Claude Code. Key commands, layout, workfl…"
},
{
"agent": "windsurf",
"evidence": "readme: …gent system (Copilot, Cursor, Windsurf, custom). Covers both writing…"
},
{
"agent": "vscode",
"evidence": "readme: …full protocol surface. - **[VS Code extension](https://marketplac…"
},
{
"agent": "claude-ai",
"evidence": "SKILL.md: …gents running in a sandbox** (Claude.ai, Code Interpreter, container-…"
}
],
"apiKey": "ine. Run a real example with `VERA_ANTHROPIC_API_KEY=sk-ant-... vera run` [`examples/inferen",
"docker": null,
"taxonomy": {
"scores": {
"design": 0,
"ai-tools": 4,
"dev-tools": 0,
"indie-web": 0,
"skill-agent": 0,
"productivity": 0
},
"primary": "ai-tools",
"secondary": "model-infra"
},
"localRuntime": null,
"skillMdTotal": 2,
"skillMdErrors": [],
"treeTruncated": false,
"categoryScores": {
"data": 2,
"agent": 0,
"media": 0,
"design": 1,
"browser": 0,
"devtool": 0,
"security": 1,
"marketing": 0,
"productivity": 0
},
"classification": [
{
"signal": "2 SKILL.md with name + description",
"weight": 0.95
},
{
"signal": "README describes a Claude / Agent Skill",
"weight": 0.7
}
],
"scannedSources": [
"readme",
"SKILL.md",
"docs/SKILL.md"
],
"skillMdFetched": 2
}