m9k_unignore_project
Remove a project from the ignore list to resume indexing in future sessions. Previously purged sessions require re-indexation separately.
Instructions
Remove a project from the ignore list. Future sessions will be indexed again. Previously purged sessions are NOT restored (requires backfill re-indexation).
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project | Yes | Project path to unignore |
Implementation Reference
- src/tools/manage.ts:201-232 (handler)The MCP tool registration and handler implementation for 'm9k_unignore_project'.
server.registerTool( 'm9k_unignore_project', { description: 'Remove a project from the ignore list. Future sessions will be indexed again. ' + 'Previously purged sessions are NOT restored (requires backfill re-indexation).', inputSchema: { project: z.string().describe('Project path to unignore'), }, annotations: { readOnlyHint: false, destructiveHint: false, idempotentHint: true, openWorldHint: false, }, }, async ({ project }) => { unignoreProject(ctx.db, project); return { content: [ { type: 'text' as const, text: JSON.stringify({ unignored: true, project, }), }, ], }; }, ); - src/db.ts:400-402 (helper)Database helper function that removes a project from the ignore list.
export function unignoreProject(db: Database.Database, project: string): void { db.prepare('DELETE FROM ignored_projects WHERE project = ?').run(project); }