@mainahq/core 0.7.0 → 1.0.0

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "@mainahq/core",
-  "version": "0.7.0",
+  "version": "1.0.0",
   "type": "module",
   "license": "Apache-2.0",
   "description": "Maina core engines — Context, Prompt, and Verify for verification-first development",
-  "homepage": "https://beeeku.github.io/maina/",
+  "homepage": "https://mainahq.com/",
   "repository": {
     "type": "git",
-    "url": "https://github.com/beeeku/maina.git",
+    "url": "https://github.com/mainahq/maina.git",
     "directory": "packages/core"
   },
   "engines": {

package/src/init/index.ts

@@ -177,7 +177,7 @@ function buildAgentsMd(stack: DetectedStack): string {
 
 	return `# AGENTS.md
 
-This repo uses [Maina](https://github.com/beeeku/maina) for verification-first development.
+This repo uses [Maina](https://github.com/mainahq/maina) for verification-first development.
 
 ## Quick Start
 \`\`\`bash
@@ -204,6 +204,7 @@ maina commit    # verify + commit
 |------|---------|-----------|
 | \`.maina/constitution.md\` | Project DNA — stack, rules, gates | Team (stable, rarely changes) |
 | \`AGENTS.md\` | Agent instructions — commands, conventions | Team |
+| \`.github/copilot-instructions.md\` | Copilot agent instructions + MCP tools | Team |
 | \`CLAUDE.md\` | Claude Code specific instructions | Optional, Claude Code users |
 | \`.maina/prompts/*.md\` | Prompt overrides for review/commit/etc | Maina (via \`maina learn\`) |
 
@@ -213,6 +214,45 @@ maina commit    # verify + commit
 `;
 }
 
+function buildCopilotInstructions(stack: DetectedStack): string {
+	const runCmd = stack.runtime === "bun" ? "bun" : "npm";
+	return `# Copilot Instructions
+
+You are working on a codebase verified by [Maina](https://mainahq.com), the verification-first developer OS. Maina MCP tools are available — use them.
+
+## Workflow
+
+1. **Get context** — call \`maina getContext\` to understand codebase state
+2. **Write tests first** — TDD always. Write failing tests, then implement
+3. **Verify your work** — call \`maina verify\` before requesting review
+4. **Check for slop** — call \`maina checkSlop\` on changed files
+5. **Review your code** — call \`maina reviewCode\` with your diff
+
+## Available MCP Tools
+
+| Tool | When to use |
+|------|-------------|
+| \`getContext\` | Before starting — understand branch state and verification status |
+| \`verify\` | After changes — run the full verification pipeline |
+| \`checkSlop\` | On changed files — detect AI-generated slop patterns |
+| \`reviewCode\` | On your diff — two-stage review (spec compliance + code quality) |
+| \`suggestTests\` | When implementing — generate TDD test stubs |
+| \`getConventions\` | Understand project coding conventions |
+
+## Conventions
+
+- Runtime: ${stack.runtime}
+- Test: \`${runCmd} test\`
+- Commits: conventional commits (feat, fix, refactor, test, docs, chore)
+- No \`console.log\` in production code
+- Diff-only: only fix issues on changed lines
+
+## When Working on Audit Issues
+
+Issues labeled \`audit\` come from maina's daily verification. Fix the specific findings listed — don't refactor unrelated code.
+`;
+}
+
 const REVIEW_PROMPT_TEMPLATE = `# Review Prompt
 
 Review the following code changes for:
@@ -288,6 +328,10 @@ function getFileManifest(stack: DetectedStack): FileEntry[] {
 			relativePath: ".github/workflows/maina-ci.yml",
 			content: buildCiWorkflow(stack),
 		},
+		{
+			relativePath: ".github/copilot-instructions.md",
+			content: buildCopilotInstructions(stack),
+		},
 	];
 }
 

package/src/language/__tests__/__fixtures__/detect/composer.lock

@@ -1 +0,0 @@
-{"packages": []}